Active diagnosis for a class of switched systems

This paper deals with active diagnosis for a class of switched systems which may not satisfy the classical diagnosability conditions. A Mealy Machine modeling is used to define an appropriate diagnoser which reduces the uncertain state subset. An algorithm combining the proposed diagnoser and a testing procedure is introduced to solve the fault identification problem. A study on the multicellular converter is carried out to detect and isolate faulty cells. Simulation results show the effectiveness of the proposed scheme.

[1]  J. Gerfler.  FAULT DETECTION AND ISOLATION USING PARITY RELATIONS , 2003 .

[2]  Wei Kang,et al.  On the Observability of Nonlinear and Switched Systems , 2009 .

[3]  Louise Travé-Massuyès,et al.  An Algorithm for Active Diagnosis of Hybrid Systems Casted in the DES Framework , 2009 .

[4]  T. Kanade.  Model-Based Testing of Reactive Systems , 2005 .

[5]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[6]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[7]  M. Djemai,et al.  Hybrid observer for switched linear systems with unknown inputs , 2012, 2012 7th IEEE Conference on Industrial Electronics and Applications (ICIEA).

[8]  Alessandro Giua,et al.  A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets , 2012, IEEE Transactions on Automatic Control.

[9]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy: A survey and some new results , 1990, Autom..

[10]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] , 2005, Model-Based Testing of Reactive Systems.

[11]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[12]  Noureddine Manamanni,et al.  Hybrid observer for the multicellular converter , 2012, ADHS.

[13]  Alessandro Giua,et al.  Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[14]  Alex Q. Huang,et al.  Fault-Tolerant Design and Control Strategy for Cascaded H-Bridge Multilevel Converter-Based STATCOM , 2010, IEEE Transactions on Industrial Electronics.

[15]  Daniel Liberzon,et al.  Invertibility of switched nonlinear systems , 2010, Autom..