Undecidable problems of decentralized observation and control on regular languages

Information Processing Letters

Volumn 90, Issue 1, 2004, Pages 21-28

  Tripakis, Stavros ^a  

^a VERIMAG   (France)

Author keywords

Control; Distributed systems; Observation; Synthesis; Undecidability

Indexed keywords

CHARACTER RECOGNITION; DECENTRALIZED CONTROL; DECISION MAKING; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; SCADA SYSTEMS; SYSTEMS ANALYSIS;

OBSERVATION; SYNTHESIS; UNDECIDABILITY;

FORMAL LANGUAGES;

EID: 1442332124     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2004.01.004     Document Type: Article

References (23)

1. Berstel J. Transductions and Context-Free Languages. 1979;Teubner, Wiesbaden.
2. Blondel V.D., Tsitsiklis J.N. A survey of computational complexity results in systems and control. Automatica. 36:(9):2000;1249-1274.
3. Cieslak R., Desclaux C., Fawaz A., Varaiya P. Supervisory control of discrete-event processes with partial observations. IEEE Trans. Automat. Control. 33:1988;249-260.
4. Debouk R., Lafortune S., Teneketzis D. Coordinated decentralized protocols for failure diagnosis of discrete event systems. IEEE Conference on Decision and Control, December. 1998.
5. Garey M., Johnson D. Computers and Intractability: A Guide to the Theory of NP-Completeness. 1979;Freeman, San Francisco, CA.
6. Kumar R., Shayman M.A. Centralized and decentralized supervisory control of nondeterministic systems under partial observation. SIAM J. Control Optim. 35:(2):1997;363-383.
7. Kupferman O., Vardi M. Synthesizing distributed systems. 16th Annual Symp. on Logic in Computer Science. 2001.
8. Lamouchi H., Thistle J. Effective control synthesis for DES under partial observations. IEEE Conference on Decision and Control. 2000.
9. Lin F., Mortazavian H. A normality theorem for decentralized control of discrete event systems. IEEE Trans. Automat. Control. 39:(5):1994.
10. Lin F., Wonham W. Decentralized supervisory control of discrete-event systems. Inform. Sci. 44:1988;199-224.
11. Madhusudan P., Thiagarajan P.S. Distributed controller synthesis for local specifications. 28th ICALP, Crete, Greece. Lecture Notes in Computer Science. vol. 2076:2001;396-407 Springer, Berlin.
12. Madhusudan P., Thiagarajan P.S. A decidable class of asynchronous distributed controllers. CONCUR '02. Lecture Notes in Computer Science. vol. 2421:2002;145-160 Springer, Berlin.
13. Pnueli A., Rosner R. Distributed reactive systems are hard to synthesize. Proceedings of the 31th IEEE Symposium Foundations of Computer Science. 1990;746-757.
14. Puri A., Tripakis S., Varaiya P. Problems and examples of decentralized observation and control for discrete event systems. CAV '01 Symposium on Supervisory Control for Discrete Event Systems (SCODES). 2001;. Also Caillaud B., Darondeau P., Lavagno L., Xie X. Synthesis and Control of Discrete Event Systems. 2002;Kluwer Academic, Dordrecht.
15. Puri A., Tripakis S., Varaiya P. Problems and examples of decentralized observation and control for discrete event systems. CAV '01 Symposium on Supervisory Control for Discrete Event Systems (SCODES). 2001;. Also Caillaud B., Darondeau P., Lavagno L., Xie X. Synthesis and Control of Discrete Event Systems. 2002;Kluwer Academic, Dordrecht.
16. Ramadge P., Wonham W. Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25:(1):1987.
17. Rudie K., Willems J.C. The computational complexity of decentralized discrete-event control problems. IEEE Trans. Automat. Control. 40:(7):1995.
18. Rudie K., Wonham W. Think globally, act locally: Decentralized supervisory control. IEEE Trans. Automat. Control. 37:1992.
19. Tripakis S. Undecidable problems of decentralized observation and control. IEEE Conference on Decision and Control (CDC '01). 2001.
20. Tripakis S. Decentralized control of discrete event systems with bounded or unbounded delay communication. 6th International Workshop on Discrete Event Systems (WODES '02). 2002;IEEE CS Press.
21. Tsitsiklis J.N. On the control of discrete event dynamical systems. Math. Control Signals Systems. 2:(2):1989.
22. Tsitsiklis J.N., Athans M. On the complexity of decentralized decision making and detection problems. IEEE Trans. Automat. Control. 30:(5):1985.
23. Willner Y., Heymann M. On supervisory control of concurrent discrete-event systems. Internat. J. Control. 54:(5):1991.