Discrete approximation and supervisory control of continuous systems

IEEE Transactions on Automatic Control

Volumn 43, Issue 4, 1998, Pages 569-573

  Raisch, Jörg ^a   O'Young, Siu D ^b  

^a UNIVERSITY OF STUTTGART   (Germany)

^b MEMORIAL UNIVERSITY OF NEWFOUNDLAND   (Canada)

Author keywords

Discrete approximation of continuous systems; Hybrid control systems; Timed supervisory control

Indexed keywords

CONTROL EQUIPMENT; CONTROL SYSTEMS; FEEDBACK CONTROL; SPECIFICATIONS;

CONTINUOUS SYSTEMS; DISCRETE APPROXIMATION;

CONTROL THEORY;

EID: 0032047689     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.664160     Document Type: Article

References (14)

1. P. J. Antsaklis, J. A. Stiver, and M. Lemmon, "Hybrid system modeling and autonomous control systems," in Hybrid Systems, Lecture Notes in Computer Science, vol. 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer-Verlag, 1993, pp. 366-392.
2. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds., Hybrid Systems 11, Lecture Notes in Computer Science, vol. 999. New York: Springer-Verlag, 1995.
3. B. A. Brandin and W. M. Wonham, "Supervisory control of timed discrete event systems," IEEE Trans. Automat. Contr., vol. 39, pp. 329-342, 1994.
4. P. E. Caines and Y.-J. Wei, "On dynamically consistent hybrid systems," in P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds., Hybrid Systems II, Lecture Notes in Computer Science, vol. 999. New York: Springer-Verlag, 1995, pp. 86-105.
5. J. Lunze, "Qualitative modeling of linear dynamical systems with quantized state measurements," Automatica, vol. 30, pp. 417-431, 1994.
6. T. Niinomi, B. H. Krogh, and J. E. R. Cury, "Synthesis of supervisory controllers for hybrid systems based on approximating automata," in Proc. Conf. Decision Contr., 1995, pp. 1461-1466.
7. S. D. O'Young, "On the synthesis of supervisors for timed discrete event processes," IEEE Trans. Automat. Contr., to be published.
8. S. D. O'Young and J. Raisch, "Timed DES supervisory control of hybrid systems," in Proc. Workshop on Discrete Event Systems, Edinburgh, U.K., 1996, pp. 189-194.
9. G. J. Pappas and S. Sastry, "Toward continuous abstractions of dynamical and control systems," Univ. California, Berkeley, Tech. Rep. UCB/ERL M96/53, Oct. 1996.
10. J. Raisch, "Control of continuous plants by symbolic output feedback," in P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds, Hybrid Systems II, Lecture Notes in Computer Science, vol. 999. New York: Springer-Verlag, 1995, pp. 370-390.
11. J. Raisch and S. D. O'Young, "A DES approach to control of hybrid dynamical systems," in Hybrid Systems III, Lecture Notes in Computer Science, vol. 1066, R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. New York: Springer-Verlag, 1996, pp. 563-574.
12. _, "A totally ordered set of discrete abstractions for a given hybrid or continuous system," in Hybrid Systems IV, Lecture Notes in Computer Science, vol. 1273, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds. New York: Springer, 1997, pp. 342-360.
13. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event systems," SIAM J. Contr. Optimiz., vol. 25, pp. 206-230 1987.
14. J. C. Willems, "Paradigms and puzzles in the theory of dynamical systems," IEEE Trans. Automat. Contr., vol. 36, pp. 259-294, 1991.