Fault modeling in discrete event systems using petri nets

Transactions on Embedded Computing Systems

Volumn 12, Issue 1, 2013, Pages

  Nazemzadeh, Payam ^a   Dideban, Abbas ^a   Zareiee, Meisam ^a  

^a SEMNAN UNIVERSITY   (Iran)

Author keywords

Discrete event systems; Fault tolerant; Forbidden states; Petri nets; Supervisory control

Indexed keywords

CONTROL OF DISCRETE EVENT SYSTEMS; CONTROLLER RECONFIGURATION; FAULT CONDITIONS; FAULT MODEL; FAULT MODELING; FAULT TOLERANT CONTROL; FAULT TOLERANT CONTROLLERS; FAULT-TOLERANT; FORBIDDEN STATE; MODEL-BASED CONTROLLER; OFFLINE; SIMPLIFICATION METHOD; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION; PETRI NETS; RANDOM ACCESS STORAGE; SUPERVISORY PERSONNEL;

SPECIFICATIONS;

EID: 84873629115     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/2406336.2406348     Document Type: Article

References (27)

1. Blanke, M., Frei, C. W., Kraus, F., Patton, R. J., and Staroswiecki, M. 2000. What is fault-tolerant control? In Proceedings of the 4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes.
2. Blanke, M., Kinnaert, M., Lunze, J., and Staroswiecki, M. 2006. Diagnosis and Fault-Tolerant Control. Springer.
3. Darabi, H., Jafari, M. A., and Buczak, A. L. 2003. A control switching theory for supervisory control of discrete event systems. IEEE Trans. Rob. Autom. 19, 1, 131-137.
4. David, R. and Alla, H. 2005. Discrete, Continuous, and Hybrid Petri Nets. Springer.
5. Dideban, A. and Alla, H. 2008. Reduction of constraints for controller synthesis based on safe Petri nets. Automatica 44, 7, 1697-1706.
6. Dideban, A., Zareiee, M., and Alla, H. 2009. Controller synthesis with very simplified linear constraints in PN model. In Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems.
7. Giua, A. and Dicesare, F. 1990. Easy synchronized Petri nets as discrete event models. In Proceedings of the 29th IEEE International Conference on Decision and Control. 2839-2844.
8. Giua, A. and Dicesare, F. 1991. Supervisory design using Petri Nets. In Proceedings of the 30th IEEE International Conference on Decision and Control. 92-97.
9. Giua, A., Dicesare, F., and Silva, M. 1992. Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. 974-979.
10. Hashtrudi Zad, S., Kwong, R. H., and Wonham, W. M. 2005. Fault diagnosis in discrete-event systems: Incorporating timing information. IEEE Trans. Autom. Control 50, 7, 1010-1015.
11. Holloway, L. E. and Krogh, B. H. 1990. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans. Autom. Control 35, 8, 514-523.
12. Iordache, M. V. and Antsaklis, P. J. 2004. Resilience to failure and reconfigurations in the supervision based on place invariants. In Proceedings of the American Control Conference. 4477-4482.
13. Jiroveanu, G. and Boel, R. K. 2006. A distributed approach for fault detection and diagnosis based on Time Petri Nets. Math. Comput. Simul. 70, 287-313.
14. Krogh, B. H. and Holloway, L. E. 1991. Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27, 4, 641-651.
15. Kumar, R. and Holloway, L. E. 1996. Supervisory control of deterministic Petri Nets with regular specification languages. IEEE Trans. Autom. Control 41, 2, 245-249.
16. Li, L., Hadjicostis, C. N., and Sreenivas, R. S. 2004. Fault detection and identification in Petri net controllers. In Proceedings of the 43rd IEEE Conference on Decision and Control. 5248-5253.
17. Liu, F. and Qiu, D. 2008. Safe Diagnosability of Stochastic Discrete Event Systems. IEEE Trans. Autom. Control 53, 5, 1291-1296.
18. Miyagi, P. E. and Riascos, L. A. M. 2006. Modeling and analysis of fault-tolerant systems for machining operations based on Petri Nets. Control Eng. Pract. 14, 397-408.
19. Paoli, A. and Lafortune, S. 2005. Safe diagnosability for fault-tolerant supervision of discrete-event Systems. Automatica 41, 1335-1347.
20. Ramadge, P. J. and Wonham, W. M. 1989. The control of discrete event systems. Proc. IEEE 77, 1, 81-98.
21. Sampath, R., Darabi, H., Buy, U., and Liu, J. 2008. Control reconfiguration of discrete event systems with dynamic control specifications. IEEE Trans. Autom. Sci. Eng. 5, 1, 84-100.
22. Supavatanakul, P., Lunze, J., Puig, V., and Quevedo, J. 2005. Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem. Control Engin. Pract. 14, 609-619.
23. Tabakow, I. G., 2005. Fault diagnosis of discrete event systems using place invariants. In Proceedings of the 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science, vol. 3682, 541-547.
24. Wen, Q., Kumar, R., Huang, J., and Liu, H. 2008. A framework for fault-tolerant control of discrete event systems. IEEE Trans. Autom. Control 53, 8, 1839-1849.
25. Xue, F. and Zheng, D. Z. 2005. Fault tolerant supervisory for discrete event systems based on event observer. In Proceedings of the International Conference on Intelligent Computing. Lecture Notes in Computer Science, vol. 3645, 655-664.
26. Yamalidou, C., Moody, J., Lemmon, M., and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica 32, 1, 15-28.
27. Yang, X. and Chen, L. J. 2009. Design and fault diagnosis of Petri Net controllers for Petri Nets with uncontrollable and unobservable transitions. J. Manuf. Syst. 28, 17-22.