Robust nonblocking supervisory control of discrete event systems, In IEEE Trans. on Automatic Control, vol.50, pp.2015-2021, 2005. ,
From mutually non-blocking to switched non-blocking DES. Presented at MSR'13 Workshop (Poster Session), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00876645
On Switchable Languages of Discrete-Event Systems with Weighted Automata, Technical Report Mines Nantes, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01980559
Introduction to Discrete Event Systems, 2008. ,
Mutually non-blocking supervisory control of discrete-event systems, In Automatica, vol.36, issue.12, pp.1863-1869, 2000. ,
Formal Approach to Multimodal Control Design: Application to Mode Switching, In IEEE Trans. on Industrial Informatics, vol.5, pp.443-453, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00471885
Process Tracking by Equivalent States in Modal Supervisory Control, Proc. of IEEE ETFA, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00636628
Synthese en ligne de superviseur compositionnel pour une flotte de robots mobiles, MSR'13, vol.47, pp.195-210, 2013. ,
On-line optimal compositional controller synthesis for AGV by unfolding, Proc. of DCDS 2015, IFACPapersOnLine, pp.167-173, 2015. ,
Introduction to Automata Theory, Languages, and Computation, 1979. ,
,
Maximally Permissive Mutually and Globally Nonblocking Supervision with Application to Switching Control, In Automatica, vol.41, issue.8, pp.1299-1312, 2005. ,
Switching in Systems and Control, ser. Systems and Control: Foundations and Applications, 2003. ,
Generalised nonblocking"', Proc. 9th Int. Workshop on Discrete Event Systems, pp.340-345, 2008. ,
Supervisory control of switched discrete-event systems, Proc. of 17th Symp. on MTNS, pp.2213-2217, 2006. ,
Supervisory control of a class of discrete-event processes, In SIAM J. Control and Optimization, vol.25, pp.206-230, 1987. ,
, , 2018.
Specification Enforcing Refinement for Convertibility Verification, Proc. of ACSD, pp.148-157, 2009. ,
Modelling and control of discrete event systems using switching max-plus-linear systems, Control Engineering Practice, vol.14, pp.1199-1211, 2006. ,
Modular supervisory control of discrete-event systems, In Mathematics of Control, Signals and Systems, vol.1, issue.1, pp.13-30, 1988. ,
DOI : 10.1007/bf02551233
, MTNS 2018, 2018.
,