Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications

In our earlier work, we introduced a state-based approach for the diagnosis of repeatedly occurring failures in discrete event systems (DESs). Since temporal logic provides a simpler way of specifying system properties; in this paper, a temporal-logic-based approach for diagnosing the occurrence of a repeated number of failures is developed. Linear-time temporal-logic (LTL) formulae are used to represent the specifications of DESs. Notions of prediagnosability for failures and diagnosability for repeated failures are introduced in the setting of temporal logic. A polynomial algorithm for the test of prediagnosability for failures is provided. The diagnosis problem for repeated failures in the temporal-logic setting is reduced to one in a state-based setting, and so the prior results of a state-based repeated failure diagnosis can be applied. Finally, a simple example is given for illustration. Note to Practitioners-Certain failures in a system are repeatable, such as routing errors in a manufacturing system. A theory for the diagnosis of such failures was presented in an earlier work of Jiang et al. The present paper uses temporal logic to specify such failures. It turns out that repeatable failures can be specified as violations of invariant properties (i.e., properties that must always hold). Given an invariant property that the system must always satisfy, an algorithm is presented to refine the system model and label those states of the refined system where the property is violated. The problem of repeated diagnosis then requires determining, within a bounded delay, each time a "failure-state" is visited. For this analysis, the existing theory developed by Jiang et al. is used.

[1]  Stéphane Lafortune,et al.  Diagnosis of Intermittent Faults , 2004, Discret. Event Dyn. Syst..

[2]  Lawrence E. Holloway,et al.  Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations , 1994 .

[3]  Han-Pang Huang,et al.  Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets , 2000, IEEE Trans. Robotics Autom..

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

[5]  S. R. Das,et al.  Characterizing a confidence space for discrete event timings for fault monitoring using discrete sensing and actuation signals , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[6]  S. Tripakis,et al.  Decentralized diagnosability of regular languages is undecidable , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[8]  Lawrence E. Holloway,et al.  Template languages for fault monitoring of timed discrete event processes , 2000, IEEE Trans. Autom. Control..

[9]  J.H. van Schuppen,et al.  Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[10]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[11]  W. M. Wonham,et al.  Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

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

[13]  Shengbing Jiang,et al.  A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..

[14]  Shengbing Jiang,et al.  Diagnosis of repeated/intermittent failures in discrete event systems , 2003, IEEE Trans. Robotics Autom..

[15]  Magnus Larsson,et al.  Behavioral and Structural Model Based Approaches to Discrete Diagnosis , 1999 .

[16]  S. Laurie Ricker,et al.  Decentralized failure diagnosis with asynchronous communication between supervisors , 2001, 2001 European Control Conference (ECC).

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

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

[19]  H. Garcia,et al.  Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays , 2004, Proceedings of the 2004 American Control Conference.

[20]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[21]  Shahin Hashtrudi Zad Fault diagnosis in discrete-event and hybrid systems , 1999 .

[22]  Shengbing Jiang,et al.  Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[23]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

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

[25]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[26]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[27]  Luigi Portinale Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning , 1997, IEEE Trans. Syst. Man Cybern. Part B.

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

[29]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[30]  Stéphane Lafortune,et al.  Failure diagnosis of discrete event systems: the case of intermittent faults , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..