Find out how to access previewonly content
Date:
15 Apr 1999
Computing Controllers for Nonlinear Hybrid Systems
 Claire Tomlin,
 John Lygeros,
 Shankar Sastry
 … show all 3 hide
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 ReachAvoid set). We present a new characterization of the ReachAvoid set in terms of the solution of a pair of coupled HamiltonJacobi partial differential equations. We also discuss a computational algorithm for solving such partial differential equations and demonstrate its effectiveness on numerical examples.
 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 Noncooperative 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. WongToi, “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 curvaturedependent speed: Algorithms based on HamiltonJacobi formulations”, Journal of Computational Physics, vol. 79, pp. 12–49, 1988. CrossRef
 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 RungeKutta 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 HamiltonJacobi equations”, Transactions of the American Mathematical Society, vol. 277, no. 1, pp. 1–42, 1983. CrossRef
 M.G. Crandall, L.C. Evans, and P.L. Lions, “Some properties of viscosity solutions of HamiltonJacobi equations”, Transactions of the American Mathematical Society, vol. 282, no. 2, pp. 487–502, 1984. CrossRef
 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. CrossRef
 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. CrossRef
 Title
 Computing Controllers for Nonlinear Hybrid Systems
 Book Title
 Hybrid Systems: Computation and Control
 Book Subtitle
 Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings
 Pages
 pp 238255
 Copyright
 1999
 DOI
 10.1007/3540489835_22
 Print ISBN
 9783540657347
 Online ISBN
 9783540489832
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 1569
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag Berlin Heidelberg
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors

 Frits W. Vaandrager ^{(4)}
 Jan H. van Schuppen ^{(5)}
 Editor Affiliations

 4. Computing Science Institute, University of Nijmegen
 5. CWI
 Authors

 Claire Tomlin ^{(6)}
 John Lygeros ^{(7)}
 Shankar Sastry ^{(7)}
 Author Affiliations

 6. Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, 943054035
 7. Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, 947201770
Continue reading...
To view the rest of this content please follow the download PDF link above.