Robust controller synthesis for hybrid systems using modal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2034, Issue , 2001, Pages 433-446

  Moor, Thomas ^a   Davoren, J M ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DIFFERENTIAL EQUATIONS; FORMAL LOGIC; HYBRID SYSTEMS;

CONTROLLER DESIGNS; HYBRID AUTOMATONS; HYBRID CONTROLLER; NOVEL METHODOLOGY; RIGHT-HAND SIDES; ROBUST CONTROLLER SYNTHESIS; SWITCHING CONTROL; TOLERANCE RELATIONS;

CONTROLLERS;

EID: 84944259835     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45351-2_35     Document Type: Conference Paper

References (21)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur, T.A. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971-984, July 2000.
3. B.D.O. Anderson, F. de Bruyne, S. Dey, and K. Wong. Ensuring robustness in hybrid control systems. Technical report, Dept. Systems Engineering, RSISE, Australian National University, April 1999.
4. E. Asarin, O. Bournez, T. Dang, and O. Maler. Approximate reachability analysis of piecewise-linear dynamical systems. In N. Lynch and B. Krogh, editors, Hybrid Systems: Computation and Control (HSCC'00), LNCS 1790, pages 20-31. Springer- Verlag, 2000.
5. J.E.R. Cury, B.A. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control, 43:564-568, 1998.
6. J.M. Davoren and T. Moor. Logic-based design and synthesis of controllers for hybrid systems. Technical report, Dept. Systems Engineering, RSISE, Australian National University, July 2000. http://arp.anu.edu.au/~davoren/hybrid_control/hybrid_control.html, submitted for publication.
7. J.M. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88:985-1010, July 2000.
8. E. Frazzoli, M.A. Dahleh, and E. Feron. Robust hybrid control for autonomous vehicle motion planning. Technical report, LIDS-P-2468, Laboratory for Information and Decision Systems (LIDS), Massachusetts Institute of Technology, May 2000.
9. R. Goré. Tableaux methods for modal and temporal logics. In M. D'Agostino et al., editors, Handbook of Tableaux Methods, pages 297-396. Kluwer, 1999.
10. C. Horn and P.J. Ramadge. Robustness issues for hybrid systems. In Proceedings of the 34th International Conference on Decision and Control, CDC'95, pages 1467-1472. IEEE Press, 1995.
11. H.K. Khalil. Nonlinear Systems. Prentice-Hall, 1996. Second edition.
12. 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.
13. A.B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for reachability analysis. In N. Lynch and B. Krogh, editors, Hybrid Systems: Computation and Control (HSCC'00), LNCS 1790, pages 202-214. Springer-Verlag, 2000.
14. G. Lafferriere, G.J. Pappas, and S. Sastry. O-minimal hybrid systems. Mathematics of Control, Signals, and Systems, 13:1-21, 2000.
15. G. Lafferriere, G.J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In F.W. Vaandrager and J.H. van Schuppen, editors, Hybrid Systems: Computation and Control (HSCC'99), LNCS 1569, pages 137-151. Springer-Verlag, 1999.
16. T. Moor and J. Raisch. Discrete control of switched linear systems. In Proceedings of the European Control Conference 1999, 1999.
17. T. Moor and J. Raisch. Supervisory control of hybrid systems within a behavioural framework. Systems and Control Letters, 38:157-166, 1999.
18. C. Stirling. Modal and temporal logics. In S. Abramsky, D.M. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 477-563. Oxford University Press, Clarendon Press, Oxford, 1992.
19. C. Tomlin, J. Lygeros, and S. Sastry. A game-theoretic approach to controller design for hybrid systems. Proceedings of the IEEE, 88:949-970, July 2000.
20. F. Wolter. Decision Problems for Combined Modal Logics. Habilitationsschrift. Institut für Informatik, Universität Leipzig, 1999.
21. C.A. Yfoulis, A. Muir, P.E. Wellstead, and N.B.O.L. Pettit. Stabilization of orthogonal piecewise linear systems: Robustness analysis and design. In F.W. Vaandrager and J.H. van Schuppen, editors, Hybrid Systems: Computation and Control (HSCC'99), LNCS 1569, pages 256-270. Springer-Verlag, 1999.