Decentralized diagnosis of discrete event systems using unconditional and conditional decisions

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 6298-6304

  Wang, Yin ^a   Yoo, Tae Sic ^b   Lafortune, Stéphane ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

^b IDAHO NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONTROL THEORY; DECENTRALIZED CONTROL; DECISION MAKING; PROBLEM SOLVING;

DECENTRALIZED ARCHITECTURE; DISCRETE EVENT SYSTEMS; DYNAMIC SYSTEMS; FAULT DIAGNOSIS; VERIFICATION ALGORITHMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33847225192     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1583171     Document Type: Conference Paper

References (20)

1. S. Lafortune, D. Teneketzis, M. Sampath, R. Sengupta, and K. Sinnamohideen, "Failure diagnosis of dynamic systems: An approach based on discrete event systems," in Proc. 2001 American Control Conf., June 2001, pp. 2058-2071.
2. M. Sampath, R. Sengupta, K. S. S. Lafortune, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. Automat. Contr., vol. 40, no. 9, pp. 1555-1575, September 1995.
3. _, "Failure diagnosis using discrete event models," IEEE Trans. Contr. Syst. Technol., vol. 4, no. 2, pp. 105-124, March 1996.
4. 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-2, pp. 33-86, Jan. 2000.
5. A. Benveniste, S. Haar, E. Fabre, and C. Jard, "Distributed and asynchronous discrete event systems diagnosis," in Proc. 41st IEEE Conf. on Decision and Control, Dec. 2003, pp. 3742-3747.
6. R. Boel and J. van Schuppen, "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, Oct. 2002.
7. R. K. Boel and G. Jiroveanu, "Distributed contextual diagnosis for very large systems," in Proc. of the 2004 International Workshop on Discrete Event Systems - WODES'04, Reims, France, 2004.
8. E. Fabre, A. Benveniste, C. Jard, L. Ricker, and M. Smith, "Distributed state reconstruction for discrete event systems," in Proc. 39th IEEE Conf. on Decision and Control, Dec. 2000, pp. 2252-2257.
9. S. Gene and S. Lafortune, "A distributed algorithm for on-line diagnosis of place-bordered petri nets," in Proc. of 16th IFAC World Congress, 2005.
10. G. Lamperti and M. Zanella, Diagnosis of active systems: principles and techniques. Kluwer Academic Publishers, 2003.
11. W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems," in Proc. of the 2004 International Workshop on Discrete Event Systems - WODES'04, Reims, France, 2004.
12. R. Sengupta and S. Tripakis, "Decentralized diagnosability of regular languages is undecidable," in Proc. 40th IEEE Conf. on Decision and Control, Dec. 2002, pp. 423-128.
13. R. Su, W. Wonham, J. Kurien, and X. Koutsoukos, "Distributed diagnosis for qualitative systems," in Proc. of the 2002 International Workshop on Discrete Event Systems - WODES'02, Zaragoza, Spain, Oct. 2002, pp. 169-174.
14. R. Su and W. Wonham, "Distributed diagnosis under global consistency," in Proc. 42nd IEEE Conf. on Decision and Control, Dec. 2004.
15. T. Yoo and S. Lafortune, "A general architecture for decentralized supervisory control of discrete-event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 12, no. 3, pp. 335-377, July 2002.
16. _, "Decentralized supervisory control with conditional decisions: supervisor existence," IEEE Trans. Automat. Contr., vol. 49, no. 11, pp. 1886-1904, Nov. 2004.
17. Y. Wang and S. Lafortune, "Decentralized diagnosis of discrete event systems: architectures based on unconditional and conditional decisions," University of Michigan, Ann Arbor, MI, Tech. Rep. CGR-05-01, Jan. 2005.
18. T. Yoo and S. Lafortune, "Polynomial-time verification of diagnosability of partially-observed discrete-event systems," IEEE Trans. Automat. Contr., vol. 47, no. 9, pp. 1491-1495, September 2002.
19. K. Rudie and J. C. Willems, "The computational complexity of decentralized discrete-event control problems," IEEE Trans. Automat. Contr., vol. 40, no. 7, pp. 1313-1318, July 1995.
20. K. Rudie and W. M. Wonham, "Think globally, act locally: decentralized supervisory control," IEEE Trans. Automat. Contr., vol. 37, no. 11, pp. 1692-1708, November 1992.