Fail-safe Modeling of Discrete Event Systems using Petri Nets

Authors: P. Nazemzadeh, A. Dideban, M. Zareiee

Abstract:

In this paper the effect of faults in the elements and parts of discrete event systems is investigated. In the occurrence of faults, some states of the system must be changed and some of them must be forbidden. For this goal, different states of these elements are examined and a model for fail-safe behavior of each state is introduced. Replacing new models of the target elements in the preliminary model by a systematic method, leads to a fail-safe discrete event system.

Keywords: Discrete event systems, Fail-safe, Petri nets, Supervisory control.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1070423

References:

[1] B.H. Krogh, and L.E. Holloway, "Synthesis of Feedback Control Logic for Discrete Manufacturing Systems", Automatica, Vol. 27, No. 7, pp. 641-651, 1991.
[2] A. Giua, and F. Dicesare, "supervisory design using Petri Nets" IEEE proceeding of the 30th conference on decision and control, England 1991.
[3] C. Yamalidou, J., Moody, M. Lemmon, and P. Antsaklis, "Feedback Control of Petri Nets Based on Place Invariants", Automatica, Vol. 32, No. 1, pp. 15-28, 1996.
[4] M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, "Diagnosis and Fault-Tolerant Control". Springer-Verlag Berlin, 2006.
[5] P.E. Miyagi, and L.A.M. Riascos, "Modeling and analysis of faulttolerant systems for machining operations based on Petri Nets", Control Engineering Practice, vol.14, pp. 397-408, 2006.
[6] M. Blanke, C.W. Frei, F. Kraus, R.J. Patton, and M. Staroswiecki. What is fault-tolerant control? In Preprints of 4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, SAFEPROCESS- 2000, pages 40-51, Budapest, Hungary, 2000.
[7] Q. Wen, R. Kumar, J. Huang, and H. Liu, "A framework for faulttolerant supervisory control of discrete event systems," IEEE Transactions on Automatic Control, Vol. 53, No. 8, pp. 1839-1849, 2008.
[8] H. Darabi, M.A. Jafari, and A.L. Buczak, "A control switching theory for supervisory control of discrete event systems", IEEE Transactions on Robotics and Automation, Vol. 19, pp. 131-137, 2003.
[9] M.V. Iordache, and P.J. Antsaklis, "Resilience to failure and reconfigurations in the supervision based on place invariants", in Proc. American Control Conference, pp. 4477-4482, 2004.
[10] David, R., and Alla, H., "Discrete, Continuous, and Hybrid Petri Nets", Springer, 2005.
[11] Hr├║z, B. and Zhou, M.C., "Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and other tool", springer, 2007.
[12] Dideban, A., and Alla, H., "Reduction of Constraints for Controller Synthesis based on Safe Petri Nets", Automatica, Vol.44, No. 7, pp. 1697-1706, 2008.
[13] Moody J.O., and Antsaklis P.J."Petri Net Supervisors for DES with Uncontrollable and Unobservable Transitions", IEEE Transactions on Automatic Control, Vol.45, No.3, pp. 462-476, 2000.