Solvability of centralized supervisory control under partial observation

Discrete Event Dynamic Systems: Theory and Applications

Volumn 16, Issue 4, 2006, Pages 527-553

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

^a IDAHO NATIONAL LABORATORY   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Decidability; Nonblocking; Partial observation; Supervisory control

Indexed keywords

ALGORITHMS; COMPUTABILITY AND DECIDABILITY; COMPUTER PROGRAMMING LANGUAGES; DISCRETE TIME CONTROL SYSTEMS; PROBLEM SOLVING;

CONTROL PROBLEMS; NONBLOCKING SOLUTIONS; PARTIAL OBSERVATION; SUPERVISORY CONTROL;

SCADA SYSTEMS;

EID: 33750195491     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-006-0023-7     Document Type: Article

References (15)

1. Arnold A, Vincent A, Walukiewicz I (2003) Games for synthesis of controllers with partial observation. Theoret Comput Sci 1(303): 7-34
2. Cassandras CG, Lafortune S (1999) Introduction to Discrete Event Systems. Massachusetts: Kluwer Academic Publishers
3. Chen E, Lafortune S (1990) On the infimal closed and controllable superlanguage of a given language. IEEE Transactions on Automatic Control 35(4):398-404
4. Cho H, Marcus SI (1989) On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Math Control, Signals Systems 2:47-69
5. Inan K (1994) Nondeterministic supervison under partial observation. In: G Cohen and J Quadrat (eds). 11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems, Sophia-Antipolis, France, vol 199, pp 39-48
6. Lamouchi H, Thistle J (2000) Control of infinite behaviour of discrete event systems under partial observations. In Proc. of CDC 2000, IEEE Conference on Decision and Control, Sydney, Australia, vol 1, pp. 22-28
7. Lin F, Wonham WM (1988) On observability of discrete-event systems. Inform Sci 44(3):173-198
8. Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control and Optim 25(1):206-230
9. Rudie K, Willems JC (1995) The computational complexity of decentralized discrete-event control problems. IEEE Transactions on Automatic Control 40(7):1313-1318
10. Rudie K, Wonham WM (1990) The infimal prefix closed and observable superlanguage of a given language. Systems and Control Letters 15(5):361.-371
11. Rudie K, Wonham WM (1992) Think globally, act locally: decentralized supervisory control. IEEE Trans Autom Control 37(11):1692-1708
12. Tripakis S (2001) Undecidable problems of decentralized observation and control. In Proc. of CDC 2001, IEEE Conference on Decision and Control, Orlando, Florida. vol 90, pp 4104-4109
13. Tsitsiklis JN (1989) On the control of discrete event dynamical systems. Math Control, Signals Systems 2(2):95-107
14. Wonham WM, Ramadge PJ (1987) On the supremal controllable sublanguage of a given language. SIAM J Control Optim 25(3):637-659
15. Yoo T, Lafortune S (2002) A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 12(3):335-377