Robust diagnosis of discrete event systems against intermittent loss of observations

Automatica

Volumn 48, Issue 9, 2012, Pages 2068-2078

  Carvalho, Lilian K ^a   Basilio, João C ^a   Moreira, Marcos V ^a  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Automaton; Discrete event systems; Fault diagnosis; Robust diagnosability

Indexed keywords

AUTOMATON; AUTOMATON MODEL; COMMUNICATION FAILURE; DIAGNOSABILITY; DIAGNOSERS; SENSOR OPERATIONS; SUFFICIENT CONDITIONS;

DISCRETE EVENT SIMULATION; FAILURE ANALYSIS; SENSORS;

FAULT DETECTION;

EID: 84865031060     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2012.06.042     Document Type: Conference Paper

References (23)

1. E. Athanasopoulou, L. Lingxi, and C. Hadjicostis Maximum likelihood failure diagnosis in finite state machines under unreliable observations IEEE Transactions on Automatic Control 55 3 2010 579 593
2. Basilio, J. C.; Lafortune, S. (2009). Robust codiagnosability of discrete event systems. In Proc. of the American control conference (pp. 2202-2209).
3. J.C. Basilio, S.T.S. Lima, S. Lafortune, and M.V. Moreira Computation of minimal event bases that ensure diagnosability Discrete Event Dynamic Systems: Theory and Applications 2012 10.1007/s10626-012-0129-z
4. Carvalho, L. K.; Basilio, J. C.; Moreira, M. V. (2010). Robust diagnosability of discrete event systems subject to intermittent sensor failures. In Proc. of the 10th international workshop on discrete event systems (pp. 94-99).
5. C.G. Cassandras, and S. Lafortune Introduction to discrete event systems 2nd ed. 2008 Springer New York
6. O. Contant, S. Lafortune, and D. Teneketzis Diagnosability of discrete event systems with modular structure Discrete Event Dynamic Systems: Theory and Applications 16 1 2006 9 37
7. R. Debouk, S. Lafortune, and D. Teneketzis Coordinated decentralized protocols for failure diagnosis of discrete event systems Discrete Event Dynamic Systems: Theory and Applications 10 2000 33 86
8. R. Kumar, and S. Takai Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete-event systems IEEE Transactions on Automation Science and Engineering 6 3 2009 479 491
9. 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 Proc. of the 10th international workshop on discrete event systems (pp. 100-107).
10. F. Lin Diagnosability of discrete event systems and its applications Discrete Event Dynamic Systems: Theory and Applications 4 2 1994 197 212
11. Moreira, M. V.; Jesus, T. C.; Basilio, J. C. (2010). Polynomial time verification of decentralized diagnosability of discrete event systems. In Proc. of the American control conference (pp. 3353-3358).
12. M.V. Moreira, T.C. Jesus, and J.C. Basilio Polynomial time verification of decentralized diagnosability of discrete event systems IEEE Transactions on Automatic Control 56 7 2011 1679 1684
13. 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
14. P.J. Ramadge, and W.M. Wonham The control of discrete-event systems Proceedings of the IEEE 77 1989 81 98
15. Rohloff, K. R. (2005). Sensor failure tolerant supervisory control. In 44th IEEE conference on decision and control and European control conference (pp. 3493-3498).
16. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Diagnosability of discrete-event systems IEEE Transactions on Automatic Control 40 1995 1555 1575
17. J. Shengbing, H. Zhongdong, 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
18. Takai, S. (2010). Robust failure diagnosis of partially observed discrete event systems. In Proc. of 10th international workshop on discrete event systems (pp. 215-220).
19. D. Thorsley, and D. Teneketzis Diagnosability of stochastic discrete-event systems IEEE Transactions on Automatic Control 50 2005 476 492
20. S. Tripakis Fault diagnosis for timed automata W. Damm, E.-R. Olderog, Formal techniques in real time and fault tolerant systems Lecture notes in computer sciences Vol. 2469 2002 Springer-Verlag 205 221
21. Y. Wang, T.S. Yoo, and S. Lafortune Diagnosis of discrete event systems using decentralized architectures Discrete Event Dynamic Systems: Theory and Applications 17 2 2007 233 263
22. 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
23. S.H. Zad, R.H. Kwong, and W.M. Wonham Fault diagnosis in discrete-event systems: framework and model reduction IEEE Transactions on Automatic Control 48 7 2003 1199 1212