Abstract
In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching control mechanism of a hybrid automaton (via guard and mode invariant sets), and the robustness result is with respect to variations in the right hand sides of the differential equations that depend continuously on a parameter. We present a novel methodology for controller design and synthesis which uses modal logic as a formalism for reasoning about sets of plant states, and various operators on sets arising from the differential equations and from metric tolerance relations on the state space.
Research partially supported by US Office of Naval Research, Grant N 00014-98-1-0535.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
R. Alur, T.A. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971–984, July 2000.
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.
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.
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.
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.
J.M. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88:985–1010, July 2000.
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.
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.
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.
H.K. Khalil. Nonlinear Systems. Prentice-Hall, 1996. Second edition.
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.
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.
G. Lafferriere, G.J. Pappas, and S. Sastry. O-minimal hybrid systems. Mathematics of Control, Signals, and Systems, 13:1–21, 2000.
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.
T. Moor and J. Raisch. Discrete control of switched linear systems. In Proceedings of the European Control Conference 1999, 1999.
T. Moor and J. Raisch. Supervisory control of hybrid systems within a behavioural framework. Systems and Control Letters, 38:157–166, 1999.
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.
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.
F. Wolter. Decision Problems for Combined Modal Logics. Habilitationsschrift. Institut fur Informatik, Universitat Leipzig, 1999.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moor, T., Davoren, J.M. (2001). Robust Controller Synthesis for Hybrid Systems Using Modal Logic. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds) Hybrid Systems: Computation and Control. HSCC 2001. Lecture Notes in Computer Science, vol 2034. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45351-2_35
Download citation
DOI: https://doi.org/10.1007/3-540-45351-2_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41866-5
Online ISBN: 978-3-540-45351-2
eBook Packages: Springer Book Archive