Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2008, Pages 1048-1053

  Ru, Yu ^a   Cabasino, Maria Paola ^c   Giua, Alessandro ^c   Hadjicostis, Christoforos N ^a,b  

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

^b UNIVERSITY OF CYPRUS   (Cyprus)

^c UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

CONTROL POLICY; FINITE NUMBER; FORBIDDEN MARKINGS; FORBIDDEN STATE; PARTIAL CONTROL; PARTIAL OBSERVATION; SUBNETS; UNOBSERVABLE;

DISCRETE EVENT SIMULATION;

EID: 62949230459     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2008.4739115     Document Type: Conference Paper

References (23)

1. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proceedings of the IEEE, vol. 77, pp. 81-98, Jan. 1989.
2. -. "Modular feedback logic for discrete event systems," SIAM J. Control and Optimization, vol. 25, pp. 1202-1218, Sept. 1987.
3. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, 1998.
4. H. Chen, "Control synthesis of Petri nets based on S-decreases," Discrete Event Dynamic Systems: Theory and Applications, vol. 10, pp. 233-249, 2000.
5. 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.
6. A. Ghaffari, N. Rezg, and X. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Transactions on Robotics and Automation, vol. 19, pp. 137-142, Feb. 2003.
7. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Transactions on Automatic Control, vol. 35, pp. 514-523, May 1990.
8. 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, June 2004, pp. 4493-4498.
9. Z. Achour, N. Rezg, and X. Xie, "On the existence of Petri net controller for discrete event systems under partial observation," in Proc. of 16th IFAC World Congress 2005, July 2005.
10. Y. Ru and C. N. Hadjicostis, "Fault-tolerant supervisory control of discrete event systems modeled by bounded Petri nets," in Proc. of 2007 American Control Conference, New York, USA, July 2007, pp. 4945-4950.
11. A. Giua and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," in 44th IEEE Conf. on Decision and Control, Seville, Spain, Dec. 2005, pp. 6323-6328.
12. M. P. Cabasino, A. Giua, and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica (preliminarily accepted), 2008.
13. L. Zhang and L. E. Holloway, "Forbidden state avoidance in controlled Petri nets under partial observation," in Proc. 33rd Allerton Conf., Monticello, Illinois, Oct. 1995, pp. 146-155.
14. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 77, pp. 541-580, Apr. 1989.
15. J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge, U.K.: Cambridge Univ. Press, 1995.
16. D. Corona, A. Giua, and C. Seatzu, "Marking estimation of Petri nets with silent transitions," in 43rd IEEE Conf. on Decision and Control, Atlantis, Bahamas, Dec. 2004, pp. 966-971.
17. 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.
18. G. Stremersch, Supervision of Petri Nets. Kluwer Academic Publishers, 2001.
19. Y. Ru and C. N. Hadjicostis, "Bounds on the number of markings consistent with label observations in Petri nets," to appear in IEEE Trans. on Automation Science and Engineering, 2008.
20. 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.
21. B. W. Kernighan and D. M. Ritchie, The C Programming Language. New York, USA: Prentice Hall Software Series, 1988.
22. E. F. Beckenbach and R. E. Bellman, Inequalities. New York, USA: Springer-Verlag, 1965.
23. A. Giua, "Petri nets as discrete event models for supervisory control," Ph.D. dissertation, Rensselaer Polytechnic Institute, Troy, USA, 1992.