Robust diagnosis of discrete-event systems against permanent loss of observations

Automatica

Volumn 49, Issue 1, 2013, Pages 223-231

  Carvalho, Lilian K ^a   Moreira, Marcos V ^a   Basilio, João C ^a   Lafortune, Stéphane ^b  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Discrete event systems; Fault diagnosis; Robust diagnosability; Sensor failures

Indexed keywords

DIAGNOSABILITY; DIAGNOSERS; DIAGNOSTIC ENGINES; FAULT EVENT; FINITE-STATE AUTOMATA; ON-LINE DIAGNOSIS; POLYNOMIAL-TIME; SENSOR FAILURE; UNOBSERVABLE; VERIFICATION ALGORITHMS;

AUTOMATA THEORY; DISCRETE EVENT SIMULATION; FAILURE ANALYSIS; POLYNOMIAL APPROXIMATION; SENSORS;

FAULT DETECTION;

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

References (33)

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. St. Louis, Missouri (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 22 3 2012 249 292
4. Boel, R.K.; van Schuppen, J.H. (2002). Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In Proc. of the 2002 international workshop on discrete event systems. Zaragoza, Spain (pp. 175-181).
5. 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. Berlin, Germany (pp. 94-99).
6. L.K. Carvalho, J.C. Basilio, and M.V. Moreira Robust diagnosis of discrete event systems against intermittent loss of observations Automatica 48 9 2012 2068 2078
7. Carvalho, L.K.; Moreira, M.V.; Basilio, J.C. (2011). Generalized robust diagnosability of discrete event systems. In Proc. of 18th IFAC world congress. Milan, Italy (pp. 8737-8742).
8. C.G. Cassandras, and S. Lafortune Introduction to discrete event systems 2nd ed. 2008 Springer New York
9. 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
10. 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 1-2 2000 33 86
11. Genc, S. (2008). Formal methods for intrusion detection of windows NT attacks. In Proc. of 3rd annual symposium on information assurance & 11th annual NYS cyber security conference, vol. 1 (pp. 71-79).
12. Jéron, T.; Marchand, H.; Pinchinat, S.; Cordier, M.-O. (2006). Supervision patterns in discrete event systems diagnosis. In Proc. of 8th international workshop on discrete event systems. Ann Arbor, MI (pp. 262-268).
13. 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
14. 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
15. Lima, S.T.S.; Basilio, J.C.; Lafortune, S.; Moreira, M.V. (2010). Robust diagnosability of discrete event systems subject to permanent sensor failures. In Proc. of the 10th international workshop on discrete event systems. Berlin, Germany (pp. 100-107).
16. F. Lin Diagnosability of discrete event systems and its applications Discrete Event Dynamic Systems: Theory and Applications 4 1994 197 212
17. J. Lunze, and J. Schröder Sensor and actuator fault diagnosis of systems with discrete inputs and outputs IEEE Transactions on Systems, Man and Cybernetics. Part B: Cybernetics 34 2 2004 1096 1107
18. Moreira, M.V.; Jesus, T.C.; Basilio, J.C. (2010). Polynomial time verification of decentralized diagnosability of discrete event systems. In Proc. of the 2010 American control conference (pp. 3353-3358).
19. 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
20. Y. Pencolé, and M.O. Cordier A formal framework for the decentralized diagnosis of large scale discrete event systems and its applications to telecommunication networks Artificial Intelligence 164 1-2 2005 121 170
21. W. Qiu, and R. Kumar Decentralized failure diagnosis of discrete event systems IEEE Transactions on Systems, Man and Cybernetics, Part A 36 2 2006 384 395
22. Rohloff, K.R. (2005). Sensor failure tolerant supervisory control. In Proc. of joint 2005 European control conference and 44th IEEE conference on decision and control. Seville, Spain (pp. 3493-3498).
23. 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
24. A.M. Sanchez, and F.J. Montoya Safe supervisory control under observability failure Discrete Event Dynamic Systems: Theory and Applications 16 4 2006 493 525
25. Takai, S. (2010). Robust failure diagnosis of partially observed discrete event systems. In Preprints of 10th international workshop on discrete event systems. Berlin, Germany (pp. 215-220).
26. S. Takai Verification of robust diagnosability for partially observed discrete event systems Automatica 48 8 2012 1913 1919
27. D. Thorsley, and D. Teneketzis Diagnosability of stochastic discrete-event systems IEEE Transactions on Automatic Control 50 4 2005 476 492
28. Thorsley, D.; Yoo, T.-S.; Garcia, H. (2008). Diagnosability of stochastic discrete-event systems under unreliable observations. In Proc. of the 2008 American control conference. Seattle, WA (pp. 1158-1365).
29. 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
30. 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
31. Ye, L.; Dague, P.; Yan, Y. (2009). An incremental approach for pattern diagnosability in distributed discrete event systems. In Proc. of 21st international conference on tools with artificial intelligence. Newark, NJ (pp. 123-130).
32. 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
33. 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