Discrete-event control of nondeterministic systems

IEEE Transactions on Automatic Control

Volumn 43, Issue 1, 1998, Pages 3-17

  Heymann, Michael ^a   Lin, Feng ^b,c  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b Wayne State University   (United States)

^c IEEE

Author keywords

Discrete event systems; Nondeter minism; Supervisory control; Trajectory model

Indexed keywords

ALGORITHMS; CONTROL SYSTEM SYNTHESIS; FORMAL LANGUAGES; MATHEMATICAL MODELS; OBSERVABILITY; SCADA SYSTEMS;

DISCRETE EVENT SYSTEM; NONDETERMINISTIC SYSTEM; SUPERVISORY CONTROL; TRAJECTORY CONTROL;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0031648244     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.654883     Document Type: Article

References (27)

1. R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Syst. Contr. Lett., vol. 15, pp. 111-117, 1990.
2. S. L. Chung, S. Lafortune, and F. Lin, "Limited lookahead policies in supervisory control of discrete event systems," IEEE Trans. Automat. Contr., vol. 37, pp. 1921-1935, Dec. 1992.
3. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Automat. Contr., vol. 33, pp. 249-260, Mar. 1988.
4. M. Fabian and B. Lennartson, "Object oriented supervisory control with a class of nondeterministic specifications," Chalmers Univ. Technol., Goteborg, Sweden, Rep. CTH/RT/I-94/007, 1994.
5. _, "On nondeterministic supervisory control," in Proc. 35th Conf. Decision Contr., Kobe, Japan, 1996, pp. 2213-2218.
6. M. Heymann, "Concurrency and discrete-event control," IEEE Contr. Syst. Mag., vol. 10, no. 4, pp. 103-112, 1990.
7. M. Heymann and G. Meyer, "An algebra of discrete-event processes," NASA Technical Memo. 102848, 1991.
8. M. Heymann and F. Lin, "On-line control of partially observed discrete event systems," Discrete Event Dynamic Syst.: Theory Appl., vol. 4, no. 3, pp. 221-236, 1994.
9. _, "Nonblocking supervisory control of nondeterministic systems," Technion CIS Rep. 9620, Oct. 1996.
10. _, "On observability and nondeterminism in discrete event control," in Proc. 33rd Allerton Conf. Communication, Contr., and Computing, 1995, pp. 136-145.
11. _, "Discrete event control of nondeterministic discrete event systems," in Proc. 35th IEEE Conf. Decision Contr., 1996, pp. 4445-4450.
12. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. New York: Addison-Wesley, 1979.
13. K. Inan, "Nondeterministic supervision under partial observation," in 11th International Conference on Analysis and Optimization of Systems, G. Cohen and J.-P. Quadrat, Eds. New York: Springer-Verlag, 1994, pp. 39-43.
14. R. Kumar and M. A. Shayman, "Non-blocking supervisory control of nondeterministic systems via prioritized synchronization," IEEE Trans. Automat. Contr., vol. 41, pp. 1160-1175, Aug. 1996.
15. _, "Supervisory control of nondeterministic systems under partial observation and decentralization," SIAM J. Contr. Optimization, to be published.
16. F. Lin, "On controllability and observability of discrete event systems," Ph.D. dissertation, Dept. Electrical Engineering, Univ. Toronto, 1987.
17. F. Lin and W. M. Wonham, "On observability of discrete event systems," Inform. Sci., vol. 44, no. 3, pp. 173-198, 1988.
18. _, "Decentralized supervisory control of discrete-event systems," Inform. Sci., vol. 44, no. 3, pp. 199-224, 1988.
19. _, "Decentralized control and coordination of discrete event systems with partial observation," IEEE Trans. Automat. Contr., vol. 35, pp. 1330-1337, Dec. 1990.
20. _, "Supervisory control of timed discrete event systems under partial observation," IEEE Trans. Automat. Contr., vol. 40, pp. 558-562, Mar. 1994.
21. A. Overkamp, "Supervisory control for nondeterministic systems," in Proc. 11th Int. Conf. Analysis Optimiz. Syst., 1994, pp. 59-65.
22. _, "Supervisory control using failure semantics and partial specification," IEEE Trans. Automat. Contr., vol. 42, pp. 498-510, Apr. 1997.
23. R. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206-230, 1987.
24. _, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, 1989.
25. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Automat. Contr., vol. 37, pp. 1692-1708, Nov. 1992.
26. M. Shayman and R. Kumar, "Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models," SIAM J. Contr. Optim., vol. 33, no. 2, pp. 469-497, 1995.
27. J. N. Tsitsiklis, "On the control of discrete-event dynamical systems," Math. Contr., Signals, Syst., vol. 2, no. 1, pp. 95-107, 1989.