On fault detectability and isolability, European Journal of Control), vol.7, issue.6, pp.625-641, 2001. ,
Diagnosability analysis of hybrid systems cast in a discrete-event framework, Discrete Event Dynamic Systems, vol.24, issue.3, pp.309-338, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01400372
Fairness of transitions in diagnosability of discrete event systems, Journal of Discrete Event Dynamical Systems (JDEDS), vol.20, pp.349-376, 2010. ,
Set invariance in control, Automatica, vol.35, issue.11, pp.1747-1767, 1999. ,
Diagnosis and Fault-tolerant control, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01789124
Fault detection and isolation for hybrid systems using structured parity residuals, Asian Control Conference, pp.1204-1212, 2004. ,
An event-based approach to hybrid systems diagnosability, Nineteenth International Workshop on Principles of Diagnosis, pp.47-54, 2008. ,
Symbolic testing of diagnosability, 20th International Workshop on Principles of Diagnosis (DX-09), pp.131-138, 2009. ,
A polynomial algorithm for diagnosability of discrete-event systems, IEEE Transactions on Automatic Control (TAC), vol.46, issue.8, pp.1318-1321, 2001. ,
Diagnosis of active systems, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-01635018
, Handbook of Hybrid Systems Control : Theory, Tools, Applications, 2009.
A comprehensive method for reachability analysis of uncertain nonlinear hybrid systems. Automatic Control, IEEE Transactions on, 2016. ,
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence (AIJ), vol.164, issue.1-2, pp.121-170, 2005. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control (TAC), vol.40, issue.9, pp.1555-1575, 1995. ,
Fault tolerant control allowing sensor healthy-to-faulty and faulty-to-healthy transitions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1657-1669, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00751226
An incremental hybrid system diagnoser automaton enhanced by discrenibility properties, IEEE Transactions on Systems, Man, and Cybernetics (TSMC), vol.45, issue.5, pp.788-804, 2015. ,
Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002. ,
, Proceedings of the 20th IFAC World Congress, 2017.