EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS, Proc. of the IFAC, 2002. ,
DOI : 10.3182/20020721-6-ES-1901.00517
Introduction to discrete event systems, Kluwer, 1999. ,
An assume-guarantee reasoning for hierarchical coordination of discrete event systems, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., 2002. ,
DOI : 10.1109/WODES.2002.1167672
Modular supervisory control of a class of concurrent discrete event systems, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00517300
Modular Supervisory Control with General Indecomposable Specification Languages, Proceedings of the 44th IEEE Conference on Decision and Control, 2005. ,
DOI : 10.1109/CDC.2005.1582700
URL : https://hal.archives-ouvertes.fr/inria-00483919
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, 2002. ,
DOI : 10.1109/3477.875442
Hierarchical interface based supervisory control, 2002. ,
Structural decentralised control of concurrent DES, European Journal of Control, vol.35, pp.1125-1134, 2002. ,
Nonblocking Supervisory Control of State Tree Structures, IEEE Transactions on Automatic Control, vol.51, issue.5, 2004. ,
DOI : 10.1109/TAC.2006.875030
Modular supervisory control of large scale discrete event systems, 2000. ,
The control and verification of similar agents operating in a broadcast network environment, 42nd IEEE Conference on Decision and Control, 2003. ,
Hierarchical control of decentralized discrete event systems: Theory and application, 2005. ,
A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005., 2005. ,
DOI : 10.1109/.2005.1467134
Supervisory control of concurrent discrete-event systems, International Journal of Control, vol.54, issue.5, pp.1143-1169, 1991. ,
DOI : 10.1137/0325036
On the Computation of Observers in Discrete-Event Systems, Discrete Event Dynamic Systems, vol.14, issue.1, pp.55-107, 2004. ,
DOI : 10.1023/B:DISC.0000005010.55515.27
Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications, 1996. ,
Notes on control of discrete event systems, 2004. ,