Synthesizing controllers for nonlinear hybrid systems

  • Claire Tomlin
  • John Lygeros
  • Shankar Sastry
Conference paper

DOI: 10.1007/3-540-64358-3_51

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1386)
Cite this paper as:
Tomlin C., Lygeros J., Sastry S. (1998) Synthesizing controllers for nonlinear hybrid systems. In: Henzinger T.A., Sastry S. (eds) Hybrid Systems: Computation and Control. HSCC 1998. Lecture Notes in Computer Science, vol 1386. Springer, Berlin, Heidelberg

Abstract

Motivated by an example from aircraft conflict resolution we seek a methodology for synthesizing controllers for nonlinear hybrid automata. We first show how game theoretic methodologies developed for this purpose for finite automata and continuous systems can be cast in a unified framework. We then present a conceptual algorithm for extending them to the hybrid setting. We conclude with a discussion of computational issues.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • Claire Tomlin
    • 1
  • John Lygeros
    • 1
  • Shankar Sastry
    • 1
  1. 1.Department of Electrical Engineering and Computer SciencesUniversity of CaliforniaBerkelev

Personalised recommendations