A Discrete Event Approach to Diagnosis of Continuous Systems

Fault detection and isolation is a key component of any safety-critical system. Although diagnosis methods based on discrete event systems have been recognized as a promising framework, they cannot be easily applied to systems with complex continuous dynamics. This paper presents a novel approach for discrete event system diagnosis of continuous systems based on a qualitative abstraction of the measurement deviations from the nominal behavior. We systematically derive a diagnosis model, provide diagnosability analysis, and design a diagnoser. Our results show that the proposed approach is easily applicable and can be used for online diagnosis of abrupt faults in continuous systems.

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

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

[3]  Jan Maciej Kóscielny.  Fault isolation in industrial processes by the dynamic table of states method , 1995, Autom..

[4]  C. Dousson.  Alarm driven supervision for telecommunication network: II - On-line chronicle recognition , 1996 .

[5]  François Lévy,et al.  Alarm driven supervision for telecommunication network: I - Off-line scenarios generation , 1996 .

[6]  Gregory Provan,et al.  Modeling and diagnosis of timed discrete event systems-a factory automation example , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[7]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[8]  W.M. Wonham,et al.  Fault diagnosis in timed discrete-event systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[9]  Pieter J. Mosterman,et al.  Diagnosis of continuous valued systems in transient operating regions , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[10]  Jan Lunze,et al.  Diagnosis of quantized systems based on a timed discrete-event model , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[11]  Marie-Odile Cordier,et al.  Alarm Driven Monitoring Based on Chronicles , 2000 .

[12]  Jan Maciej Kościelny,et al.  Fault Isolation Method Based on Time Sequences of Symptom Appearance , 2000 .

[13]  Pieter J. Mosterman,et al.  A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems , 2000 .

[14]  P.J. Antsaklis,et al.  Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.

[15]  Stavros Tripakis,et al.  Fault Diagnosis for Timed Automata , 2002, FTRTFT.

[16]  Marie-Odile Cordier,et al.  Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks , 2002, Discret. Event Dyn. Syst..

[17]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete event systems, a net unfolding approach , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[18]  Feng Zhao,et al.  Distributed Diagnosis of Networked, Embedded Systems , 2002 .

[19]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[20]  Gabor Karsai,et al.  A robust method for hybrid diagnosis of complex systems , 2003 .

[21]  Ratnesh Kumar,et al.  Automated control synthesis for an assembly line using discrete event system control theory , 2003, IEEE Trans. Syst. Man Cybern. Part C.

[22]  Peter Struss.  Deviation Models Revisited , 2004 .

[23]  Shengbing Jiang,et al.  Failure diagnosis of discrete-event systems with linear-time temporal logic specifications , 2004, IEEE Transactions on Automatic Control.

[24]  F. Schmid,et al.  A New Fault Diagnosis Algorithm that Improves the Integration of Fault Detection and Isolation , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[25]  Gautam Biswas,et al.  Relative Measurement Orderings in Diagnosis of Distributed Physical Systems , 2005 .

[26]  Gautam Biswas,et al.  Distributed diagnosis of coupled mobile robots , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[27]  Mehdi Bayoudh,et al.  Hybrid Systems Diagnosability by Abstracting Faulty Continuous Dynamics , 2006 .

[28]  R. Rosenberg,et al.  System Dynamics: Modeling and Simulation of Mechatronic Systems , 2006 .

[29]  Marie-Odile Cordier,et al.  Comparing diagnosability in continuous and discrete-events systems , 2006 .

[30]  Gautam Biswas,et al.  Distributed Diagnosis in Formations of Mobile Robots , 2007, IEEE Transactions on Robotics.

[31]  Gautam Biswas,et al.  Model-Based Diagnosis of Hybrid Systems , 2003, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.