Reachability Analysis of Hybrid Systems Using Support Functions

[1]  Colas Le Guernic.  Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. (Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire) , 2009 .

[2]  Michael Joswig,et al.  Polymake: an approach to modular software design in computational geometry , 2001, SCG '01.

[3]  Antoine Girard,et al.  Reachability Analysis of Hybrid Systems Using Support Functions , 2009, CAV.

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

[5]  R. Schneider.  Convex Bodies: The Brunn–Minkowski Theory: Minkowski addition , 1993 .

[6]  Antoine Girard,et al.  SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.

[7]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.

[8]  Antoine Girard,et al.  Reachability Analysis of Nonlinear Systems Using Conservative Approximation , 2003, HSCC.

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

[10]  Hans Raj Tiwary.  On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes , 2008, Discret. Comput. Geom..

[11]  A. Land,et al.  An Automatic Method for Solving Discrete Programming Problems , 1960, 50 Years of Integer Programming.

[12]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

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

[14]  Java Binding,et al.  GNU Linear Programming Kit , 2011 .

[15]  G. Rote,et al.  Sandwich approximation of univariate convex functions with an application to separable convex programming , 1991 .

[16]  Alberto Bemporad,et al.  Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings , 2007, HSCC.

[17]  Ian M. Mitchell.  Comparing Forward and Backward Reachability as Tools for Safety Analysis , 2007, HSCC.

[18]  Goran Frehse,et al.  Design Principles for an Extendable Verification Tool for Hybrid Systems , 2009, ADHS.

[19]  Andrei Alexandrescu,et al.  Modern C++ design: generic programming and design patterns applied , 2001 .

[20]  George B. Dantzig,et al.  Linear Programming 1: Introduction , 1997 .

[21]  M. Livio.  The Golden Ratio: The Story of Phi, the World's Most Astonishing Number , 2002 .

[22]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[23]  Wang Yi,et al.  A Tool Architecture for the Next Generation of Uppaal , 2002, 10th Anniversary Colloquium of UNU/IIST.

[24]  Antoine Girard,et al.  Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs , 2006, HSCC.

[25]  B. Krogh,et al.  Computing polyhedral approximations to flow pipes for dynamic systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[26]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

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

[28]  Günter Rote,et al.  The convergence rate of the sandwich algorithm for approximating convex functions , 1992, Computing.

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

[30]  Stavros Tripakis,et al.  KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98) , 1998, FTRTFT.

[31]  Eugene Asarin,et al.  The d/dt Tool for Verification of Hybrid Systems , 2002, CAV.

[32]  Thomas A. Henzinger,et al.  Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[33]  A. Girard,et al.  Efficient reachability analysis for linear systems using support functions , 2008 .

[34]  Sumit Kumar Jha,et al.  A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata , 2008, HSCC.

[35]  Henny B. Sipma,et al.  Scalable Analysis of Linear Systems Using Mathematical Programming , 2005, VMCAI.

[36]  Roberto Bagnara,et al.  Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library , 2002, SAS.

[37]  Sriram Sankaranarayanan,et al.  Symbolic Model Checking of Hybrid Systems Using Template Polyhedra , 2008, TACAS.

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

[39]  K. Vinod Kumar,et al.  Support Function Representation of Convex Bodies, Its Application in Geometric Computing, and Some Related Representations , 1998, Comput. Vis. Image Underst..

[40]  Goran Frehse,et al.  PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.

[41]  Roberto Bagnara,et al.  The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems , 2006, Sci. Comput. Program..

[42]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..