Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation

Discrete Event Dynamic Systems: Theory and Applications

Volumn 6, Issue 4, 1996, Pages 379-427

  Hadj Alouane, Nejib Ben ^a   Lafortune, Stéphane ^a   Lin, Feng ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b Wayne State University   (United States)

Author keywords

Modular control; On line control; Parallel distributed algorithms; Partial observation; Supervisory control; Variable lookahead policies

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; OBSERVABILITY; OPTIMAL CONTROL SYSTEMS; PARALLEL ALGORITHMS;

DISCRETE EVENT SYSTEMS; DISTRIBUTED ALGORITHMS; MODULAR CONTROL; ON LINE CONTROL; PARTIAL OBSERVATION; VARIABLE LOOKAHEAD POLICIES;

SCADA SYSTEMS;

EID: 0030270378     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01797138     Document Type: Article

References (22)

1. Barbeau, M., Custeau, G. and St-Denis, R. 1995. An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. IEEE Trans. Automatic Control 40(4): 699-703.
2. Ben Hadj-Alouane, N., Lafortune, S. and Lin, F. 1993. Control of partially obseved discrete event systems with maximal variable lookahead policies. Proceedings of the Thirty-first Annual Allerton Conference on Communications, Control, and Computing pp. 898-907.
3. Ben Hadj-Alouane, N., Lafortune, S. and Lin, F. 1994a. A distributed on-line algorithm for supervisory control under partial observation. Proc. 1994 Conf. Information Sciences and Systems Princeton, NJ, March.
4. Ben Hadj-Alouane, N., Lafortune, S. and Lin, F. 1994b. Think globally, communicate, act locally: On-line parallel/distribued supervisory control. Proc. 33rd IEEE Conf. on Decision and Control Orlando, FL, pp. 3661-3666. December.
5. Ben Hadj-Alouane, N., Lafortune, S. and Lin, F. 1994c. Variable lookahead supervisory control with state information. IEEE Trans. Automatic Control 39(12): 2398-2410.
6. Brandt, R. D., Garg, V., Kumar, R., Lin, F., Marcus, S. I. and Wonham, W. M. 1990. Formulas for calculating supremal controllable and normal sublanguages. Systems and Control Letters 15(2): 111-117.
7. Cho, H. and Marcus, S. I. 1989a. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Math. Control Signals Systems 2: 47-69.
8. Cho, H. and Marcus, S. I. 1989b. Supremal and maximal sublanguages arising in superior synthesis problems with partial observations. Math. Systems Theory 22: 177-211.
9. Chung, S. L., Lafortune, S. and Lin, F. 1992. Limited lookahead policies in supervisory control of discrete event systems. IEEE Trans. Automatic Control 37(12): 1921-1935.
10. Chung, S. L., Lafortune, S. and Lin, F. 1994. Supervisory control using variable lookahead policies. Discrete Event Dynamic Systems: Theory and Applications 4(3): 237-268.
11. Cieslak, R., Desclaux, C., Fawaz, A. and Varaiya, P. 1988. Supervisory control of discrete-event processes with partial observations. IEEE Trans. Automatic Control 33(3): 249-260.
12. Garg, V. K. 1993. Parallel and distributed algorithms for supervisory control of discrete event systems. Proc. 32th IEEE Conf. on Decision and Control San Antonio, TX, pp. 2236-2241.
13. Heymann, M. and Lin, F. 1994. On-line control of partially observed discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 4(3): 221-236.
14. Inan, K. 1994. Nondeterministic supervision under partial observations. Proc. 11th International Conference on Analysis and Optimization of Systems 1994, pp. 39-48, Springer-Verlag, Lecture Notes in Control and Information Sciences, vol. 199.
15. Lin, F. and Wonham, W. M. 1988. On observability of discrete-event systems. Information Sciences 44: 173-198.
16. Ramadge, P. J. 1989. Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata. IEEE Trans. Automatic Control 34(1): 10-19.
17. Ramadge, P. J. and Wonham, W. M. 1987. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization 25(1): 206-230.
18. Ramadge, P. J. and Wonham, W. M. 1989. The control of discrete event systems. Proc. IEEE 77(1): 81-98.
19. Rudie, K. and Wonham, W. M. 1990. The infimal prefix-closed and observable superlanguage of a given language. Systems and Control Letters 15: 361-371.
20. Rudie, K. and Wonham, W. M. 1992. Think globally, act locally: Decentralized supervisory control. IEEE Trans. Automatic Control 37(11): 1692-1708.
21. Wonham, W. M. and Ramadge, P. J. 1987. On the supremeal controllable sublanguage of a given language. SIAM J. Control and Optimization 25(3): 637-659.
22. Wonham, W. M. and Ramadge, P. J. 1988. Modular supervisory control of discrete event systems. Math. Control Signals Systems 1(1): 13-30.