Polynomial time verification of decentralized diagnosability of discrete event systems
暂无分享,去创建一个
[1] Stavros Tripakis,et al. Fault Diagnosis for Timed Automata , 2002, FTRTFT.
[2] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[3] Feng Lin,et al. Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..
[4] 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..
[5] N. Viswanadham,et al. Fault detection and diagnosis of automated manufacturing systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.
[6] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[7] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[8] Shigemasa Takai,et al. Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems , 2006, IEEE Transactions on Automation Science and Engineering.
[9] Stéphane Lafortune,et al. Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..
[10] Eleftheria Athanasopoulou,et al. Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations , 2010, IEEE Transactions on Automatic Control.
[11] Stéphane Lafortune,et al. Diagnosability of Discrete Event Systems with Modular Structure , 2006, Discret. Event Dyn. Syst..
[12] Shahin Hashtrudi-Zad,et al. Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..
[13] Alan S. Willsky,et al. A survey of design methods for failure detection in dynamic systems , 1976, Autom..
[14] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..
[15] Shengbing Jiang,et al. A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..
[16] Stéphane Lafortune,et al. Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..
[17] Stéphane Lafortune,et al. Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..
[18] Ronald L. Rivest,et al. Introduction to Algorithms , 1990 .
[19] Stéphane Lafortune,et al. Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..
[20] Stephane Lafortune,et al. Robust codiagnosability of discrete event systems , 2009, 2009 American Control Conference.
[21] Demosthenis Teneketzis,et al. Diagnosability of stochastic discrete-event systems , 2005, IEEE Transactions on Automatic Control.
[22] W. Qiu,et al. Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.