Observer-based state-feedback control of timed Petri nets with deadlock recovery

IEEE Transactions on Automatic Control

Volumn 49, Issue 1, 2004, Pages 17-29

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

^a UNIVERSITY OF CAGLIARI   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

Author keywords

Deadlock recovery; Observers; Petri nets; Timed discrete event systems

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; COMPUTER SYSTEM RECOVERY; CONSTRAINT THEORY; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; LINEAR ALGEBRA; MATHEMATICAL MODELS; OBSERVABILITY; PETRI NETS; STATE ESTIMATION; STATE FEEDBACK;

DEADLOCK RECOVERY; GENERALIZED MUTUAL EXCLUSION CONSTRAINTS; TIMED PETRI NETS;

FEEDBACK CONTROL;

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

References (21)

1. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems using structure theory of Petri nets," in Proc. 1997 IEEE Int. Conf. Systems, Man, Cybernetics, Orlando, FL, Oct. 1997, 3750-3755.
2. F. Basile, P. Chiacchio, A. Giua, and C. Seatzu, "Deadlock recovery of controlled Petri net models using observers," in Proc. 8th IEEE Int. Conf. Emerging Technologies Factory Automation, Antibes, France, Oct. 2001, pp. 441-449.
3. F. Basile, A. Giua, and C. Seatzu, "Petri net control using event observers and timing information," in Proc. 41st IEEE 2002 Conf. Decision Control, Las Vegas, NV, Dec. 2002, pp. 787-792.
4. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Automat., vol. 13, pp. 793-804, June 1997.
5. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, Feb. 1995.
6. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constrains on nets with uncontrollable transitions," in Proc. 1992 IEEE Int. Conf. Systems, Man, Cybernetics, Chicago, IL, Oct. 1992, pp. 974-979.
7. A. Giua and C. Seatzu, "Observability of place/transition nets," IEEE Trans. Automat. Contr., vol. 47, pp. 1424-1437, 2002.
8. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," Discrete Event Syst., vol. 7, pp. 151-190, 1997.
9. Y. Li and W. M. Wonham, "Contrallability and obserability in the statefeedback control of discrete-event systems," in Proc. 27th Conf. Decision Control, Austin, TX, Dec. 1988, pp. 203-207.
10. ____, "Control of vector discrete-event systems - Part I: The base model," IEEE Trans. Automat. Contr., vol. 38, pp. 1215-1227, Aug. 1993.
11. ____, "Control of vector discrete-event systems - Part II: Controller synthesis," IEEE Trans. Automat. Contr., vol. 39, pp. 512-531, Mar. 1994.
12. 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.
13. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
14. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Automat. Contr., 46, pp. 1572-1583, Oct. 2001.
15. F. Di Cesare, G. Harhalakis, J. M. Proth, M. Silva, and F. B. Vernadat, Practice of Petri Nets in Manufacturing. London, U.K.: Chapman and Hall, 1993.
16. A. Ramírez-Treviño,I. Rivera-Rangel, and E. López-Mellado, "Observer design for discrete event systems modeled by interpreted Petri nets," in Proc. 2000 IEEE Int. Conf. Robotics Automation, Apr. 2000, pp. 2871-2876.
17. W. Reisig, Petri Nets an Introduction. New York: Springer-Verlag, 1982.
18. M. Silva and J. M. Colom, "On the computation of structural synchronic invariants in P/T nets," in Advances in Petri Nets 1988. New York: Springer-Verlag, 1989.
19. S. Takai, T. Ushio, and S. Kodama, "Static-state feedback control of discrete-event systems under partial observation," IEEE Trans. Automat. Contr., vol. 40, pp. 1950-1955, Nov. 1995.
20. K. Yamalidou, J. O. Moody, M. D. Lemmon, and P. J. Antsaklis, "Feed-back control of Petri nets based on place invariants." Automatica, vol. 32, no. 1, 1996.
21. L. Zhang and L. E. Holloway, "Forbidden state avoidance in controlled Petri nets under partial observation," in Proc. 33rd Allerton Conf., Monticello, IL, Oct. 1995, pp. 146-155.