Supervisor Synthesis for a Class of Concurrent Discrete Event Systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2003, Pages 2686-2691

  Takai, Shigemasa ^a   Ushio, Toshimitsu ^b  

^a WAKAYAMA UNIVERSITY   (Japan)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; AUTOMATION; COMPUTER SIMULATION; CONTROLLABILITY; MOTION PLANNING; MULTI AGENT SYSTEMS; OBSERVABILITY; REAL TIME SYSTEMS; ROBOTIC ARMS; SET THEORY; VECTORS;

MULTI-AGENT (MA) PRODUCTS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 1542288435     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. N. Ben Hadj-Alouane, S. Lafortune, and F. Lin, "Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation," Discrete Event Dynamic Syst.: Theory and Appl., vol. 6, no. 4, pp. 379-427, 1996.
2. R. K. Boel, L. Ben-Naoum, and V. Van Breusegem, "On forbidden state problems for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 40, no. 10, pp. 1717-1731, 1995.
3. H. Cho and S. I. Marcus, "On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation," Math. Contr. Signals Syst., vol. 2, no. 1, pp. 47-69, 1989.
4. R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Automat. Contr., vol. 33, no. 3, pp. 249-260, 1988.
5. C. H. Golaszewski and P. J. Ramadge, "Control of discrete event processes with forced events," Proc. 26th IEEE Conf. Decis. Contr., pp. 247-251, 1987.
6. M. Heymann and F. Lin, "On-line control of partially observed discrete event systems," Discrete Event Dynamic Syst.: Theory and Appl., vol. 4, no. 3, pp. 221-236, 1994.
7. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 35, no. 5, pp. 514-523, 1990.
8. P. Hubbard and P. E. Caines, "Initial investigations of hierarchical supervisory control for multi-agent systems," Proc. 38th IEEE Conf. Decis. Contr., pp. 2218-2223, 1999.
9. S. Lafortune and E. Chen, "The infimal closed controllable superlanguage and its application in supervisory control," IEEE Trans. Automat. Contr., vol. 35, no. 4, pp. 398-405, 1990.
10. Y. Li and W. M. Wonham, "On supervisory control of real-time discrete-event systems," Inform. Sci., vol. 46, no. 3, pp. 159-183, 1988.
11. Y. Li and W. M. Wonham, "Concurrent vector discrete-event systems," IEEE Trans. Automat. Contr., vol. 40, no. 4, pp. 628-638, 1995.
12. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inform. Sci., vol. 44, no. 3, pp. 173-198, 1988.
13. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Englewood Cliffs, NJ: Prentice-Hall, 1981.
14. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete-event processes," SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206-230, 1987.
15. I. Romanovski and P. E. Caines, "On the supervisory control of multi-agent product systems," Proc. 41st IEEE Conf. Decis. Contr., pp. 1181-1186, 2002.
16. S. Takai, T. Ushio, and S. Kodama, "Concurrency and maximally permissive feedback in Petri nets with external input places," Int. J. Contr., vol. 60, no. 4, pp. 617-629, 1994.
17. T. Ushio, "Maximally permissive feedback and modular control synthesis in Petri nets with external input places," IEEE Trans. Automat. Contr., vol. 35, no. 7, pp. 844-848, 1990.
18. T. Ushio, Y. Li, and W. M. Wonham, "Concurrency and state feedback in discrete-event systems," IEEE Trans. Automat. Contr., vol. 37, no. 8, pp. 1180-1184, 1992.