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, 1999. ,
Supervisory control of discrete-event processes with partial observations, IEEE Transactions on Automatic Control, vol.33, issue.3, pp.249-260, 1988. ,
DOI : 10.1109/9.402
Modular supervisory control of large scale discrete-event systems, Discrete Event Systems: Analysis and Control. Proc. WODES'00, pp.103-110, 2000. ,
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
Structural decentralized control of concurrent discrete-event systems, European Journal of Control, vol.8, issue.5, 2002. ,
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. ,
Think globally, act locally: decentralized supervisory control, IEEE Transactions on Automatic Control, vol.37, issue.11, pp.311692-1708, 1992. ,
DOI : 10.1109/9.173140
Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models, 2006 8th International Workshop on Discrete Event Systems, 2006. ,
DOI : 10.1109/WODES.2006.1678423
URL : https://hal.archives-ouvertes.fr/inria-00425106
Supervisory control of concurrent discrete-event systems, International Journal of Control, vol.54, issue.5, pp.1143-1169, 1991. ,
DOI : 10.1137/0325036
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems, Proc of 5th Workshop on Discrete Event Systems, 2000. ,
DOI : 10.1007/978-1-4615-4493-7_11
General architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications, pp.335-377, 2002. ,