Supervisory control of interacting discrete event systems, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.1175-1180, 2002. ,
DOI : 10.1109/CDC.2002.1184673
Introduction to Discrete Event Systems, 1999. ,
Modular supervisory control of large scale discrete-event systems, Discrete Event Systems: Analysis and Control. Proc. WODES'00, pp.103-110, 2000. ,
Modular supervisory control of asynchronous and hierarchical finite state machines, European Control Conference, 2003. ,
Supervisory Control on Concurrent Discrete Event Systems with Variables, 2007 American Control Conference, 2004. ,
DOI : 10.1109/ACC.2007.4282808
Decentralized control of discrete event systems with specializations to local control and concurrent systems, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, pp.653-660, 2000. ,
DOI : 10.1109/3477.875442
EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS, Proc. of the IFAC, 2002. ,
DOI : 10.3182/20020721-6-ES-1901.00517
Hierarchical interface-based supervisory control: serial case, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), pp.4116-4121, 2001. ,
DOI : 10.1109/CDC.2001.980825
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
The control and verification of similar agents operating in a broadcast network environment, 42nd IEEE Conference on Decision and Control, 2003. ,
Supervisory control of concurrent discrete-event systems, International Journal of Control, vol.54, issue.5, pp.1143-1169, 1991. ,
DOI : 10.1137/0325036
Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems, vol.25, issue.1, pp.13-30, 1988. ,
DOI : 10.1007/BF02551233