Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node
| Autor: | P. Cazenave, Armand Toguyeni, Manel Khlif-Bouassida |
|---|---|
| Přispěvatelé: | Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Centrale Lille, Centrale Lille Institut (CLIL) |
| Rok vydání: | 2019 |
| Předmět: |
0209 industrial biotechnology
Computer science business.industry Node (networking) Liveness System safety 02 engineering and technology Petri net 020901 industrial engineering & automation Supervisory control Control theory [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering 0202 electrical engineering electronic engineering information engineering [INFO]Computer Science [cs] 020201 artificial intelligence & image processing Train Routing (electronic design automation) business ComputingMilieux_MISCELLANEOUS Computer network |
| Zdroj: | CoDIT 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.1923-1928, ⟨10.1109/CoDIT.2019.8820580⟩ |
| DOI: | 10.1109/codit.2019.8820580 |
| Popis: | This paper presents a collisions avoidance and a deadlocks prevention method for automatic trains routing in railway nodes. This method allows controlling train routing which depends on the position of other trains in the node. This control is based firstly on the construction of a Petri Net Controller that corresponds to a specific class of Petri Net called System of Simple Sequential Process with Resource (S3PR), which guarantees the system safety. Thus, the behavior of the S3PR is restricted to non-blocking states by the application of a supervisory control synthesis method, in order to guaranty the liveness of the control. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|