K. Rudie and W. M. Wonham, Think globally, act locally: decentralized supervisory control, IEEE Transactions on Automatic Control, vol.37, issue.11, pp.1692-1708, 1992.
DOI : 10.1109/9.173140

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

S. L. Ricker and K. Rudie, Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems, IEEE Transactions on Automatic Control, vol.52, issue.3, pp.428-441, 2007.
DOI : 10.1109/TAC.2007.892371

R. Kumar and S. Takai, Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems, IEEE Transactions on Automatic Control, vol.52, issue.10, pp.1783-94, 2007.
DOI : 10.1109/TAC.2007.906158

H. Chakib and A. Khoumsi, Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems, IEEE Transactions on Automatic Control, vol.56, issue.11, pp.2608-2622, 2011.
DOI : 10.1109/TAC.2011.2128730

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

S. L. Ricker, Knowledge and communication in decentralized discreteevent control, 1999.

Y. Wang, T. Yoo, and S. Lafortune, Diagnosis of Discrete Event Systems Using Decentralized Architectures, Discrete Event Dynamic Systems, vol.49, issue.11, pp.233-263, 2007.
DOI : 10.1007/s10626-006-0006-8

S. L. Ricker and K. 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

F. Lin and W. M. Wonham, On observability of discrete-event systems, Information Sciences, vol.44, issue.3, pp.173-198, 1988.
DOI : 10.1016/0020-0255(88)90001-1

A. Biere, M. J. Heule, H. Van-maaren, and T. Walsh, Handbook of Satisfiability, ser. Frontiers in Artificial Intelligence and Applications, 2009.

S. L. Ricker and B. Caillaud, Mind the gap: Expanding communication options in decentralized discrete-event control, Automatica, vol.47, issue.11, pp.2364-2372, 2011.
DOI : 10.1016/j.automatica.2011.08.040
URL : https://hal.archives-ouvertes.fr/hal-00654110

A. Arnold, Finite transition systems, 1994.

R. Morin, Decompositions of asynchronous systems, CONCUR: LNCS 1446, pp.549-564, 1998.
DOI : 10.1007/BFb0055647

W. Qiu, R. Kumar, and V. Chandra, Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion, IEEE Transactions on Automatic Control, vol.53, issue.10, pp.2425-2430, 2008.
DOI : 10.1109/TAC.2008.2007835