G. Barrett and S. Lafortune, Decentralized supervisory control with communicating controllers, IEEE Transactions on Automatic Control, vol.45, issue.9, pp.1620-1638, 2000.
DOI : 10.1109/9.880613
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.6411

S. Bensalem, M. Bozga, S. Graf, D. Peled, and S. Quinton, Methods for Knowledge Based Controlling of Distributed Systems, ATVA'10, pp.52-66, 2010.
DOI : 10.1007/978-3-642-15643-4_6
URL : https://hal.archives-ouvertes.fr/hal-00557799

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

B. Boigelot, P. Godefroid, B. Willems, and P. Wolper, The power of qdds, SAS '97, pp.172-186, 1997.

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Darondeau, Distributed implementations of Ramadge-Wonham supervisory control with Petri nets, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2107-2112, 2005.
DOI : 10.1109/CDC.2005.1582472

P. Gastin, N. Sznajder, and M. Zeitoun, Distributed synthesis for well-connected architectures. Formal Methods in System Design, pp.215-237, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00306316

B. Gaudin and H. Marchand, An efficient modular method for the control of concurrent discrete event systems: A language-based approach. Discrete Event Dynamic System, pp.179-209, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00423795

B. Genest, On Implementation of Global Concurrent Systems with Local Asynchronous Controllers, In CONCUR LNCS, vol.3653, pp.443-457, 2005.
DOI : 10.1007/11539452_34

S. Jiang and R. Kumar, 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

G. Kalyon, T. L. Gall, H. Marchand, and T. Massart, Global State Estimates for Distributed Systems, 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, pp.198-212, 2011.
DOI : 10.1109/TAC.2004.834116
URL : https://hal.archives-ouvertes.fr/inria-00581259

J. Komenda and J. H. Van-schuppen, Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2775-2780, 2005.
DOI : 10.1109/CDC.2005.1582583

T. , L. Gall, B. Jeannet, and T. Jéron, Verification of communication protocols using abstract interpretation of fifo queues, AMAST '06, pp.204-219, 2006.

S. Lee and K. C. Wong, Structural decentralized control of concurrent discrete-event systems, Europ. Journal of Control, vol.8, issue.5, 2002.

F. Lin, K. Rudie, and S. Lafortune, Minimal Communication for Essential Transitions in a Distributed Discrete-Event System, IEEE Transactions on Automatic Control, vol.52, issue.8, pp.1495-1502, 2007.
DOI : 10.1109/TAC.2007.902761

T. Massart, A calculus to define correct tranformations of lotos specifications, FORTE, volume C-2 of IFIP Transactions, pp.281-296, 1991.

F. Mattern, Virtual time and global states of distributed systems, Proceedings of the Workshop on Parallel and Distributed Algorithms, pp.215-226, 1989.

. Mcscm, Model Checker for Symbolic Communicating Machines version 0.02control

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

K. Ricker and L. Rudie, Know means no: Incorporating knowledge into discrete-event control systems, IEEE Transactions on Automatic Control, vol.45, issue.9, pp.1656-1668, 2000.
DOI : 10.1109/9.880616
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.7802

K. Rudie and W. M. Wonham, 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

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955.
DOI : 10.2140/pjm.1955.5.285

S. Tripakis, Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication, IEEE Transactions on Automatic Control, vol.49, issue.9, pp.1489-1501, 2004.
DOI : 10.1109/TAC.2004.834116

S. Xu and R. Kumar, Distributed state estimation in discrete event systems, 2009 American Control Conference, pp.4735-4740, 2009.
DOI : 10.1109/ACC.2009.5160029

T. Yoo and S. Lafortune, A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems, Discrete Event Dynamic Systems, vol.12, issue.3, pp.335-377, 2002.
DOI : 10.1007/978-1-4615-4493-7_11