Decentralized supervisory controller design to avoid deadlock in Petri nets

International Journal of Control

Volumn 76, Issue 13, 2003, Pages 1285-1295

  Aybar, Aydin ^a   Iftar, Altuǧ ^a  

^a ANADOLU UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; PETRI NETS; SCADA SYSTEMS;

PETRI SUBNETS;

DECENTRALIZED CONTROL;

EID: 0142137708     PISSN: 00207179     EISSN: None     Source Type: Journal    
DOI: 10.1080/0020717031000149609     Document Type: Article

References (20)

1. ATAŞLAR, B., and IFTAR, A., 1999, Decentralized routing controller design using overlapping decompositions. International Journal of Control, 72, 1175-1192.
2. AYBAR, A., and IFTAR, A., 2002, Overlapping decompositions and expansions of Petri nets. IEEE Transactions on Automatic Control, 47, 511-515.
3. AYBAR, A., and IFTAR, A., 2003, Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets. Proceedings of the European Control Conference, Cambridge, UK (to appear).
4. AYBAR, A., IFTAR, A., and UZMAN, M. B., 1994, Decentralized routing control using overlapping decompositions. In Proceedings of the Mediterranean Electrotechnical Conference, Antalya, Turkey, pp. 671-674.
5. DESROCHERS, A. A., and AL-JAAR, R. Y., 1995, Application of Petri Nets in Manufacturing Systems (Piscataway: IEEE Press).
6. ESPARZA, J., and NIELSEN, M., 1994, Decidability Issues in Petri Nets. BRICS Report Series, RS-94-8, Department of Computer Science, University of Aarhus, Aarhus, Denmark.
7. HAOXUN, C., 1998, Net structure and control logic synthesis of controlled Petri nets. IEEE Transactions on Automatic Control, 43, 1446-1450.
8. Ho, Y. (Ed.), 1992, Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World (New York: The Institute of Electrical and Electronics Engineers, Inc.).
9. IFTAR, A., 1992, Overlapping decomposition of traffic networks. In Proceedings of the IEEE Conference on Decision and Control, Tucson, Arizona, USA, pp. 1016-1017.
10. IFTAR, A., 1993, Overlapping decentralized dynamic optimal control. International Journal of Control, 58, 187-209.
11. IFTAR, A., and ÖZGÜNER, Ü., 1987, Decentralized LQG/LTR controller design for interconnected systems. In Proceedings of the American Control Conference, Minneapolis, MN, USA, pp. 1682-1687.
12. IFTAR, A., and ÖZGÜNER, Ü., 1998, Overlapping decompositions, expansions, contractions, and stability of hybrid systems. IEEE Transactions on Automatic Control, 43, 1040-1055.
13. IKEDA, M., and ŠILJAK, D. D., 1980, Overlapping decompositions, expansions, and contractions of dynamic systems. Large Scale Systems, 1, 29-38.
14. IKEDA, M., and ŠILJAK, D. D., 1986, Overlapping decentralized control with input, state, and output inclusion. Control Theory and Advanced Technology, 2, 155-172.
15. IKEDA, M., ŠILJAK, D. D., and WHITE, D. E., 1981, Decentralized control with overlapping information sets. Journal of Optimization Theory and Applications, 34, 279-310.
16. LIN, F., and WONHAM, W. M., 1990, Decentralized control and coordination of discrete-event systems with partial observation. IEEE Transactions on Automatic Control, 35, 1330-1337.
17. RAMADGE, P. J. G., and WONHAM, W. M., 1989, The control of discrete event systems. Proceedings of the IEEE, 77, 81-98.
18. RUDIE, K., and WILLEMS, J. C., 1995, Decentralized discrete-event systems and computational complexity. In P. R. Kumar and P. P. Varaiya (Eds) Discrete Event Systems, Manufacturing Systems, and Communication Networks (New York: Springer-Verlag), pp. 225-241.
19. SREENIVAS, R. S., 1997, 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, 928-945.
20. ZHOU, M., and DICESARE, F., 1993, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (Norwell, MA: Kluwer Academic Publishers).