Diagnosis of quantized systems based on a timed discrete-event model

The paper deals with the diagnosis of continuous-variable systems whose state can be measured only by means of a quantizer. Hence, the online information used in the diagnosis is given by the sequences of input and output events. The diagnostic algorithm uses a representation of the quantized system by means of a semi-Markov process, which provides a timed description of the event sequences generated by the quantized system. The paper describes how the probability density function of the semi-Markov process can be determined for a given quantized system. The diagnostic algorithm can be applied online, because it determines the fault probabilities recursively for the sequence of input and output events. The result is illustrated by a numerical example which concerns a part of a batch process.

[1]  J. Lunze.  A timed discrete-event abstraction of continuous-variable systems , 1999 .

[2]  Albert Benveniste,et al.  Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets , 1998, Discret. Event Dyn. Syst..

[3]  Siu O'Young,et al.  A Totally Ordered Set of Discrete Abstractions for a given Hybrid Continuous System , 1996, Hybrid Systems.

[4]  Jan Lunze,et al.  Qualitative modelling of linear dynamical systems with quantized state measurements , 1994, Autom..

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

[6]  V. S. Srinivasan,et al.  Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..

[7]  Paul M. Frank,et al.  Fault Diagnosis in Dynamic Systems , 1993, Robotics, Mechatronics and Manufacturing Systems.

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

[9]  Frank Schiller,et al.  Diagnose dynamischer Systeme auf der Grundlage einer qualitativen Prozeßbeschreibung , 1997 .

[10]  Jan Lunze,et al.  Deterministic discrete-event representations of linear continuous-variable systems , 1999, Autom..

[11]  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).

[12]  Jan Lunze,et al.  Process Diagnosis Based on a Discrete-Event Description , 1999 .

[13]  Jan Lunze,et al.  An example of fault diagnosis by means of probabilistic logic reasoning , 1997 .

[14]  Jan Lunze,et al.  Qualitative Prozeßdiagnose auf wahrscheinlichkeitstheoreti scher Grundlage , 1997 .

[15]  Jan Lunze,et al.  On the Markov Property of Quantised State Measuirement Sequences , 1998, Autom..

[16]  K. Pattipati,et al.  Application of heuristic search and information theory to sequential fault diagnosis , 1988, Proceedings IEEE International Symposium on Intelligent Control 1988.

[17]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..