Strategic refinements in abstraction based supervisory control of hybrid systems

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 329-334

  Moor, T ^a   Davoren, J M ^a   Raisch, J ^b  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^b OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION; DISCRETE TIME CONTROL SYSTEMS; HYBRID SYSTEMS;

ABSTRACTION REFINEMENT; COMPUTATIONAL RESOURCES; CONTROL PROBLEMS; CONTROLLER SYNTHESIS; HYBRID CONTROLS; SUPERVISORY CONTROL; SYNTHESIS PROCEDURE; TEMPORAL DECOMPOSITION;

ABSTRACTING;

EID: 33749854011     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167707     Document Type: Conference Paper

References (11)

1. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88, July 2000.
2. C. Baier and M. Kwiatkowska. On topological hierarchies of temporal properties. Fundamenta Informaticae, 41:259-294, 2000.
3. T. Henzinger. The theory of hybrid automata. In Proc. of 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), pages 278-292, 1996.
4. X. Koutsoukos, P. Antsaklis, J. Stiver, and M. Lemmon. Supervisory control of hybrid systems. Proceedings of the IEEE, 88:1026-1049, July 2000.
5. B. Krogh and A. Chutinan. Hybrid systems: modeling and supervisory control. In P. Frank, editor, Advances in Control, highlights of ECC'99, pages 228-246, 1999.
6. J. Lunze, B. Nixdorf, and H. Richter. Hybrid modelling of continuous-variable systems with application to supervisory control. In Proc. European Control Conference, 1997.
7. T. Moor and J. Raisch. Supervisory control of hybrid systems within a behavioural framework. Systems and Control Letters, 38:157-166, 1999.
8. T. Moor, J. Raisch, and S. O'Young. Discrete supervisory control of hybrid systems based on l-complete approximations. Journal of Discrete Event Dynamic Systems, 12:83-107, 2002.
9. P. Philips, M. Weiss, and H. Preisig. Control based on discrete-event models of continuous systems. In Proc. of the European Control Conference, 1999.
10. P. Ramadge and W. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81-98, 1989.
11. J.Willems. Paradigms and puzzles in the theory of dynamic systems. IEEE Transactions on Automatic Control, 36:258-294, 1991.