Robust codiagnosability of discrete event systems

Proceedings of the American Control Conference

Volumn , Issue , 2009, Pages 2202-2209

  Basilio, João Carlos ^a   Lafortune, Stéphane ^b  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DECENTRALIZED DIAGNOSIS; DIAGNOSABILITY; DIAGNOSERS; DISCRETE EVENT SYSTEMS; FAULT EVENT; PARTIAL OBSERVATION; UNOBSERVABLE;

TRANSLATION (LANGUAGES);

EID: 70449631416     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2009.5160208     Document Type: Conference Paper

References (27)

1. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discrete Event Dynamic Systems, vol. 10, pp. 33-86, 2000.
2. Y. Wang, T. S. Yoo, and S. Lafortune, "Diagnosis of discrete event systems using decentralized architectures," Discrete Event Dynamic Systems, vol. 17, pp. 233-263, 2007.
3. R. Kumar and S. Takai, "Inference-based ambiguity management in decentralized decision-making: Decentralized diagnosis of discrete event systems," in Proceedings of the 2006 American Control Conference, Minneapolis, USA, 2006, pp. 6069-6074.
4. W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems," IEEE Trans. on Systems, Man and Cybernetics - Part A: Systems and Humans, vol. 36, pp. 384-395, 2006.
5. R. Sengupta, "Diagnosis and communication in distributed systems," in Proceedings of 1998 International Workshop on Discrete Event Systems - WODES'98, Cagliari, Italy, 1998.
6. D. Thorsley, T.-S. Yoo, and H. Garcia, "Diagnosability of stochastic discrete-event systems under unreliable observations," in Proceedings of the 2008 American Control Conference, Seatle, WA, 2008, pp. 1158-1365.
7. S. Genc, "Formal methods for intrusion detection of windows NT attacks," in 3rd Annual Symposium on Information Assurance (ASIA'08) & 11th Annual NYS Cyber Security Conference, Albany, NY, 2008.
8. J. Chen and R. J. Patton, Robust model-based fault diagnosis for dynamic systems. Norwell, MA: Kluwer Academic Publishers, 1999.
9. R. S. Mangoubi, Robust Estimation and Failure Detection: A Concise Treatment. Secaucus, NJ: Springer-Verlag, 1998.
10. E. Athanasopoulou, L. Lingxi, and C. N. Hadjicostis, "Probabilistic failure diagnosis in finite state machines under unreliable observations," in Proceedings of the 8th International Workshop on Discrete Event Systems - WODES'06, Ann Arbor, MI, pp. 301-306.
11. L. Travé-Massuyè, T. Escobet, and X. Olive, "Diagnosability analysis based on component-supported analytical redundancy relations," IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol. 36, pp. 1146-1160, 2006.
12. Q. Wen, R. Kumar, J. Huang, and H. Liu, "Fault-tolerant supervisory control of of discrete event systems: formalisation and existence results," in Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, Paris, France, 2007.
13. A. Paoli, M. Sartini, and S. Lafortune, "A fault tolerant architecture for supervisory control of discrete event systems," in Proceedings of the 17th IFAC World Congress, Seoul, Korea, 2008, pp. 6542-6547.
14. S. Takai and T. Ushio, "Reliable decentralized supervisory control of discrete event systems," IEEE Transactions on Systems, Mand, and Cybernetics - Part B: Cybernetics, vol. 30, pp. 661-667, 2000.
15. R. K. Boel and J. H. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," in Proc. of the 2002 International Workshop on Discrete Event Systesm - WODES'02, Zaragoza, Spain, 2002.
16. 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, vol. 164, pp. 121-170, 2005.
17. E. Fabre, A. Benveniste, S. Haar, and C. Jard, "Distributed monitoring of concurrent and asynchronous systems," Discrete Event Dynamic Systems, vol. 15, pp. 33-84, 2005.
18. E. Fabre, A. Benveniste, C. Jard, L. Ricker, and M. Smith, "Distributed stare reconstruction for discrete event systems," in IEEE Conference on Decision and Control, 2000, pp. 2252-2257.
19. S. Genc and S. Lafortune, "Distributed diagnosis of place-bordered petri nets," IEEE Transactions on Automation Science and Engineering, vol. 4, pp. 206-219, 2007.
20. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. on Automatic Control, vol. 40, pp. 1555-1575, 1995.
21. -, "Failure diagnosis using discrete event models," IEEE Trans. on Control Systems Technology, vol. 4, pp. 105-124, 1996.
22. S. Lafortune, D. Teneketzis, M. Sampath, R. Sengupta, and K. Sinnamohideen, "Failure diagnosis of dynamic systems: an approach based on discrete event systems," in Proceedings of the American Control Conference, 2001, pp. 2058-2071.
23. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed. New York: Springer, 2007.
24. P. J. Ramadge and W. M. Wonham, "The control of discrete-event systems," Proceedings of the IEEE, vol. 77, pp. 81-98, 1989.
25. T. S. Yoo and S. Lafortune, "Polynomial-time verification of diagnosability of partially observed discrete-event systems," IEEE Trans. on Automatic Control, vol. 47, pp. 1491-1495, 2002.
26. J. C. Basilio and S. Lafortune, "Robust diagnosis of discrete event systems," UMICH, Department of Electrical Engineering and Computer Science, Tech. Rep., 2008.
27. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "Polynomial algorithm for testing diagnosability of discrete-event systems," IEEE Trans. on Automatic Control, vol. 46, pp. 1318-1321, 2001.