Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques

This paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event setting. From the continuous model the abstraction only remembers two pieces of information: indiscernability between modes (when they are guaranteed to generate different observations) and ephemerality (when the system cannot stay forever in a given set of modes). Then, we use standard discrete event system diagnosability algorithms. The second contribution is an iterative approach to diagnosability that starts from the most abstract discrete event model of the hybrid system. If it is diagnosable, that means that the hybrid system is diagnosable. If it is not, the counterexample generated by the diagnosability procedure is analysed to refine the DES. If no refinement is found, then it can not be proved that the hybrid system is diagnosable. Otherwise, the refinement is included in the abstract DES model and the diagnosability procedure continues.

[1]  Marie-Odile Cordier,et al.  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks , 2005, Artif. Intell..

[2]  José A. De Doná,et al.  Fault Tolerant Control Allowing Sensor Healthy-to-Faulty and Faulty-to-Healthy Transitions , 2012, IEEE Transactions on Automatic Control.

[3]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[4]  An Event-based Approach to Hybrid Systems Diagnosability , 2008 .

[5]  Fault Detection , Vibration–based Condition Monitoring.

[7]  Gianfranco Lamperti,et al.  Diagnosis of Active Systems , 1998, ECAI.

[8]  Stéphane Lafortune,et al.  Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..

[9]  Amit Patra,et al.  Fairness of Transitions in Diagnosability of Discrete Event Systems , 2010, Discret. Event Dyn. Syst..

[10]  Michèle Basseville,et al.  On fault detectability and isolability , 1999, 1999 European Control Conference (ECC).

[11]  Nacim Ramdani,et al.  A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems , 2016, IEEE Transactions on Automatic Control.

[12]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[13]  Louise Travé-Massuyès,et al.  Diagnosability analysis of hybrid systems cast in a discrete-event framework , 2014, Discret. Event Dyn. Syst..

[14]  M. V. Iordache,et al.  Diagnosis and Fault-Tolerant Control , 2007, IEEE Transactions on Automatic Control.

[15]  V. Cocquempot,et al.  Fault detection and isolation for hybrid systems using structured parity residuals , 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904).

[16]  Alban Grastien,et al.  Symbolic Testing of Diagnosability , 2009 .

[17]  Vicenç Puig,et al.  An Incremental Hybrid System Diagnoser Automaton Enhanced by Discernibility Properties , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.