Synthesis of Supervisors Enforcing General Linear Constraints in Petri Nets

IEEE Transactions on Automatic Control

Volumn 48, Issue 11, 2003, Pages 2036-2039

  Iordache, Marian V ^a   Antsaklis, Panos J ^a  

^a University of Notre Dame   (United States)

Author keywords

Linear constraints; Petri nets (PNs); Supervisory control

Indexed keywords

CONSTRAINT THEORY; CONTROL SYSTEMS; LINEAR SYSTEMS; MATRIX ALGEBRA; VECTORS;

LINEAR CONSTRAINTS; SUPERVISORY CONTROL;

PETRI NETS;

EID: 0345258435     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2003.819298     Document Type: Article

References (10)

1. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics, 1992, pp. 974-979.
2. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Automat. Contr., vol. 45, pp. 462-476, Mar. 2000.
3. _, Supervisory Control of Discrete Event Systems Using Petri Nets. Norwell, MA: Kluwer, 1998.
4. E. Yamalidou, J. O. Moody, P. J. Antsaklis, and M. D. Lemmon, "Feedback control of petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, 1996.
5. A. Giua and C. Seatzu, "Supervisory control of railway networks with petri nets," in Proc. 40th IEEE Int. Conf. Decision Control, Dec. 2001, pp. 5004-5009.
6. Y. Li and W. Wonham, "Control of vector discrete-event systems II - Controller synthesis," IEEE Trans. Automat. Contr., vol. 39, pp. 512-530, Mar. 1994.
7. M. V. Iordache and P. J. Antsaklis. (2002) Synthesis of supervisors enforcing general linear vector constraints in Petri nets. Dept. Elect. Eng., Univ. Notre Dame, Notre Dame, IN. [Online]Tech. Rep. ISIS-2002-002
8. J. O. Moody, M. V. Iordache, and P. J. Antsaklis, "Enforcement of event-based supervisory constraints using state-based methods," in Proc. 38th IEEE Int. Conf. Decision Control, 1999, pp. 1743-1748.
9. G. Stremersch, Supervision of Petri Nets. Norwell, MA: Kluwer, 2001.
10. M. V. Iordache, "Methods for the supervisory control of concurrent systems based on petri net abstractions," Ph.D. dissertation, Dept. Elect. Eng., Univ. Notre Dame, Notre Dame, IN, 2003.