W. M. Wonham, K. Cai, and K. Rudie, Supervisory control of discrete-event systems: A brief history, Annual Reviews in Control, 2018.

J. Zaytoon and S. Lafortune, Overview of fault diagnosis methods for discrete event systems, Annual Reviews in Control, vol.37, issue.2, pp.308-320, 2013.

A. Grastien, M. Cordier, and C. Largouët, Incremental diagnosis of discrete-event systems, Proceedings of the 29th International Workshop on Principles of Diagnosis DX'05, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00511109

A. Grastien, J. Rintanen-anbulagan, E. Rintanen, and . Kelareva, Diagnosis of discrete-event systems using satisfiability algorithms, Proceedings of the 22nd AAAI Conference on Artificial Intelligence, vol.22, p.305, 2007.

J. Peter and . Ramadge, Observability of discrete event systems, Proceedings of the 25th IEEE Conference on Decision and Control CDC'86, pp.1108-1112, 1986.

C. M. Ozveren and A. S. Willsky, Observability of discrete event dynamic systems, IEEE Transactions on Automatic Control, vol.35, issue.7, pp.797-806, 1990.

C. , B. Williams, and P. Nayak, A model-based approach to reactive self-configuring systems, Proceedings of the 13th AAAI Conference on Artificial Intelligence, 1996.

J. Kurien and . Pandurang-nayak, Back to the future for consistency-based trajectory tracking, Proceedings of the 17th AAAI Conference on Artificial Intelligence, pp.370-377, 2000.

V. Bouziat, X. Pucel, S. Roussel, and L. Travé-massuyès, Preferential discrete model-based diagnosis for intermittent and permanent faults, Proceedings of the 29th International Workshop on Principles of Diagnosis DX'18, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01796310

V. Bouziat, X. Pucel, S. Roussel, and L. Travé-massuyès, Preference-based fault estimation in autonomous robots: Incompleteness and meta-diagnosis -extended abstract, Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), pp.1841-1843, 2019.

M. Sampath, R. Sengupta, and S. Lafortune, Kasim Sinnamohideen, and Demosthenis Teneketzis, IEEE Transactions on automatic control, vol.40, issue.9, pp.1555-1575, 1995.

A. Schumann and Y. Pencolé, Scalable diagnosability checking of event-driven systems, Proceedings of the 20th International Joint Conference on Artificial Intelligence IJCAI'00, vol.7, pp.575-580, 2007.

O. Contant, S. Lafortune, and D. Teneketzis, Diagnosis of intermittent faults. Discrete Event Dynamic Systems, vol.14, pp.171-202, 2004.

J. De-kleer, Diagnosing multiple persistent and intermittent faults, Proceedings of the 21th International Joint Conference on Artificial Intelligence IJ-CAI'19, 2009.

E. F. Moore, Gedanken-experiments on sequential machines, Automata Studies, pp.129-153, 1956.

G. Christos, S. Cassandras, and . Lafortune, Introduction to discrete event systems, 2009.

V. Verma, T. Estlin, A. Jónsson, C. Pasareanu, R. Simmons et al., Plan execution interchange language (plexil) for executable plans and command sequences, Proceedings of the 8th International Symposium on Artificial Intelligence, Robotics and Automation in Space iSAIRAS'05, 2005.

C. Pralet, G. Verfaillie, M. Lemaître, and G. Infantes, Constraint-based controller synthesis in non-deterministic and partially observable domains, Proceedings of the 2010 Conference on ECAI 2010: 19th European Conference on Artificial Intelligence, pp.681-686, 2010.

D. Laurent and J. Raskin, Games with imperfect information: Theory and algorithms, Lectures in Game Theory for Computer Scientists, pp.185-212, 2011.

D. Berwanger and A. Mathew, Infinite games with finite knowledge gaps, Inf. Comput, vol.254, issue.P2, pp.217-237, 2017.