Design of a live and maximally permissive Petri net controller using the theory of regions

IEEE Transactions on Robotics and Automation

Volumn 19, Issue 1, 2003, Pages 137-142

  Ghaffari, Asma ^a   Rezg, Nidhal ^a   Xie, Xiaolan ^a  

^a INRIA   (France)

Author keywords

Controllability; Petri nets (PN); Supervisory control; Theory of regions

Indexed keywords

ALGORITHMS; CLOSED LOOP CONTROL SYSTEMS; CONTROLLABILITY; LINEAR CONTROL SYSTEMS; MANUFACTURE; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; SCADA SYSTEMS; STATE SPACE METHODS;

MAXIMALLY PERMISSIVE PETRI NET CONTROLLER; RAMADGE-WONHAM-LIKE REASONING; THEORY OF REGIONS;

CONTROL SYSTEM SYNTHESIS;

EID: 0037325786     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/TRA.2002.807555     Document Type: Article

References (10)

1. E. Badouel, L. bernardinello, and P. Darondeau, "Polynomial algorithms for the synthesis of bounded nets," in Proc. CAAP'95, 1995, Springer Verlag LNCS 915, pp. 364-378.
2. F. Basile, P. Chiacchio, and A. Giua, "Supervisory control of Petri nets based on suboptimal monitor places," in Proc. WODES'98, Sardinia, Italy, 1998, pp. 85-87.
3. A. Giua, F. DiCesare, and M. Silva, "Petri net supervisors for generalized mutual exclusion constraints," in Proc. 12th IFAC World Congr., Sydney, Australia, July 1993, pp. I:267-270.
4. A. Giua and C. Seatzu, "Supervisory control of railway networks with Petri nets," in Proc. 40th IEEE CDC, Orlando, FL, Dec. 2001, pp. 5004-5009.
5. M. Gondran and M. Minoux, Graphes et Algorithmes. Paris, France: Editions Eyrolles, 1985.
6. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets," in Proc. ACC'00, Chicago, IL, June 28-30, 2000, pp. 3167-3171.
7. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, 1991.
8. Y. Li and W. M. Wonham, "Deadlock issues in supervisory control of discrete event systems," in Proc. Conf. Information Science Systems, 1988, pp. 57-63.
9. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, 1989.
10. A. Schrijer, Theory of Linear and Integer Programming. New York: Wiley, 1999.