Fault-tolerant supervisory control of discrete event systems modeled by bounded Petri nets

Proceedings of the American Control Conference

Volumn , Issue , 2007, Pages 4945-4950

  Ru, Yu ^a   Hadjicostis, Christoforos N ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; MONITORING; PETRI NETS; SPECIFICATIONS; SUPERVISORY PERSONNEL;

(EXTENDED) PETRI NETS; CONTROL POLICIES; CONTROL SCHEMES; CONTROL SPECIFICATIONS; FAULT-TOLERANT; FORBIDDEN MARKINGS; LOW-COMPLEXITY; MONITOR (CO); ON LINE CONTROLS; ONLINE COMPUTATIONS; REACHABILITY ANALYSIS; SUPERVISORY CONTROL; SYNTHESIS (OF CHIRAL IONIC LIQUIDS); SYSTEM STATE INFORMATION (SSI);

CONTROL SYSTEMS;

EID: 46449095477     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2007.4282277     Document Type: Conference Paper

References (20)

1. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, USA: Kluwer, 1999.
2. P. J. Ramadge and W. M. Wonham, "Modular feedback logic for discrete event systems," SIAM J. Control and Optimization, vol. 25, pp. 1202-1218, Sept. 1987.
3. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Automat. Contr.. vol. 35, pp. 514-523, May 1990.
4. A. Ghaffari, N. Rezg, and X. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Automat., vol. 19, pp. 137-142, Feb. 2003.
5. R. K. Boel, L. Ben-Naoum, and V. V. Breusegem, "On forbidden state problems for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 40, pp. 1717-1731, Oct. 1995.
6. L. E. Holloway, X. Guan, and L. Zhang, "A generalization of state avoidance policies for controlled Petri nets," IEEE Trans. Automat. Contr., vol. 41, pp. 804-816, June 1996.
7. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, 1998.
8. H. Chen, 'Control synthesis of Petri nets based on S-decreases," Discrete Event Dynamic Systems: Theory and Applications, vol. 10, pp. 233-249, 2000.
9. G. Stremersch and R. K. Boel, "Structuring acyclic Petri nets for reachability analysis and control," Discrete Event Dynamic Systems: Theory and Applications, vol. 12, pp. 7-41, 2002.
10. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. of 1992 IEEE Int. Conf. on Systems, Man and Cybernetics, Chicago, USA, Oct. 1992, pp. 974-979.
11. C. Hadjicostis and G. Verghese, "Monitoring discrete event systems using Petri net embeddings," in Application and Theory of Petri Nets 1999 (Series Lecture Notes in Computer Science, vol. 1639), 1999, pp. 188-207.
12. L. Li and C. Hadjicostis, "Fault detection and identification in Petri net controllers," in 43rd IEEE Conf. on Decision and Control, Atlantis, Bahamas, Dec. 2004, pp. 5248-5253.
13. Y. Wu and C. Hadjicostis, "Algebraic approaches for fault identification in discrete-event systems," IEEE Trans. Automat. Contr., vol. 50, pp. 2048-2053, Dec. 2005.
14. T. Murata, "Petri nets: Properties, analysis and applications," Proc. of the IEEE, vol. 77, pp. 541-580, Apr. 1989.
15. H. J. Genrich and E. Stankiewicz-Wiechno, "A dictionary of some basic notions of net theory," Lecture Notes in Computer Science, Vol. 84: Net Theory and Applications, pp. 519-535, 1980.
16. G. Stremersch, Supervision of Petri Nets. Kluwer Academic Publishers, 2001.
17. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 7, pp. 151-190, 1997.
18. Y. Ru, W. Wu, H. Su, and J. Chu, "Supervisor synthesis for bounded Petri nets based on a transformation function," in Proc. of 2004 American Control Conference, Boston, USA, Jun 2004, pp. 4493-4498.
19. J. Esparza and M. Nielsen, "Decidability issues for Petri nets - a survey," Bulletin of the EATCS, vol. 52, pp. 245-262, 1994.
20. B. W. Kernighan and D. M. Ritchie, The C Programming Language. New York, USA: Prentice Hall Software Series, 1988.