A. Biere, M. J. Heule, H. Van-maaren, and T. Walsh, Handbook of Satisfiability, 2009.

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

H. Chakib, A. Khoumsi, R. Kumar, and S. Takai, Multi-Decision Decentralized Control of Discrete Event Systems : Application to the C&P Architecture Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems, Proc. 9th International Workshop on Discrete Event Systems, pp.480-485, 2007.

J. H. Prosser, M. Kam, and H. G. Kwatny, Decision fusion and supervisor synthesis in decentralized discreteevent systems, Proc. Ameri. Contr. Conf, pp.2251-2255, 1997.
DOI : 10.1109/acc.1997.608978
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.578.1981

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

P. Ramadge and W. M. , Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

S. L. Ricker and H. Marchand, A parity-based architecture for decentralized discrete-event control, 2013 American Control Conference, pp.5678-5684, 2013.
DOI : 10.1109/ACC.2013.6580727
URL : https://hal.archives-ouvertes.fr/hal-00828714

S. L. Ricker, Asymptotic minimal communication for decentralized discrete-event control, 2008 9th International Workshop on Discrete Event Systems, pp.486-491, 2008.
DOI : 10.1109/WODES.2008.4605994

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

K. Rudie, W. M. Wonham, . Think, and . Globally, 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 system. Discrete Event Dyn, S, vol.12, pp.335-377, 2002.

T. Yoo and . Lafortune, Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence, IEEE Transactions on Automatic Control, vol.49, issue.11, pp.1886-1904, 2004.
DOI : 10.1109/TAC.2004.837595