Supervisory control of hybrid systems within a behavioural framework

Systems and Control Letters

Volumn 38, Issue 3, 1999, Pages 157-166

  Moor, T ^a   Raisch, J ^b  

^a HELMUT SCHMIDT UNIVERSITY   (Germany)

^b MAX PLANCK INSTITUTE FOR DYNAMICS OF COMPLEX TECHNICAL SYSTEMS   (Germany)

Author keywords

Behavioural approach; Hybrid systems; l Complete approximations; Supervisory control

Indexed keywords

EID: 0001416740     PISSN: 01676911     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6911(99)00061-4     Document Type: Article

References (20)

1. R. Alur, T.A. Henzinger, E.D. Sontag (Eds.), Hybrid Systems III, Lecture Notes in Computer Science, vol. 1066, Springer, Berlin, 1996.
2. P.J. Antsaklis, W. Kohn, A. Nerode, S. Sastry (Eds.), Hybrid Systems II, Lecture Notes in Computer Science, vol. 999, Springer, Berlin, 1995.
3. P.J. Antsaklis, W. Kohn, A. Nerode, S. Sastry (Eds.), Hybrid Systems IV, Lecture Notes in Computer Science, vol. 1273, Springer, Berlin, 1997.
4. P.J. Antsaklis, A. Nerode (Eds.), IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, vol. 43, 1998.
5. P.J. Antsaklis, J.A. Stiver, M. Lemmon, Hybrid system modelling and autonomous control systems, in: R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel (Eds.), Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer, Berlin, 1993, pp. 366-392.
6. J.E.R. Cury, B.A. Krogh, T. Niinomi, Synthesis of supervisory controllers for hybrid systems based on approximating automata, IEEE Trans. Automat. Control, Special Issue on Hybrid Systems 43 (1998) 564-568.
7. R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel (Eds.), Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer, Berlin, 1993.
8. J. Lunze, Stabilization of nonlinear systems by qualitative feedback controllers, Int. J. Control 62 (1995) 109-128.
9. T. Moor, Event driven control of switched-integrator-systems, Proceedings of the ADPM98, Reims, 1998, pp. 271-277.
10. T. Moor, J. Raisch, Discrete control of switched linear systems, in: Proceedings of the European Control Conference, Karlsruhe, 1999, pp. 11014-1015.
11. T. Moor, J. Raisch, S.D. O'Young, Supervisory control of hybrid systems via l-complete approximations, Proceedings of the WODES98, IEE, 1998, pp. 426-431.
12. S.D. O'Young, Hybrid RTSS, Internal Report, Faculty of Engineering, Memorial University of Newfoundland, 1998.
13. J. Raisch, A hierarchy of discrete abstractions for a given hybrid plant, Proceedings of the ADPM98, Reims, 1998, pp. 55-62.
14. J. Raisch, S.D. O'Young, A totally ordered set of discrete abstractions for a given hybrid or continuous system, in: P.J. Antsaklis, W. Kohn, A. Nerode, S. Sastry (Eds.), Hybrid Systems IV, Lecture Notes in Computer Science, vol. 1273, Springer, Berlin, 1997, pp. 342-360.
15. J. Raisch, S.D. O'Young, Discrete approximation and supervisory control of continuous systems, IEEE Trans. Automat. Control, Special Issue on Hybrid Systems 43 (1998) 569-573.
16. P.J. Ramadge, W.M. Wonham, Supervisory control of a class of discrete event systems, SIAM J. Control Optim. 25 (1987) 206-230.
17. P.J. Ramadge, W.M. Wonham, The control of discrete event systems, Proc. IEEE 77 (1989) 81-98.
18. M. Tittus, B. Egardt, Control-law synthesis for linear hybrid systems, Proceedings of the 33rd IEEE Conference on Decision and Control, 1994, pp. 961-966.
19. J.C. Willems, Models for dynamics, Dyn. Rep. 2 (1989) 172-269.
20. J.C. Willems, Paradigms and puzzles in the theory of dynamic systems, IEEE Trans. Automat. Control 36 (3) (1991) 258-294.