Polynomial time verification of decentralized diagnosability of discrete event systems

Proceedings of the 2010 American Control Conference, ACC 2010

Volumn , Issue , 2010, Pages 3353-3358

  Moreira, Marcos V ^a   Jesus, Thiago C ^a   Basilio, João C ^a  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

POLYNOMIAL APPROXIMATION;

DECENTRALIZED ARCHITECTURE; DIAGNOSABILITY; DIAGNOSABILITY OF DISCRETE EVENT SYSTEMS; DIAGNOSE FAILURES; FAILURE DIAGNOSIS; LARGE COMPLEX SYSTEMS; POLYNOMIAL-TIME; POLYNOMIAL-TIME ALGORITHMS;

DISCRETE EVENT SIMULATION;

EID: 77957818096     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2010.5530928     Document Type: Conference Paper

References (15)

1. A. Willsky, A survey of design methods for failure detection in dynamic systems, Automatica, vol. 12, 1976, pp. 601-611.
2. N. Viswanadham and T. L. Johnson, "Fault detection and diagnosis of automated manufacturing systems", in Proc. 27th Conf. Decis. Contr., Austin, TX, 1988, pp. 2301-2306.
3. P. Frank, Fault diagnosis in dynamic systems using analytical knowledge based redundancy - A survey and new results, Automatica, vol. 26, 1990, pp. 459-474.
4. F. Lin, Diagnosability of discrete event systems and its applications, Journal of Discrete Event Dynamic Systems, vol. 4, no. 2, 1994, pp. 197-212.
5. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol. 40, no. 9, 1995, pp. 1555-1575.
6. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol 4, no. 2, 1996, pp. 105-124.
7. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol. 46, no. 8, 2001, pp. 1318- 1321.
8. T.-S Yoo and S. Lafortune, Polynomial-time veri cation of diagnosability of partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol. 47, no. 9, 2002, pp. 1491-1495.
9. W. Qiu and R. Kumar, Decentralized failure diagnosis of discrete event systems, IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, vol. 36, no. 2, 2006, pp 384-395.
10. Y. Wang, T.-S, Yoo, and S. Lafortune, Diagnosis of discrete event systems using decentralized architectures, Discrete Event Dyn Syst, vol 17, 2007, pp. 233-263.
11. J. C. Basilio and S. Lafortune, "Robust codiagnosability of discrete event systems", in Proc 2009 American Control Conference, St. Louis, MO, 2009, pp. 2202-2209.
12. R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete event systems, Discrete Event Dynamic Systems: Theory and Applications, vol. 10, no. 1, 2000, pp. 33-86. (Pubitemid 30573763)
13. C.G. Cassandras and S. Lafortune, Introduction to Discrete Event System, Springer-Verlag New York, Inc., Secaucus, NJ; 2008.
14. J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to automata theory, languages, and computation, Addison Wesley, Boston; 2006.
15. P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proc. IEEE, Special Issue on Discrete Event Systems, vol. 77, 1989, pp. 81-98.