Supervisory control of discrete-event systems: A brief history, Annual Reviews in Control, 2018. ,
Overview of fault diagnosis methods for discrete event systems, Annual Reviews in Control, vol.37, issue.2, pp.308-320, 2013. ,
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
Diagnosis of discrete-event systems using satisfiability algorithms, Proceedings of the 22nd AAAI Conference on Artificial Intelligence, vol.22, p.305, 2007. ,
Observability of discrete event systems, Proceedings of the 25th IEEE Conference on Decision and Control CDC'86, pp.1108-1112, 1986. ,
Observability of discrete event dynamic systems, IEEE Transactions on Automatic Control, vol.35, issue.7, pp.797-806, 1990. ,
A model-based approach to reactive self-configuring systems, Proceedings of the 13th AAAI Conference on Artificial Intelligence, 1996. ,
Back to the future for consistency-based trajectory tracking, Proceedings of the 17th AAAI Conference on Artificial Intelligence, pp.370-377, 2000. ,
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
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. ,
Kasim Sinnamohideen, and Demosthenis Teneketzis, IEEE Transactions on automatic control, vol.40, issue.9, pp.1555-1575, 1995. ,
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. ,
Diagnosis of intermittent faults. Discrete Event Dynamic Systems, vol.14, pp.171-202, 2004. ,
Diagnosing multiple persistent and intermittent faults, Proceedings of the 21th International Joint Conference on Artificial Intelligence IJ-CAI'19, 2009. ,
Gedanken-experiments on sequential machines, Automata Studies, pp.129-153, 1956. ,
Introduction to discrete event systems, 2009. ,
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. ,
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. ,
Games with imperfect information: Theory and algorithms, Lectures in Game Theory for Computer Scientists, pp.185-212, 2011. ,
Infinite games with finite knowledge gaps, Inf. Comput, vol.254, issue.P2, pp.217-237, 2017. ,