Introduction to Discrete Event Systems, 1999. ,
Modular Supervisory Control of a Class of Concurrent Discrete Event Systems, Proceedings WODES'04, Workshop on Discrete-Event Systems, pp.181-186, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00517300
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction , Discrete Event Dynamic Systems, Theory and Applications, vol.15, issue.3, pp.257-315, 2005. ,
Supremal Normal Sublanguages of Large Distributed Discrete-Event Systems, Proceedings WODES'04, Workshop on Discrete-Event Systems, pp.73-78, 2004. ,
Decentralized supervisory control of discrete-event systems, Information Sciences, vol.44, issue.3, pp.199-224, 1988. ,
DOI : 10.1016/0020-0255(88)90002-3
Communication and Concurrency. Prentice Hall International Series in Computer Science, 1989. ,
On the computational complexity of the verification of modular discrete-event systems, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., 2002. ,
DOI : 10.1109/CDC.2002.1184460
Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000. ,
DOI : 10.1016/S0304-3975(00)00056-6
The control of discrete event systems, Proc. IEEE, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
Supervisory control of concurrent discrete-event systems, International Journal of Control, vol.54, issue.5, pp.1143-1166, 1991. ,
DOI : 10.1137/0325036
Structural Decentralized Control of Concurrent Discrete-Event Systems, European Journal of Control, vol.8, pp.477-491, 2002. ,
Modular Control and Coordination of Discrete-Event Systems, Discrete Event Dynamical Systems: Theory and Applications, pp.247-297, 1998. ,
Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems, vol.25, issue.1, pp.13-30, 1988. ,
DOI : 10.1007/BF02551233