Verification of robust diagnosability for partially observed discrete event systems

Automatica

Volumn 48, Issue 8, 2012, Pages 1913-1919

  Takai, Shigemasa ^a  

^a OSAKA UNIVERSITY   (Japan)

Author keywords

Discrete event system; Failure diagnosis; Robust diagnosability; Robust diagnoser

Indexed keywords

DIAGNOSABILITY; FAILURE DIAGNOSIS; ROBUST DIAGNOSER; SUFFICIENT CONDITIONS; UNIFORMLY BOUNDED;

CONTROL SYSTEMS; ELECTRICAL ENGINEERING;

DISCRETE EVENT SIMULATION;

EID: 84864438246     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2012.06.024     Document Type: Article

References (15)

1. Basilio, J. C., & Lafortune, S. (2009). Robust codiagnosability of discrete event systems. In Proceedings of the 2009 American control conference. (pp. 2202-2209).
2. S.E. Bourdon, M. Lawford, and W.M. Wonham Robust nonblocking supervisory control of discrete-event systems IEEE Transactions on Automatic Control 50 12 2005 2015 2021
3. Carvalho, L. K., Basilio, J. C., & Moreira, M. V. (2010). Robust diagnosability of discrete event systems subject to intermittent sensor failures. In Proceedings of the 10th international workshop on discrete event systems. (pp. 94-99).
4. S. Jiang, Z. Huang, V. Chandra, and R. Kumar A polynomial algorithm for testing diagnosability of discrete-event systems IEEE Transactions on Automatic Control 46 8 2001 1318 1321
5. Lima, S. T. S., Basilio, J. C., Lafortune, S., & Moreira, M. V. (2010). Robust diagnosis of discrete-event systems subject to permanent sensor failures. In Proceedings of the 10th international workshop on discrete event systems. (pp. 100-107).
6. F. Lin Robust and adaptive supervisory control of discrete event systems IEEE Transactions on Automatic Control 38 12 1993 1848 1852
7. S.-J. Park, and J.-T. Lim Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models IEEE Transactions on Automatic Control 47 4 2002 655 658
8. W. Qiu, and R. Kumar Decentralized failure diagnosis of discrete event systems IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 36 2 2006 384 395
9. P.J. Ramadge, and W.M. Wonham Supervisory control of a class of discrete-event processes SIAM Journal on Control and Optimization 25 1 1987 206 230
10. A. Saboori, and S. Hashtrudi Zad Robust nonblocking supervisory control of discrete-event systems under partial observation Systems & Control Letters 55 10 2006 839 848
11. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Diagnosability of discrete-event systems IEEE Transactions on Automatic Control 40 9 1995 1555 1575
12. S. Takai Robust supervisory control of a class of timed discrete event systems under partial observation Systems & Control Letters 39 4 2000 267 273
13. Takai, S. (2010). Robust failure diagnosis of partially observed discrete event systems. In Proceedings of the 10th international workshop on discrete event systems. (pp. 215-220).
14. R. Wang, A.R. Girard, S. Lafortune, and F. Lin On codiagnosability and coobservability with dynamic observations IEEE Transactions on Automatic Control 56 7 2011 1551 1566
15. T.-S. Yoo, and S. Lafortune Polynomial-time verification of diagnosability of partially observed discrete-event systems IEEE Transactions on Automatic Control 47 9 2002 1491 1495