Vector Barrier Certificates and Comparison Systems

[1]  André Platzer,et al.  Differential Equation Axiomatization: The Impressive Power of Differential Ghosts , 2018, LICS.

[2]  Michel Kieffer,et al.  Construction of parametric barrier functions for dynamical systems using interval analysis , 2015, Autom..

[3]  Liyun Dai,et al.  Barrier certificates revisited , 2013, J. Symb. Comput..

[4]  André Platzer,et al.  A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets , 2017, Comput. Lang. Syst. Struct..

[5]  Xin Chen,et al.  A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems , 2016, FM.

[6]  James Kapinski,et al.  Locally optimal reach set over-approximation for nonlinear systems , 2016, 2016 International Conference on Embedded Software (EMSOFT).

[7]  Sriram Sankaranarayanan,et al.  Validating numerical semidefinite programming solvers for polynomial invariants , 2016, SAS.

[8]  Michel Kieffer,et al.  Computation of parametric barrier functions for dynamical systems using interval analysis , 2014, 53rd IEEE Conference on Decision and Control.

[9]  Pablo A. Parrilo,et al.  SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB , 2013, ArXiv.

[10]  Hui Kong,et al.  Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems , 2013, CAV.

[11]  Xin Chen,et al.  Lyapunov Function Synthesis Using Handelman Representations , 2013, NOLCOS.

[12]  Xin Chen,et al.  Taylor Model Flowpipe Construction for Non-linear Hybrid Systems , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[13]  Peter Jonsson,et al.  Essential Convexity and Complexity of Semi-Algebraic Constraints , 2012, Log. Methods Comput. Sci..

[14]  Rafael Wisniewski,et al.  Compositional safety analysis using barrier certificates , 2012, HSCC '12.

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

[16]  André Platzer,et al.  The Structure of Differential Invariants and Differential Cut Elimination , 2011, Log. Methods Comput. Sci..

[17]  Naijun Zhan,et al.  Computing semi-algebraic invariants for polynomial dynamical systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[18]  Stefan Ratschan,et al.  Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions , 2010, SIAM J. Control. Optim..

[19]  Janan Zaytoon,et al.  Safety verification and reachability analysis for hybrid systems , 2009, Annu. Rev. Control..

[20]  Pablo A. Parrilo,et al.  Computing sum of squares decompositions with rational coefficients , 2008 .

[21]  Edmund M. Clarke,et al.  Computing differential invariants of hybrid systems as fixedpoints , 2008, Formal Methods Syst. Des..

[22]  W. Haddad,et al.  Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach , 2008 .

[23]  Ashish Tiwari,et al.  Abstractions for hybrid systems , 2008, Formal Methods Syst. Des..

[24]  George J. Pappas,et al.  A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.

[25]  Stefan Ratschan,et al.  Efficient solving of quantified inequality constraints over the real numbers , 2002, TOCL.

[26]  J. Doyle,et al.  Optimization-based methods for nonlinear and hybrid systems verification , 2005 .

[27]  Ali Jadbabaie,et al.  Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.

[28]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

[29]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[30]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[31]  Wolfgang Walter,et al.  Differential inequalities and maximum principles: theory, new methods, and applications , 1997 .

[32]  D. Hinrichsen,et al.  Robust Stability of positive continuous time systems , 1996 .

[33]  J. A. Walker,et al.  The general problem of the stability of motion , 1994 .

[34]  George E. Collins,et al.  Partial Cylindrical Algebraic Decomposition for Quantifier Elimination , 1991, J. Symb. Comput..

[35]  V. Lakshmikantham,et al.  Vector Lyapunov Functions and Stability Analysis of Nonlinear Systems , 1991 .

[36]  D. Handelman.  Representing polynomials by positive linear functions on compact convex polyhedra. , 1988 .

[37]  M. Vidyasagar,et al.  Qualitative Analysis of Large Scale Dynamical Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics.

[38]  N. Rouche,et al.  Stability Theory by Liapunov's Direct Method , 1977 .

[39]  Patrick Habets,et al.  Classification of stability-like concepts and their study using vector Lyapunov functions , 1973 .

[40]  R. Gunderson.  A stability condition for linear comparison systems , 1971 .

[41]  Daniel Richardson,et al.  Some undecidable problems involving elementary functions of a real variable , 1969, Journal of Symbolic Logic.

[42]  V. Lakshmikantham,et al.  Differential and integral inequalities : theory and applications , 1969 .

[43]  吉沢 太郎.  Stability theory by Liapunov's second method , 1966 .

[44]  F. Brauer.  Some Refinements of Lyapunov's Second Method , 1965, Canadian Journal of Mathematics.

[45]  P. Hartman.  Ordinary Differential Equations , 1965 .

[46]  J. C. Burkill,et al.  Ordinary Differential Equations , 1964 .

[47]  Jack K. Hale,et al.  Differential Equations: Linearity vs. Nonlinearity , 1963 .

[48]  R. Bellman.  Vector Lyanpunov Functions , 1962 .

[49]  V. Matrosov.  On the theory of stability of motion , 1962 .

[50]  Fred Brauer,et al.  Global behavior of solutions of ordinary differential equations , 1961 .

[51]  Roberto Conti,et al.  Sulla prolungabilità delle soluzioni di un sistema di equazioni differenziali ordinarie. , 1956 .