AN INTRODUCTION TO HYBRID SYSTEM MODELING ANALYSIS AND CONTROL JOHN LYGEROS GEORGE PAPPAS AND SHANKAR SASTRY
暂无分享,去创建一个
[1] G. Grammel,et al. Maximum Principle for a Hybrid System Via Singular Perturbations , 1999 .
[2] John Lygeros,et al. Synthesizing Controllers for Nonlinear Hybrid Systems , 1998, HSCC.
[3] Michael S. Branicky,et al. Studies in hybrid systems: modeling, analysis, and control , 1996 .
[4] H. Wong-Toi,et al. The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[5] John Lygeros,et al. Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..
[6] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[7] A. J. van der Schaft,et al. Complementarity modeling of hybrid systems , 1998, IEEE Trans. Autom. Control..
[8] Pravin Varaiya,et al. Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.
[9] S. Shankar Sastry,et al. Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..
[10] Pravin Varaiya,et al. Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.
[11] Bruno Sinopoli,et al. Hybrid Control of an Autonomous Helicopter , 1998 .
[12] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[13] Ieee Transactions On Automatic Control, Vol. Ac-2'7, No. 3, June 1982 , .
[14] Akash Deshpande,et al. The SHIFT programming language for dynamic networks of hybrid automata , 1998 .
[15] Ian M. Mitchell,et al. Integrating Projections , 1998, HSCC.
[16] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.
[17] George J. Pappas,et al. Reachability analysis of hybrid systems using bisimulations , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[18] Jun-ichi Imura,et al. Well-Posedness of a Class of Piecewise Linear Systems with No Jumps , 1999, HSCC.
[19] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[20] S. Sastry,et al. On the existence of executions of hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[21] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[22] P. Caines,et al. Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..
[23] Gerardo Lafferriere,et al. A New Class of Decidable Hybrid Systems , 1999, HSCC.
[24] J. Sethian. METHODS FOR PROPAGATING INTERFACES , 1998 .
[25] Pieter J. Mosterman,et al. An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages , 1999, HSCC.
[26] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[27] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[28] M. Egerstedt,et al. On the regularization of Zeno hybrid automata , 1999 .
[29] Anil Nerode,et al. Multiple Agent Autonomous Control A Hybrid Systems Architecture , 1993 .
[30] Oded Maler,et al. Reachability Analysis via Face Lifting , 1998, HSCC.
[31] Mats Andersson,et al. Object-Oriented Modeling and Simulation of Hybrid Systems , 1994 .
[32] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[33] Feng Lin,et al. Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints , 1997, HART.
[34] M. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..
[35] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[36] John Lygeros,et al. Computing Controllers for Nonlinear Hybrid Systems , 1999, HSCC.
[37] S. Sastry,et al. Simulation of Zeno hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[38] John Lygeros,et al. On controller synthesis for nonlinear hybrid systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[39] A. Michel,et al. Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..
[40] C. Tomlin,et al. Controllers for Reachability Speciications for Hybrid Systems , 1999 .
[41] Nancy A. Lynch,et al. A Toolbox for Proving and MaintainingHybrid Speci cationsMichael , 1997 .
[42] A. Bensoussan,et al. Hybrid control and dynamic programming , 1997 .
[43] S. Shankar Sastry,et al. O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..
[44] L. van den Dries,et al. Tame Topology and O-minimal Structures , 1998 .
[45] George J. Pappas,et al. Reachability computation for linear hybrid systems , 1999 .
[46] Myla Archer,et al. Verifying Hybrid Systems Modeled as Timed Automata: A Case Study , 1997, HART.
[47] Anders Rantzer,et al. Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).