Robust hybrid control from a behavioural perspective

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2002, Pages 1169-1174

  Moor, T ^a   Davoren, J M ^b   Anderson, B D O ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^b UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

Behavioural systems theory; Hybrid systems; Robust control; Supervisory control

Indexed keywords

ACTUATORS; CLOSED LOOP CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; RELIABILITY; ROBUSTNESS (CONTROL SYSTEMS); SCADA SYSTEMS; THEOREM PROVING; UNCERTAIN SYSTEMS;

BEHAVIOURAL SYSTEMS THEORY; HYBRID CONTROL SYSTEM; LANGUAGE INCLUSION SPECIFICATION;

CONTROL SYSTEM SYNTHESIS;

EID: 0036996835     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. R. Alur, T.A. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971-984, 2000.
2. E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli. Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE, 88:1011-1025, 2000.
3. C.G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
4. J.E.R. Cury, B.A. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. on Automatic Control, 43:564-568, 1998.
5. E. Frazzoli, M.A. Dahleh, and E. Feron. Robust hybrid control for autonomous vehicle motion planning. Technical report, LIDS-P-2468, Masschusetts Institute of Technology, May 2000.
6. C. Horn and P.J. Ramadge. Robustness issues for hybrid systems. In IEEE Proc. of the 34th International Conference on Decision and Control, CDC'95, pages 1467-1472, 1995.
7. X. Koutsoukos, P.J. Antsaklis, J.A. Stiver, and M.D. Lemmon. Supervisory control of hybrid systems. Proceedings of the IEEE, 88:1026-1049, July 2000.
8. J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35:349-370, 1999.
9. T. Moor. Approximationsbasierter Entwurf diskreter Steuerungen für gemischtwertige Regelstrecken, volume 2 of Forschungsberichte aus dem Max-Planck-Institut für Dynamik komplexer technischer Systeme. Shaker-Verlag, Aachen, Germany, 2000. Also PhD thesis, Fachbereich Elektrocehnik, Universität der Bundeswehr Hamburg.
10. T. Moor and J.M. Davoren. Robust controller synthesis for hybrid systems using modal logic. In Hybrid Systems: Computation and Control (HSCC'01), LNCS 2034, pp. 433-446, 2001.
11. T. Moor and J. Raisch. Supervisory control of hybrid systems within a behavioural framework. Systems and Control Letters, 38:157-166, 1999.
12. T. Moor and J. Raisch. Think continuous, act discrete: DES techniques for continuous systems. Proc. 10th Mediterranean Conference on Control and Automation, Lisbon, July 2002.
13. T. Moor, J. Raisch, and S.D. O'Young. Discrete supervisory control of hybrid systems based on l-complete approximations. J. of Discrete Event Dynamic Systems, 12:83-107, 2002.
14. J. Raisch and S.D. O'Young. Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control, 43:569-573, 1998.
15. P.J. Ramadge and W.M. Wonham. Supervisory control of a class of discrete event systems. SIAM J. Control and Optimization, 25: 206-230, 1987.
16. P.J. Ramadge and W.M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81-98, 1989.
17. J.C. Willems. Models for dynamics. Dynamics Reported, 2: 172-269, 1989.
18. J.C. Willems. Paradigms and puzzles in the theory of dynamic systems. IEEE Transactions on Automatic Control, 36:258-294, 1991.