Computing Controllers for Nonlinear Hybrid Systems

  • Claire Tomlin
  • John Lygeros
  • Shankar Sastry
Conference paper

DOI: 10.1007/3-540-48983-5_22

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1569)
Cite this paper as:
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

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.

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