Abstract
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dynamical system that can be driven to a subset of the state space, avoiding another subset of the state space (the Reach-Avoid set). We present a new characterization of the Reach-Avoid set in terms of the solution of a pair of coupled Hamilton-Jacobi partial differential equations. We also discuss a computational algorithm for solving such partial differential equations and demonstrate its effectiveness on numerical examples.
Research supported by NASA under grant NAG 2-1039, by ONR under grant N00014-97-1-0946, by DARPA under contract F33615-98-C-3614 and by a Zonta Postgraduate Fellowship.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W. Thomas, “On the synthesis of strategies in infinite games”, in Proceedings of STACS 95, Volume 900 of LNCS, Ernst W. Mayr and Claude Puech, Eds., pp. 1–13. Springer Verlag, Munich, 1995.
T. Başar and G.J. Olsder, Dynamic Non-cooperative Game Theory, Academic Press, second edition, 1995.
O. Maler, A. Pnueli, and J. Sifakis, “On the synthesis of discrete controllers for timed systems”, in STACS 95: Theoretical Aspects of Computer Science, Ernst W. Mayr and Claude Puech, Eds., Lecture Notes in Computer Science 900, pp. 229–242. Springer Verlag, Munich, 1995.
H. Wong-Toi, “The synthesis of controllers for linear hybrid automata”, in Proceedings of the IEEE Conference on Decision and Control, San Diego, CA, 1997.
J. Lygeros, C. Tomlin, and S. Sastry, “Controllers for reachability specifications for hybrid systems”, Automatica, vol. 35, no. 3, 1999, To appear.
C. Tomlin, J. Lygeros, and S. Sastry, “Synthesizing controllers for nonlinear hybrid systems”, in Hybrid Systems: Computation and Control, T. Henzinger and S. Sastry, Eds., Lecture Notes in Computer Science 1386, pp. 360–373. Springer Verlag, New York, 1998.
J. Lygeros, C. Tomlin, and S. Sastry, “On controller synthesis for nonlinear hybrid systems”, in Proceedings of the IEEE Conference on Decision and Control, Tampa, FL, 1998, pp. 2101–2106.
S. Osher and J.A. Sethian, “Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations”, Journal of Computational Physics, vol. 79, pp. 12–49, 1988.
Claire J. Tomlin, Hybrid Control of Air Traffic Management Systems, PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1998.
Michael S. Branicky and Sanjoy K. Mitter, “Algorithms for optimal hybrid control”, in Proceedings of the IEEE Conference on Decision and Control, 1995, pp. 2661–2666.
Adam L. Schwartz, Theory and Implementation of Numerical Methods Based on Runge-Kutta Integration for Solving Optimal Control Problems, PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1996.
M.G. Crandall and P.-L. Lions, “Viscosity solutions of Hamilton-Jacobi equations”, Transactions of the American Mathematical Society, vol. 277, no. 1, pp. 1–42, 1983.
M.G. Crandall, L.C. Evans, and P.-L. Lions, “Some properties of viscosity solutions of Hamilton-Jacobi equations”, Transactions of the American Mathematical Society, vol. 282, no. 2, pp. 487–502, 1984.
J.A. Sethian, Level Set Methods: Evolving Interfaces in Geometry, Fluid Mechanics, Computer Vision, and Materials Science, Cambridge University Press, New York, 1996.
R. Malladi, J.A. Sethian, and B.C. Vemuri, “Shape modeling with front propagation: A level set approach”, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 17, no. 2, pp. 158–175, 1995.
J.M. Berg, A. Yezzi, and A.R. Tannenbaum, “Phase transitions, curve evolution, and the control of semiconductor manufacturing processes”, in Proceedings of the IEEE Conference on Decision and Control, Kobe, 1996, pp. 3376–3381.
A. Puri, P. Varaiya, and V. Borkar, “ε-approximation of differential inclusions”, in Proceedings of the IEEE Conference on Decision and Control, New Orleans, LA, 1995, pp. 2892–2897.
T. Dang and O. Maler, “Reachability analysis via face lifting”, in Hybrid Systems: Computation and Control, S. Sastry and T.A. Henzinger, Eds., number 1386 in LNCS, pp. 96–109. Springer Verlag, 1998.
M.R. Greenstreet and I. Mitchell, “Integrating projections”, in Hybrid Systems: Computation and Control, S. Sastry and T.A. Henzinger, Eds., number 1386 in LNCS, pp. 159–174. Springer Verlag, 1998.
D.P. Bertsekas, Constraint Optimization and Lagrange Multiplier Methods, Academic Press, New York, 1982.
E. Polak, Optimization: Algorithms and Consistent Approximations, Springer Verlag, New York, 1997.
A.B. Kurzhanski and I. Valyi, Ellipsoidal calculus for estimation and control, Birkhauser, Boston, 1997.
L. Vandenberghe, S. Boyd, and S.-P. Wu, “Determinant maximization with linear matrix inequality constraints”, SIAM Journal on Matrix Analysis and Applications, vol. 19, no. 2, pp. 499–533, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tomlin, C., Lygeros, J., Sastry, S. (1999). Computing Controllers for Nonlinear Hybrid Systems. In: Vaandrager, F.W., van Schuppen, J.H. (eds) Hybrid Systems: Computation and Control. HSCC 1999. Lecture Notes in Computer Science, vol 1569. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48983-5_22
Download citation
DOI: https://doi.org/10.1007/3-540-48983-5_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65734-7
Online ISBN: 978-3-540-48983-2
eBook Packages: Springer Book Archive