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
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. ,
« Modular supervisory control of large scale discrete-event systems », Discrete Event Systems: Analysis and Control, Proc. WODES'00, Kluwer Academic, pp.103-110, 2000. ,
« Exploiting symmetry in the synthesis of supervisors for discrete event systems, Proc. of the American Control Conference, pp.244-248, 1998. ,
Synthèse de contrôleurs sur des systèmes à événements discrets structurés, 2004. ,
« Modular Supervisory Control of a class of Concurrent Discrete Event Systems, 2004. ,
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
Contribution à la génération automatique de tests pour les systèmes réactifs, Habilitation à diriger des recherches, 2004. ,
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
Complexity eduction in Discrete Event Systems, 2002. ,
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
Notes on Control of Discrete-Event Systems, 2003. ,