SpaceEx: Scalable Verification of Hybrid Systems, Computer Aided Verification, pp.379-395, 2011. ,
DOI : 10.1007/978-3-642-00768-2_32
URL : https://hal.archives-ouvertes.fr/hal-00769608
Constructing invariants for hybrid systems, Hybrid Systems: Computation and Control, pp.539-554, 2004. ,
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems, Hybrid Systems: Computation and Control, pp.20-31, 2000. ,
DOI : 10.1007/3-540-46430-1_6
URL : https://hal.archives-ouvertes.fr/inria-00099316
Approximate Reachability for Linear Systems, Hybrid Systems: Computation and Control, pp.514-525, 2003. ,
DOI : 10.1007/3-540-36580-X_37
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations, Hybrid Systems: Computation and Control, pp.76-90, 1999. ,
DOI : 10.1007/3-540-48983-5_10
Safety Verification of Hybrid Systems Using Barrier Certificates, Hybrid Systems: Computation and Control, pp.477-492, 2004. ,
DOI : 10.1007/978-3-540-24743-2_32
Guaranteed tuning, with application to robust control and motion planning, Automatica, vol.32, issue.8, pp.1217-1221, 1996. ,
Solving Polynomial Systems Using a Branch and Prune Approach, SIAM Journal on Numerical Analysis, vol.34, issue.2, pp.797-827, 1997. ,
DOI : 10.1137/S0036142995281504
Applied Interval Analysis, 2001. ,
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131
On the formal verification of hybrid systems, Control Engineering Practice, vol.12, issue.10, pp.1253-1267, 2004. ,
DOI : 10.1016/j.conengprac.2004.03.015
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs, Hybrid Systems: Computation and Control, pp.257-271, 2006. ,
DOI : 10.1007/11730637_21
URL : https://hal.archives-ouvertes.fr/hal-00171555
Computational techniques for hybrid system verification Automatic Control, IEEE Transactions on, vol.48, issue.1, pp.64-75, 2003. ,
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems, 2012 IEEE 33rd Real-Time Systems Symposium, pp.183-192, 2012. ,
DOI : 10.1109/RTSS.2012.70
On the estimation of asymptotic stability regions: State of the art and new proposals, IEEE Transactions on Automatic Control, vol.30, issue.8, pp.747-755, 1985. ,
DOI : 10.1109/TAC.1985.1104057
Semidefinite programming relaxations for semialgebraic problems Mathematical programming, pp.293-320, 2003. ,
Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions, 2006 IEEE International Conference on Computational Cybernetics, pp.1-5, 2006. ,
DOI : 10.1109/ICCCYB.2006.305705
Constraint-Based Approach for Analysis of Hybrid Systems, Computer Aided Verification, pp.190-203, 2008. ,
DOI : 10.1007/978-3-540-70545-1_18
Methods and applications of interval analysis, 1979. ,
DOI : 10.1137/1.9781611970906
Efficient solving of quantified inequality constraints over the real numbers, ACM Transactions on Computational Logic, vol.7, issue.4, pp.723-748, 2006. ,
DOI : 10.1145/1183278.1183282
Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009. ,
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957
Upper bounding in inner regions for global optimization under inequality constraints, Journal of Global Optimization, vol.103, issue.2, pp.1-20, 2012. ,
DOI : 10.1007/s10898-014-0145-7
URL : https://hal.archives-ouvertes.fr/hal-01061701
A globally asymptotically stable polynomial vector field with no polynomial Lyapunov function, IEEE Conference on Decision and Control and European Control Conference, pp.7579-7580, 2011. ,
DOI : 10.1109/CDC.2011.6161499
Two FORTRAN packages for assessing initial value methods, ACM Transactions on Mathematical Software, vol.13, issue.1, pp.1-27, 1987. ,
DOI : 10.1145/23002.27645
Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition, Positive Polynomials in Control, pp.23-43, 2005. ,
DOI : 10.1007/10997703_2