Online supervisor synthesis for partially observed discrete-event systems

IEEE Transactions on Automatic Control

Volumn 43, Issue 11, 1998, Pages 1630-1634

  Prosser, Joseph H ^a   Kam, Moshe ^a   Kwatny, Harry G ^a  

^a Drexel University   (United States)

Author keywords

Discrete event systems; Online control; Partial observation; Supervisory control

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; OBSERVABILITY; ONLINE SYSTEMS; PROCESS CONTROL;

ONLINE CONTROL SYSTEMS; ONLINE SUPERVISOR SYNTHESIS;

SCADA SYSTEMS;

EID: 0032202672     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.728885     Document Type: Article

References (15)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete-event processes," SIAM J. Contr. Opt., vol. 25, pp. 206-230, Jan. 1987.
2. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Info. Sci., vol. 44, pp. 173-198, 1988.
3. P. J. Ramadge and W. M. Wonham, "The control of discrete-event systems," Proc. IEEE, vol. 77, pp. 81-97, Jan. 1989.
4. R. D. Brandt, V. Garg, 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.
5. R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Automat. Contr., vol. 33, pp. 249-260, Mar. 1988.
6. R. Kumar, V. Garg, and S. I. Marcus, "On controllability and normality of discrete-event dynamical systems," Syst. Contr. Lett., vol. 17, pp. 157-168, 1991.
7. K. G. Rudie, "Software for the control of discrete-event systems: A complexity study," Elect. Eng. Dept., Univ. Toronto, Canada, Systems Control Group Rep. 8806, Sept. 1988.
8. J. Fa, X. Yang, and Y. Zheng, "Formulas for a class of controllable and observable sublanguages larger than the supermal controllable and normal sublanguage," Syst. Contr. Lett., vol. 20, pp. 11-18, 1993.
9. M. Heymann and F. Lin, "On-line control of partially-observed discrete-event systems," DEDS, vol. 4, no. 3, pp. 221-236, 1994.
10. R. Kumar, "Observability formulas for discrete-event dynamical systems," in Proc. Conf. Info. Sci. Syst., Johns Hopkins University, Baltimore, MD, 1993, pp. 581-596.
11. J. H. Prosser and M. Kam, "Supervisor synthesis for approximating maximally-allowable behaviors," in Proc. Conf. Info. Sci. Syst., Princeton Univ., Princeton, NJ, Feb. 1994.
12. M. Heymann and F. Lin, "On-line control of partially-observed discrete-event systems," Comp. Sci. Dept., Technion-Israel Inst. Technol., Haifa, Israel, Tech. Rep. CIS-931 OR, 1993.
13. N. B. Hadj-Alouane, S. Lafortune, and F. Lin, "On-line synthesis of maximal control policies for partially observed discrete event systems," College of Eng., Univ. Michigan, Ann Arbor, MI, Control Group Rep. CGR-94-04, Oct. 1994.
14. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Contr. Opt., vol. 25, pp. 637-659, May 1987.
15. F. Lin and W. M. Wonham, "Decentralized supervisory control of discrete-event systems," Info. Sci., vol. 44, pp. 199-224, 1988.