Robust prognosability for a set of partially observed discrete event systems

Abstract In this paper, we consider a robust failure prognosis problem for partially observed discrete event systems. Given a set of possible models, each of which has its own nonfailure specification, we consider a single prognoser such that, for all possible models, it predicts any failure prior to its occurrence. We call such a prognoser a robust prognoser. We introduce a notion of robust prognosability and show that it serves as a necessary and sufficient condition for the existence of a robust prognoser. We then present a method for verifying the robust prognosability condition. Moreover, we discuss online synthesis of a robust prognoser.

[1]  Shigemasa Takai.  Robust failure prognosis of partially observed discrete event systems , 2012, 2012 American Control Conference (ACC).

[2]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[3]  Shigemasa Takai.  Verification of robust diagnosability for partially observed discrete event systems , 2012, Autom..

[4]  Raymond H. Kwong,et al.  Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[5]  Shigemasa Takai,et al.  Inference-Based Decentralized Prognosis in Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

[6]  Vijay K. Garg,et al.  Model Uncertainty in Discrete Event Systems , 1995 .

[7]  João Carlos Basilio,et al.  Generalized Robust Diagnosability of Discrete Event Systems , 2011 .

[8]  Stéphane Lafortune,et al.  Predictability of Sequence Patterns in Discrete Event Systems , 2008 .

[9]  Shigemasa Takai.  Robust supervisory control of a class of timed discrete event systems under partial observation , 2000 .

[10]  Shigemasa Takai,et al.  Inference-Based Decentralized Prognosis in Discrete Event Systems , 2011, IEEE Trans. Autom. Control..

[11]  Shigemasa Takai,et al.  Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications , 2012, IEEE Transactions on Automatic Control.

[12]  Andrew Zammit-Mangion.  Proceedings of the 18th IFAC World Congress , 2011 .

[13]  Fag Lin,et al.  Robust and Adaptive Supervisory Control of Discrete Event Systems , 1992, 1992 American Control Conference.

[14]  Stéphane Lafortune,et al.  Predictability of event occurrences in partially-observed discrete-event systems , 2009, Autom..

[15]  W. M. Wonham,et al.  Robust nonblocking supervisory control of discrete-event systems , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[16]  Jun Chen,et al.  Failure prognosability of stochastic discrete event systems , 2014, 2014 American Control Conference.

[17]  Suk Lee,et al.  Failure Diagnosis of Discrete Event Systems , 2001 .

[18]  Shahin Hashtrudi-Zad,et al.  Robust nonblocking supervisory control of discrete-event systems under partial observation , 2005, 2005 ICSC Congress on Computational Intelligence Methods and Applications.

[19]  Ahmed Khoumsi,et al.  Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete-Event Systems , 2012, IEEE Transactions on Automation Science and Engineering.