Fail-safe Modeling of Discrete Event Systems using Petri Nets
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.
[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.
[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.
@article{"International Journal of Electrical, Electronic and Communication Sciences:57270", author = "P. Nazemzadeh and A. Dideban and M. Zareiee", title = "Fail-safe Modeling of Discrete Event Systems using Petri Nets", 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.", volume = "5", number = "1", pages = "70-6", }
