Computational Techniques for the Verification and Control of Hybrid Systems

[1]  Inseok Hwang,et al.  Applications of polytopic approximations of reachable sets to linear dynamic games and a class of nonlinear systems , 2003, Proceedings of the 2003 American Control Conference, 2003..

[2]  Ronald Fedkiw,et al.  Level set methods and dynamic implicit surfaces , 2002, Applied mathematical sciences.

[3]  Jean-Pierre Aubin,et al.  Impulse differential inclusions: a viability approach to hybrid systems , 2002, IEEE Trans. Autom. Control..

[4]  Alexandre M. Bayen,et al.  Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques , 2002, HSCC.

[5]  Bruce H. Krogh,et al.  Verification of infinite-state dynamic systems using approximate quotient transition systems , 2001, IEEE Trans. Autom. Control..

[6]  Ian M. Mitchell,et al.  Safety verification of conflict resolution manoeuvres , 2001, IEEE Trans. Intell. Transp. Syst..

[7]  Datta N. Godbole,et al.  Addressing Multiobjective Control: Safety and Performance through Constrained Optimization , 2001, HSCC.

[8]  Alexandre M. Bayen,et al.  Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets , 2001, HSCC.

[9]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[10]  S. Shankar Sastry,et al.  Decidable Controller Synthesis for Classes of Linear Systems , 2000, HSCC.

[11]  John Lygeros,et al.  Controlled Invariance of Discrete Time Systems , 2000, HSCC.

[12]  Olivier Bournez,et al.  Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.

[13]  Danping Peng,et al.  Weighted ENO Schemes for Hamilton-Jacobi Equations , 1999, SIAM J. Sci. Comput..

[14]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[15]  S. Sastry.  Nonlinear Systems: Analysis, Stability, and Control , 1999 .

[16]  James A. Sethian,et al.  Level Set Methods and Fast Marching Methods , 1999 .

[17]  Alberto Bemporad,et al.  Verification of Hybrid Systems via Mathematical Programming , 1999, HSCC.

[18]  Alberto L. Sangiovanni-Vincentelli,et al.  Hybrid Control for Automotive Engine Management: The Cut-Off Case , 1998, HSCC.

[19]  Oded Maler,et al.  Reachability Analysis via Face Lifting , 1998, HSCC.

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

[21]  Sergio Yovine,et al.  KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.

[22]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[23]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[24]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[25]  Asaf Degani,et al.  Modeling human-machine systems :on modes, error, and patterns of interaction , 1996 .

[26]  David L. Dill,et al.  The Murphi Verification System , 1996, CAV.

[27]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[28]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[29]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

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

[31]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[32]  Akash Deshpande,et al.  Control of hybrid systems , 1994 .

[33]  Pravin Varaiya,et al.  Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.

[34]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[35]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[36]  Natarajan Shankar,et al.  PVS: A Prototype Verification System , 1992, CADE.

[37]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[38]  S. Osher,et al.  High-order essentially nonsocillatory schemes for Hamilton-Jacobi equations , 1990 .

[39]  W. M. Wonham,et al.  The control of discrete event systems , 1989, Proc. IEEE.

[40]  S. Osher,et al.  Efficient implementation of essentially non-oscillatory shock-capturing schemes,II , 1989 .

[41]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

[42]  J. Sethian,et al.  Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .

[43]  P. Lions,et al.  Two approximations of solutions of Hamilton-Jacobi equations , 1984 .

[44]  P. Lions,et al.  Some Properties of Viscosity Solutions of Hamilton-Jacobi Equations. , 1984 .

[45]  L. Landweber,et al.  Solving sequential conditions by finite-state strategies , 1969 .

[46]  J. Neumann,et al.  Theory of games and economic behavior , 1945, 100 Years of Math Milestones.

[47]  P. Varaiya,et al.  Differential games , 1971 .

[48]  Alexandre M. Bayen,et al.  Hybrid verification of an interface for an automatic landing , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[49]  Oded Maler,et al.  Guest Editorial: Verification of Hybrid Systems , 2001, Eur. J. Control.

[50]  Stavros Tripakis,et al.  Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations , 2000, HSCC.

[51]  P. Saint-Pierre,et al.  Set-Valued Numerical Analysis for Optimal Control and Differential Games , 1999 .

[52]  T. Başar,et al.  Stochastic and differential games : theory and numerical methods , 1999 .

[53]  J. C Willems,et al.  Perspectives in Control , 1998 .

[54]  S. Sastry,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[55]  John Lygeros,et al.  Hierarchical, Hybrid Control of Large Scale Systems , 1996 .

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

[57]  Roger W. Brockett,et al.  Hybrid Models for Motion Control Systems , 1993 .

[58]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[59]  Bruce A. Francis,et al.  Feedback Control Theory , 1992 .

[60]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[61]  J. Anderson,et al.  Fundamentals of Aerodynamics , 1984 .