Synthesizing controllers for nonlinear hybrid systems
- 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
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.
Unable to display preview. Download preview PDF.