Abstract
This paper proposes a deadlocks and collision-free train control synthesis. The proposed control routes dynamically the trains in a railway node considering the position of the other trains. The system is modelled using Petri Nets having uncontrollable and unobservable transitions. The presented control method avoids deadlock in a specific class of Petri Net, the Simple Sequential System of Processes with Multiples Resources (S3PMR) with partial observability and controllability. The control law is implemented by monitor places.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Cazenave, P., Khlif-Bouassida, M., Toguyeni, A.: Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. In: 6th International Conference on Control, Decision and Information Technologies, IEEE (2019)
Chao, D.Y.: Minimal strict siphons extraction for S3PMR. J. Chin. Inst. Eng. 33(7), 995–1004 (2010)
Chu, F., Xie, X.L.: Deadlock analysis of petri nets using siphons and mathematical programming. IEEE Trans. Robot. Autom. 13(6), 793–804 (1997)
Giua, A., DiCesare, F., Silva, M.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: IEEE International Conference on Systems, Man and Cybernetics, 1992. IEEE (1992), pp. 974–979
Giua, A., Seatzu, C.: Modeling and supervisory control of railway networks using petri nets. IEEE Trans. Autom. Sci. Eng. 5(3), 431–445 (2008)
Huang, Y.S., Jeng, M., Xie, X., Chung, D.H.: Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 36(6), 1248–1256 (2006)
Li, Z., Zhou, M.: Control of elementary and dependent siphons in petri nets and their application. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 38(1), 133–148 (2008)
Liu, G., Barkaoui, K.: A survey of siphons in petri nets. Inf. Sci. 363, 198–220 (2016)
Mazzanti, F., Spagnolo, G.O., Della Longa, S., Ferrari, A.: Deadlock avoidance in train scheduling: a model checking approach. In: International Workshop on Formal Methods for Industrial Critical Systems, Springer (2014), pp. 109–123
Moody, J.O., Antsaklis, P.J.: Petri net supervisors for des with uncontrollable and unobservable transitions. IEEE Trans. Autom. Control 45(3), 462–476 (2000)
Pachl, J.: Avoiding deadlocks in synchronous railway simulations. In: 2nd International Seminar on Railway Operations Modelling and Analysis (2007)
Pachl, J.: Deadlock avoidance in railroad operations simulations. Technical report (2011)
Park, J., Reveliotis, S.A.: Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states. IEEE Trans. Robot. Autom. 18(2), 234–240 (2002)
Qin, M., Li, Z., Al-Ahmari, A.M.: Elementary-siphon-based control policy for flexible manufacturing systems with partial observability and controllability of transitions. Asian J. Control 17(1), 327–342 (2015)
Teshima, H., Hori, S., Shimura, A., Sato, N.: Railway track layout modelling and its application to an automatic route setting system. Comput. Railways XIV: Railway Eng. Des. Optim. 135, 75 (2014)
Wonham, W.M., Ramadge, P.J.: On the supremal controllable sublanguage of a given language. SIAM J. Control Optim. 25(3), 637–659 (1987)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Cazenave, P., Khlif-Bouassida, M., Toguyéni, A. (2022). Deadlock and Collision Avoidance in Railway Networks with Dynamic Routing: A Petri Net Approach with Partial Controllability and Observability. In: Zattoni, E., Simani, S., Conte, G. (eds) 15th European Workshop on Advanced Control and Diagnosis (ACD 2019). ACD 2019 2018. Lecture Notes in Control and Information Sciences - Proceedings. Springer, Cham. https://doi.org/10.1007/978-3-030-85318-1_69
Download citation
DOI: https://doi.org/10.1007/978-3-030-85318-1_69
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-85317-4
Online ISBN: 978-3-030-85318-1
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)