Robust diagnosis of discrete-event systems subject to permanent sensor failures

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 10, Issue PART 1, 2010, Pages 90-97

  Lima, Saulo T S ^a   Basilio, João C ^a   Lafortune, Stéphane ^b   Moreira, Marcos V ^a  

^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

DISCRETE EVENT SIMULATION; FAILURE ANALYSIS; ONLINE SYSTEMS;

DETERMINISTIC AUTOMATA; DIAGNOSERS; FAULT DIAGNOSABILITY; FAULT EVENT; ON-LINE FAULT DIAGNOSIS; ROBUST DIAGNOSABILITY; SENSOR FAILURE; SET OF EVENTS;

FAULT DETECTION;

EID: 80052016614     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20100830-3-de-4013.00017     Document Type: Conference Paper

References (17)

1. Athanasopoulou, E., Lingxi, L., and Hadjicostis, C. (2010). Maximum likelihood failure diagnosis in finite statemachines under unreliable observations. Automatic Control, IEEE Transactions on, 55(3), 579-593.
2. Basilio, J.C. and Lafortune, S. (2009). Robust codiagnosability of discrete event systems. In Proceedings of the American Control Conference, 2202-2209. St. Louis, Missouri.
3. Boel, R.K. and 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 - WODES'02. Zaragoza, Spain.
4. Cassandras, C.G. and Lafortune, S. (2008). Introduction to Discrete Event Systems. Springer, New York, 2nd edition.
5. Contant, O., Lafortune, S., and Teneketzis, D. (2006). iagnosability of discrete event systems with modular structure. Discrete Event Dynamic Systems-Theory And Applications, 16(1), 9-37. (Pubitemid 43261383)
6. Debouk, R., Lafortune, S., and Teneketzis, D. (2000). Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 10, 33-86. (Pubitemid 30573763)
7. Kumar, R. and Takai, S. (2009). Inference-based ambiguity management in decentralized decision-making: Decentralized diagnosis of discrete-event systems. IEEE Transactions on Automation Science and Engineering, 6(3), 479-491.
8. Lima, S.T.S. (2010). Robust diagnosis of discrete event systems subject to permanent sensor failures. Master's thesis, UFRJ/COPPE - Electrical Engineering Post-graduation Program. In Portuguese.
9. Qiu, W. and Kumar, R. (2006). Decentralized failure diagnosis of discrete event systems. IEEE Transactions on Systems, Man and Cybernetics, Part A, 36(2), 384-395. (Pubitemid 43280558)
10. Ramadge, P.J. and Wonham, W.M. (1989). The control of discrete-event systems. Proceedings of the IEEE, 77, 81-98.
11. Rohloff, K.R. (2005). Sensor failure tolerant supervisory control. In Proc. and 2005 European Control Conference Decision and Control CDC-ECC '05. 44th IEEE Conference on, 3493-3498. Seville, Spain. (Pubitemid 46297512)
12. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1995). Diagnosability of discrete- event systems. IEEE Trans. on Automatic Control, 40, 1555-1575.
13. Sanchez, A.M. and Montoya, F.J. (2006). Safe supervisory control under observability failure. Discrete Event Dynamic Systems-Theory And Applications, 16(4), 493-525. (Pubitemid 44601459)
14. Thorsley, D. and Teneketzis, D. (2005). Diagnosability of stochastic discrete-event systems. IEEE Trans. on Automatic Control, 50, 476-492. (Pubitemid 40555770)
15. Tripakis, S. (2002). Fault diagnosis for timed automata. In Springer-Verlag (ed.), Lecture notes in computer sciences, In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT), volume 2469.
16. Wang, Y., Yoo, T.S., and Lafortune, S. (2007). Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dynamic Systems-Theory And Applications, 17(2), 233-263. (Pubitemid 46572780)
17. Zad, S.H., Kwong, R.H., and Wonham, W.M. (2003). Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Transactions on Automatic Control, 48(7), 1199-1212.