Controlled Invariance of Discrete Time Systems
暂无分享,去创建一个
John Lygeros | S. Shankar Sastry | René Vidal | Shawn Schaffert | R. Vidal | S. Sastry | J. Lygeros | S. Schaffert
[1] V. Borkar,et al. A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..
[2] C. SIAMJ.,et al. MAXIMUM PRINCIPLE FOR A HYBRID SYSTEM VIA SINGULAR PERTURBATIONS∗ , 1999 .
[3] Jean-Louis Lassez,et al. Quanti er elimination for con-junctions of linear constraints via a convex hull algorithm , 1992 .
[4] Robert L. Grossman,et al. Timed Automata , 1999, CAV.
[5] Wolfgang Thomas,et al. On the Synthesis of Strategies in Infinite Games , 1995, STACS.
[6] H. Sussmann,et al. A maximum principle for hybrid optimal control problems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[7] Dirk van Dalen,et al. Logic and structure , 1980 .
[8] G. Grammel,et al. Maximum Principle for a Hybrid System Via Singular Perturbations , 1999 .
[9] B. Piccoli. Necessary conditions for hybrid optimization , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[10] Oded Maler,et al. Hybrid and Real-Time Systems , 1997 .
[11] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[12] A. Seidenberg. A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA , 1954 .
[13] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.
[14] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[15] Jim Alves-Foss,et al. Higher Order Logic Theorem Proving and its Applications 8th International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 : Proceedings , 1995 .
[16] John Lygeros,et al. Computing Controllers for Nonlinear Hybrid Systems , 1999, HSCC.
[17] John Lygeros,et al. Controllers for reachability specifications for hybrid systems , 1999, Autom..
[18] Feng Lin,et al. Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints , 1997, HART.
[19] S. Shankar Sastry,et al. Hierarchically consistent control systems , 2000, IEEE Trans. Autom. Control..
[20] Ian M. Mitchell,et al. Integrating Projections , 1998, HSCC.
[21] George E. Collins,et al. Cylindrical Algebraic Decomposition I: The Basic Algorithm , 1984, SIAM J. Comput..
[22] P. Caines,et al. Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..
[23] C. Tomlin,et al. Controllers for Reachability Speciications for Hybrid Systems , 1999 .
[24] Oded Maler,et al. Reachability Analysis via Face Lifting , 1998, HSCC.
[25] Thomas Sturm,et al. REDLOG: computer algebra meets computer logic , 1997, SIGS.
[26] Joseph Lewin,et al. Differential Games , 1994 .
[27] Anil Nerode,et al. Multiple Agent Hybrid Control Architecture , 1992, Hybrid Systems.
[28] A. Bensoussan,et al. Hybrid control and dynamic programming , 1997 .
[29] Vijay Chandru,et al. Variable Elimination in Linear Constraints , 1993, Comput. J..
[30] George J. Pappas,et al. Hybrid systems: computation and abstraction , 1998 .
[31] H. Wong-Toi,et al. The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[32] Jana Kosecka,et al. Control of Discrete Event Systems , 1992 .
[33] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .