Diagnosis of hybrid systems through Observers and Timed Automata

This paper deals the diagnosis of hybrid systems. The objective is the integration of these two modeling tools: Observers and Timed Automata for the design of a global diagnostic model. The latter allows to detect and locate faults, minimize repair time and provide a reliable diagnosis and easily readable despite the complexity of the equipment. As regards methodology, the work consists in automate model generation procedures and failure indicators in formal form and interchangeable to integrate them into the diagnostic system. On the implementation plan, the results were applied to a hydraulic system with two tanks.

[1]  Zineb Simeu-Abazi,et al.  Fault diagnosis for discrete event systems: Modelling and verification , 2010, Reliab. Eng. Syst. Saf..

[2]  Hassan Hammouri,et al.  Observer-based approach to fault detection and isolation for nonlinear systems , 1999, IEEE Trans. Autom. Control..

[3]  Frédéric Kratz,et al.  Fault detection in nonlinear systems , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[4]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[5]  D. Maquin,et al.  Conception d'observateurs robustes pour des systèmes non linéaires incertains : une stratégie multimodèle , 2008 .

[6]  Jie Chen,et al.  Design of unknown input observers and robust fault detection filters , 1996 .

[7]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[8]  Steven X. Ding,et al.  Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools , 2008 .

[9]  J. Gauthier,et al.  A simple observer for nonlinear systems applications to bioreactors , 1992 .

[10]  Zineb Simeu-Abazi,et al.  Modular Modeling for the Diagnostic of Complex Discrete-Event Systems , 2013, IEEE Transactions on Automation Science and Engineering.

[11]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[12]  Paul M. Frank,et al.  Analytical and Qualitative Model-based Fault Diagnosis - A Survey and Some New Results , 1996, Eur. J. Control.

[13]  J. Grizzle,et al.  Observer design for nonlinear systems with discrete-time measurements , 1995, IEEE Trans. Autom. Control..

[14]  Jean-Pierre Derain,et al.  A methodology of alarm filtering using dynamic fault tree , 2011, Reliab. Eng. Syst. Saf..

[15]  Ron J. Patton,et al.  Robust Model-Based Fault Diagnosis: The State of the ART , 1994 .

[16]  A. Sava.  Sur la synthèse de la commande des systèmes à évènements discrets temporisés , 2001 .

[18]  J. Magni,et al.  On residual generation by observer and parity space approaches , 1994, IEEE Trans. Autom. Control..