Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications
暂无分享,去创建一个
[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..