Computing Controllers for Nonlinear Hybrid Systems

  • Claire Tomlin
  • John Lygeros
  • Shankar Sastry
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1569)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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.Google Scholar
  2. 2.
    T. Başar and G.J. Olsder, Dynamic Non-cooperative Game Theory, Academic Press, second edition, 1995.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    J. Lygeros, C. Tomlin, and S. Sastry, “Controllers for reachability specifications for hybrid systems”, Automatica, vol. 35, no. 3, 1999, To appear.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    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.MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Claire J. Tomlin, Hybrid Control of Air Traffic Management Systems, PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1998.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    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.MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    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.MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    J.A. Sethian, Level Set Methods: Evolving Interfaces in Geometry, Fluid Mechanics, Computer Vision, and Materials Science, Cambridge University Press, New York, 1996.MATHGoogle Scholar
  15. 15.
    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.CrossRefGoogle Scholar
  16. 16.
    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.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    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.Google Scholar
  19. 19.
    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.Google Scholar
  20. 20.
    D.P. Bertsekas, Constraint Optimization and Lagrange Multiplier Methods, Academic Press, New York, 1982.Google Scholar
  21. 21.
    E. Polak, Optimization: Algorithms and Consistent Approximations, Springer Verlag, New York, 1997.MATHGoogle Scholar
  22. 22.
    A.B. Kurzhanski and I. Valyi, Ellipsoidal calculus for estimation and control, Birkhauser, Boston, 1997.MATHGoogle Scholar
  23. 23.
    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.MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Claire Tomlin
    • 1
  • John Lygeros
    • 2
  • Shankar Sastry
    • 2
  1. 1.Department of Aeronautics and AstronauticsStanford UniversityStanford
  2. 2.Department of Electrical Engineering and Computer SciencesUniversity of CaliforniaBerkeley

Personalised recommendations