Synthesizing Controllers for Nonlinear Hybrid Systems
暂无分享,去创建一个
[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 .