Notes on control of discrete-event systems, 2003. ,
Introduction to Discrete Event Systems, 1999. ,
Synthesis and implementation of local modular supervisory control for a manufacturing cell, Proceedings of the 6th International Workshop on Discrete Event Systems, pp.377-382, 2002. ,
EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS, Proc. of the IFAC, 2002. ,
DOI : 10.3182/20020721-6-ES-1901.00517
Supervisory control of concurrent discrete-event systems, International Journal of Control, vol.54, issue.5, pp.1143-1169, 1991. ,
DOI : 10.1137/0325036
The control and verification of similar agents operating in a broadcast network environment, 42nd IEEE Conference on Decision and Control, 2003. ,
Complexity reduction in discrete event systems, 2002. ,
Hierarchical interface based supervisory control, 2002. ,
A linguistic framework for controller hierarchical des, 1998. ,
Control of discrete event systems modeled as hierarchical state machines, IEEE Transactions on Automatic Control, vol.38, issue.12, pp.1803-1819, 1993. ,
DOI : 10.1109/9.250558
Top-down design for RW supervisory control theory, 1995. ,
Non blocking supervisory control of state tree structures, 2004. ,
Supervisory control problems of hierarchical finite state machines, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., 2002. ,
DOI : 10.1109/CDC.2002.1184677
URL : https://hal.archives-ouvertes.fr/inria-00525529
Efficient supervisory synthesis of large systems, Workshop on Discrete Event Systems, 2004. ,
DOI : 10.1016/j.conengprac.2006.02.013
EFFICIENT COMPUTATION OF SUPERVISORS FOR LOOSELY SYNCHRONOUS DISCRETE EVENT SYSTEMS: A STATE-BASED APPROACH, 6th IFAC World Congress, 2005. ,
DOI : 10.3182/20050703-6-CZ-1902.00309