Chapter

Hybrid Systems: Computation and Control

Volume 1386 of the series Lecture Notes in Computer Science pp 360-373

Date:

Synthesizing controllers for nonlinear hybrid systems

  • Claire TomlinAffiliated withDepartment of Electrical Engineering and Computer Sciences, University of California
  • , John LygerosAffiliated withDepartment of Electrical Engineering and Computer Sciences, University of California
  • , Shankar SastryAffiliated withDepartment of Electrical Engineering and Computer Sciences, University of California

* Final gross prices may vary according to local VAT.

Get Access

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.