Petri net control using event observers and timing information

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2002, Pages 787-792

  Giua, Alessandro ^a   Seatzu, Carla ^a   Basile, Francesco ^b  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INTEGER PROGRAMMING; LINEAR PROGRAMMING; MATRIX ALGEBRA; SET THEORY; STATE FEEDBACK; THEOREM PROVING;

INTEGER LINEAR PROGRAMMING; PETRI NET CONTROL;

PETRI NETS;

EID: 0036990677     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. K. Barkaoui, A. Chaoui, B. Zouari, "Supervisory control of discrete event systems using structure theory of Petri nets," 1997 IEEE Int. Conf. on Systems, Man and Cybernetics (Orlando, Florida), pp. 3750-3755, Oct. 1997.
2. F. Basile, P. Chiacchio, A. Giua, C. Seatzu, "Deadlock recovery of controlled Petri net models using observers", 8th IEEE Int. Conf. on Emerging Technologies and Factory Automation (Antibes, France), pp. 441-449, Oct. 2001.
3. F. Chu, X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. on Robotics & Automation, Vol. 13, No. 6, pp. 793-804, 1997.
4. J. Ezpeleta, J.M. Colom, J. Martinez, "A Petri Net Based Deadlock prevention policy for flexible manufacturing systems", IEEE Trans. on Robotics & Automation, Vol. 11, No. 2, pp. 173-184, 1995.
5. A. Giua, F. DiCesare, M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," Proc. 1992 IEEE Int. Conf. on Systems, Man, and Cybernetics (Chicago, Illinois), pp. 974-979, Oct. 1992.
6. A. Giua, "Petri net state estimators based on event observation," Proc. 36th Int. Conf. on Decision and Control (San Diego, California), pp. 4086-4091, December 1997.
7. A. Giua, C. Seatzu, "Observability of place/transition nets," IEEE Trans. on Automatic Control, Vol. 47, 2002.
8. Y. Li, W.M. Wonham, "Control of vector discrete-event systems - part II: controller synthesis," IEEE Trans. on Automatic Control, Vol. 39, No. 3, pp. 512-531, 1994.
9. T. Murata, "Petri nets: properties, analysis and applications," Proc. IEEE, Vol. Proc. 77, N. 4, pp. 541-580, April 1989.
10. J. Park, S.A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. on Automatic Control, Vol. 46, No. 10, pp. 1572-1583, 2001.
11. S. Takai, T. Ushio, S. Kodama, "Static state feedback control of discrete-event systems under partial observation," IEEE Trans. on Automatic Control, Vol. 40, No. 11, pp. 1950-1955, 1995.
12. K. Yamalidou, J.O. Moody, M.D. Lemmon, P.J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, Vol. 32, No. 1, 1996.
13. L. Zhang, L.E. Holloway, "Forbidden state avoidance in controlled Petri nets under partial observation," Proc. 33rd Allerton Conf. (Monticello, Illinois), pp. 146-155, Oct. 1995.
14. M.C. Zhou, F. DiCesare, Petri net synthesis for discrete event control of manufacturing systems Kluwer, 1993.