Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets

European Control Conference, ECC 2003

Volumn , Issue , 2003, Pages 1681-1686

  Aybar, Aydin ^a   Iftar, Altuʇ ^a  

^a ANADOLU UNIVERSITY   (Turkey)

Author keywords

Decentralized control; Discrete event systems; Overlapping decompositions; Petri nets; Supervisory controller design

Indexed keywords

DECENTRALIZED CONTROL; DISCRETE EVENT SIMULATION; PETRI NETS; TRAFFIC CONTROL;

BOUNDEDNESS; CENTRALIZED CONTROLLERS; DECENTRALIZED CONTROLLER DESIGN; LIVENESS; ORDINARY PETRI NET; OVERLAPPING DECOMPOSITION; SUBNETS; SUPERVISORY CONTROLLER DESIGNS;

CONTROLLERS;

EID: 84949111782     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.2003.7085206     Document Type: Conference Paper

References (15)

1. A. Aybar and A. Iftar. Decentralized control design for interconnected discrete-event systems. In Preprints of the 9th IFAC Symposium on Large Scale Systems, pp. 415-418, Bucharest, Romania, July 2001.
2. A. Aybar and A. Iftar. Overlapping decompositions and expansions of Petri nets. IEEE Transactions on Automatic Control, 47, pp. 511-515, (2002).
3. A. Aybar and A. Iftar. Controller design to enforce boundedness, liveness, and reversibility in Petri nets. In Preprints of the 7th IFAC Workshop on Intelligent Manufacturing Systems, pp. 199-204, Budapest, Hungary, April 2003.
4. A. Aybar and A. Iftar. Decentralized supervisory controller design to avoid deadlock in Petri nets. International Journal of Control, (2003). (To appear).
5. A. Giua and F. DiCesare. Blocking and controllability of Petri nets in supervisory control. IEEE Transactions on Automatic Control, 39, pp. 818-823, (1994).
6. C. Haoxun. Net structure and control logic synthesis of controlled Petri nets. IEEE Transactions on Automatic Control, 43, pp. 1446-1450, (1998).
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, 35, pp. 514-523, (1990).
8. A. Iftar and Ü. Özgüner. Decentralized LQG/LTR controller design for interconnected systems. In Proceedings of the American Control Conference, pp. 1682-1687, Minneapolis, MN, June 1987.
9. A. Iftar and ü. Özgüner. Overlapping decompositions, expansions, contractions, and stability of hybrid systems. IEEE Transactions on Automatic Control, 43, pp. 1040-1055, (1998).
10. M. Ikeda and D. D. Šiljak. Overlapping decompositions, expansions, and contractions of dynamic systems. Large Scale Systems, 1, pp. 29-38, (1980).
11. M. Ikeda and D. D. Šiljak. Overlapping decentralized control with input, state, and output inclusion. Control Theory and Advanced Technology, 2, pp. 155-172, (1986).
12. R. Kumar and L. E. Holloway. Supervisory control of Petri net languages. In Proceedings of the IEEE Conference on Decision and Control, pp. 1190-1195, Tuscon, AZ, December 1992.
13. F. Lin and W. M. Wonham. Decentralized control and coordination of discrete-event systems with partial observation. IEEE Transactions on Automatic Control, 35, pp. 1330-1337, (1990).
14. J. Proth and X. Xie. Petri Nets: A Tool for Design and Management of Manufacturing Systems. John Wiley & Sons, West Sussex, 1996.
15. R. S. Sreenivas. On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modelled by controlled Petri nets. IEEE Transactions on Automatic Control, 42, pp. 928-945, (1997).