Synthesizing Controllers for Nonlinear Hybrid Systems

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.

[1]  Wolfgang Thomas,et al.  On the Synthesis of Strategies in Infinite Games , 1995, STACS.

[2]  Ralph Duncan James,et al.  Proceedings of the International Congress of Mathematicians , 1975 .

[3]  Wolfgang Thomas,et al.  Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4]  E. Rowland.  Theory of Games and Economic Behavior , 1946, Nature.

[5]  Rufus Isaacs,et al.  Differential Games , 1965 .

[6]  Amir Pnueli,et al.  Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.

[7]  Panos J. Antsaklis,et al.  Hybrid Systems II , 1994, Lecture Notes in Computer Science.

[8]  Pravin Varaiya,et al.  Viable Control of Hybrid Systems , 1994, Hybrid Systems.

[9]  James A. Sethian,et al.  Theory, algorithms, and applications of level set methods for propagating interfaces , 1996, Acta Numerica.

[10]  A. Yezzi,et al.  Phase transitions, curve evolution, and the control of semiconductor manufacturing processes , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[11]  John Lygeros,et al.  A verified hybrid controller for automated vehicles , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[12]  J. R. Büchi,et al.  Solving sequential conditions by finite-state strategies , 1969 .

[13]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[14]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[15]  J. Pearson.  Linear multivariable control, a geometric approach , 1977 .

[16]  M. Rabin.  Automata on Infinite Objects and Church's Problem , 1972 .

[17]  J. Meditch,et al.  Applied optimal control , 1972, IEEE Transactions on Automatic Control.

[18]  P. Lions.  Generalized Solutions of Hamilton-Jacobi Equations , 1982 .

[19]  A. Puri.  Theory of hybrid systems and discrete event systems , 1996 .