Undecidability in decentralized supervision

Systems and Control Letters

Volumn 54, Issue 5, 2005, Pages 503-509

  Thistle, J G ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Decentralized control; Discrete event systems; Distributed control; Supervision; Undecidability

Indexed keywords

COMPUTATIONAL COMPLEXITY; DECENTRALIZED CONTROL; DISCRETE TIME CONTROL SYSTEMS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FINITE AUTOMATA; FORMAL LANGUAGES; PROBLEM SOLVING; SET THEORY; TURING MACHINES;

DISCRETE EVENT SYSTEMS (DES); FINITE STRINGS; SUPERVISION; UNDECIDABILITY;

CONTROL SYSTEM SYNTHESIS;

EID: 15844368684     PISSN: 01676911     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysconle.2004.10.002     Document Type: Article

References (15)

1. A. Arnold, A. Vincent, and I. Walukiewicz Games for synthesis of controllers with partial observation Theor. Comput. Sci. 1 303 2003 7 34
2. G. Barrett, and S. Lafortune On the synthesis of communicating controllers with decentralized information structures for discrete-event systems Proceedings of the 37th IEEE Conference on Decision and Control 1998 3281 3286
3. C.G. Cassandras, and S. Lafortune Introduction to Discrete Event Systems 1999 Kluwer Academic Publishers Boston
4. M.H. Lamouchi, and J.G. Thistle Effective control synthesis for DES under partial observations 39th IEEE Conference on Decision and Control 2000 22 29
5. H.R. Lewis, and C.H. Papadimitriou Elements of the Theory of Computation second ed. 1997 Software Series, Prentice-Hall Englewood Cliffs, NJ
6. G.L. Peterson, J.H. Reif, Multiple-person alternation, in: 20th Annual Symposium on Foundations of Computer Science, IEEE, New York, 1979, pp. 348-363.
7. P.J. Ramadge, and W.M. Wonham The control of discrete event systems Proc. IEEE 77 1 1989 81 98
8. R. Rosner, Modular synthesis of reactive systems, Ph.D. Thesis, The Weizmann Institute of Science, Rehovot, Israel, February 1991.
9. K. Rudie, S. Lafortune, and F. Lin Minimal communication in a distributed discrete-event system IEEE Trans. Automat. Control 48 6 2003 957 975
10. K. Rudie, and J.C. Willems The computational complexity of decentralized discrete-event control problems IEEE Trans. Automat. Control 40 7 1995 1313 1319
11. K. Rudie, and W.M. Wonham Think globally, act locally decentralized supervisory control IEEE Trans. Automat. Control 37 11 1992 1692 1708
12. J.H. van Schuppen, Decentralized control and decentralized failure diagnosis with communication between controllers and diagnosers, in: V.D. Blondel, A.Megretski (Eds.), 2002 MTNS Problem Book: Open Problems on the Mathematical Theory of Systems, MTNS 2002, 2002.
13. J.G. Thistle Supervisory control of discrete-event systems Math. Comput. Model. 23 1996 25 53
14. S. Tripakis Undecidable problems of decentralized observation and control Proceedings of the 40th IEEE Conference on Decision and Control 2001
15. J.N. Tsitsiklis On the control of discrete-event dynamical systems Math. Control Signals Systems 2 1989 95 107