Similarity-based supervisory control of discrete-event systems

IEEE Transactions on Automatic Control

Volumn 51, Issue 2, 2006, Pages 325-330

  Cao, Yongzhi ^a   Ying, Mingsheng ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Controllability; Discrete event systems; Metric space; Pareto optimality; Supervisory control

Indexed keywords

CONTROLLABILITY; OPTIMAL CONTROL SYSTEMS; OPTIMIZATION; SCADA SYSTEMS;

DISCRETE EVENT SYSTEMS; METRIC SPACE; PARETO OPTIMALITY; SUPERVISORY CONTROL; UNCONTROLLABLE EVENTS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33244457828     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2005.863515     Document Type: Article

References (22)

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. Control Lett., vol. 15, pp. 111-117, Aug. 1990.
2. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
3. E. Chen and S. Lafortune, "Dealing with blocking in supervisory control of discrete-event systems," IEEE Trans. Autom. Control, vol. 36, no. 6, pp. 724-735, Jun. 1991.
4. J. W. de Bakker and E. P. de Vink, Control Flow Semantics. Cambridge, MA: MIT Press, 1996, Foundations of Computing Series.
5. S. Eilenberg, Automata, Languages, and Machines. New York: Academic, 1974, vol. A.
6. R. Kumar, V. Garg, and S. I. Marcus, "Language stability and stabilizability of discrete event dynamical systems," SIAM J. Control Optim., vol. 31, pp. 1294-1320, Sep. 1993.
7. S. Lafortune and E. Chen, "The infimal closed controllable superlanguage and its application in supervisory control," IEEE Trans. Autom. Control, vol. 35, no. 4, pp. 398-405, Apr. 1990.
8. S. Lafortune and F. Lin, "On tolerable and desirable behaviors in supervisory control of discrete event systems," in Proc. IEEE Conf. Decision and Control, Honolulu, HI, Dec. 1990, pp. 3434-3439.
9. S. Lafortune and F. Lin, "On tolerable and desirable behaviors in supervisory control of discrete event systems," Discrete Event Dyna. Syst.: Theory Appl., vol. 1, pp. 61-92, 1991.
10. Y. H. Li, F. Lin, and Z. H. Lin, "Supervisory control of probabilistic discrete-event systems with recovery," IEEE Trans. Autom. Control, vol. 44, no. 10, pp. 1971-1975, Oct. 1999.
11. F. Lin, "Supervisory control of stochastic discrete event systems," in Book of Abstracts, SIAM Conf. Control 1990s, San Francisco, CA, 1990.
12. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inform. Sci., vol. 44, pp. 173-198, 1988.
13. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
14. C. A. Petri, "Interpretations of net theory," Gesellschaft fur Mathematik and Datenverarbeitung Bonn, St. Augustin, Interner Bericht ISF-75-07, 2nd ed., 1976.
15. P. J. Ramadge, "Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata," IEEE Trans. Autom. Control, vol. 34, no. 1, pp. 10-19, Jan. 1989.
16. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, pp. 206-230, Jan. 1987.
17. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
18. A. Ray and S. Phoha, "Signed real measure of regular languages for discrete-event automata," Int. J. Control, vol. 76, pp. 1800-1808, 2003.
19. A. Ray, A. Surana, and S. Phoha, "A language measure for surpervisory control," Appl. Math. Lett., vol. 16, pp. 985-991, 2003.
20. S. Theodoridis and K. Koutroumbas, Pattern Recognition, 2nd ed. New York: Academic, 2003.
21. F. van Breugel, Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion. Boston: Birkhäuser, 1998.
22. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Control Optim., vol. 25, pp. 637-659, May 1987.