An Algorithm for Active Diagnosis of Hybrid Systems Casted in the DES Framework, pp.329-334, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00527855
Multiple Lyapunov functions and other analysis tools for switched and hybrid systems, IEEE Trans. Aut. Cont, vol.43, issue.4, pp.475-482, 1998. ,
Model-Based Testing of Reactive Systems, Lecture Notes in Computer Science, vol.3472, 2005. ,
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets, IEEE Trans. Aut. Cont, vol.57, issue.12, pp.3104-3117, 2012. ,
Diagnosis using labeled Petri nets with silent or undistinguishable fault events, IEEE Trans. Syst. Man & Cybernetics, Part A, vol.43, issue.2, pp.345-355, 2013. ,
Improving diagnosability of hybrid systems through active diagnosis, Safeprocess09, pp.217-222, 2009. ,
Hybrid Observer for Switched Linear Systems with Unknown Inputs, IEEE Conf. Ind. Elect. and App, pp.594-599, 2012. ,
Fault diagnosis in dynamic systems using analytical and knowledgebased redundancy-a survey and some new results, Automatica, vol.26, issue.3, pp.459-474, 1990. ,
Fault detection and isolation using parity relations, Cont. Eng. Pract, vol.5, issue.5, pp.653-661, 1997. ,
Heuristics for fault diagnosing when testing from finite state machines, The J. of Software Testing, Verification and Reliability, vol.17, pp.41-57, 2007. ,
A survey of fault detection, isolation, and reconfiguration methods, IEEE Trans. Cont. Syst. Tech, vol.18, issue.3, pp.636-653, 2010. ,
Fault diagnosis of technical process-applications, 2006. ,
On the Observability of Nonlinear and Switched Systems, Lecture Notes in Control and Information Sciences, 2009. ,
, Switching in Systems and Control, Systems and Control: Foundations and Applications, 2003.
Stability and stabilizability of switched linear systems: A survey of recent results, IEEE Trans. Aut. Cont, vol.54, issue.2, pp.308-322, 2009. ,
Fault-Tolerant Operation of a Battery-Energy-Storage System Based on a Multilevel Cascade PWM Converter With Star Configuration, IEEE Trans. Power Elect, vol.25, issue.9, pp.2386-2396, 2010. ,
, A bond graph model-based fault detection and isolation, Maintenance Modelling and Applications, Fault Diagnostics. Det Norske Veritas (DNV), pp.503-512, 2011.
Hybrid System Stability and Robustness Verification using Linear Matrix Inequalities, Int. J. Control, vol.75, issue.16, pp.1335-1355, 2002. ,
Testing experiments on synchronized Petri nets, IEEE Trans. Aut. Sc. and Eng, vol.11, issue.1, pp.125-138, 2014. ,
Active diagnosis of discrete-event systems, IEEE Trans. Auto. Cont, vol.43, issue.7, pp.908-929, 1998. ,
Failure diagnosis using discrete-event models, IEEE Trans. Cont. Syst. Tech, vol.4, issue.2, pp.105-124, 1996. ,
Active Diagnosis of Deterministic I/O Automata, 4th IFAC Workshop on Dependable Cont, Dis. Syst, vol.4, issue.1, pp.79-84, 2013. ,
Fault-Tolerant Design and Control Strategy for Cascaded H-Bridge Multilevel Converter-Based STATCOM, IEEE Trans. Ind. Elect, vol.57, issue.8, pp.2700-2708, 2010. ,
Invertibility of switched nonlinear systems, Automatica, vol.46, issue.12, pp.1962-1973, 2010. ,
Hybrid observer for the multicellular converter, Proceedings IFAC ADHS, vol.12, pp.259-264, 2012. ,
Fault detection based on higherorder sliding mode observer for a class of switched linear systems, IET Cont. Th. Appl, vol.9, issue.15, pp.2249-2256, 2015. ,
Hybrid sliding mode observer for switched linear systems with unknown inputs, J. Franklin Inst, vol.351, issue.7, pp.3987-4008, 2014. ,
Active diagnosis for a class of switched systems, IEEE Conf. on Decis. Cont, pp.5003-5008, 2013. ,
Experimental evaluation of fault diagnosis in a skew-configured UAV sensor system, Cont. Eng. Pract, vol.19, issue.2, pp.158-173, 2011. ,