Decentralized diagnosability of regular languages is undecidable

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2002, Pages 423-428

  Sengupta, Raja ^a   Tripakis, Stavros ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM ANALYSIS; DECISION THEORY; FINITE AUTOMATA; OBSERVABILITY; POLYNOMIAL APPROXIMATION; SET THEORY;

DECENTRALIZED DIAGNOSABILITY; DECENTRALIZED FAULT DIAGNOSIS;

DECENTRALIZED CONTROL;

EID: 0036994216     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. R. Attias, D. Lee, A. Puri, R. Sengupta, S. Tripakis, and P. Varaiya. A wireless token ring protocol for intelligent transportation systems. In IEEE Conference on Intelligent Transportation Systems, 2001.
2. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
3. H. Lewis and C. Papadimitriou. Elements of the Theory of Computation, 2/e. Prentice-Hall, 1997.
4. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9), September 1995.
5. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology, 4(2), March 1996.
6. S. Tripakis. Undecidable problems of decentralized observation and control. In IEEE Conference on Decision and Control, 2001.
7. J.N. Tsitsiklis. On the control of discrete event dynamical systems. Mathematics of Control, Signals and Systems, 2(2), 1989.
8. P. Varaiya. Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, 38(2):195-207, February 1993.