G. Frehse, C. L. Guernic, A. Donzé, S. Cotton, R. Ray et al., 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

S. Sankaranarayanan, H. B. Sipma, and Z. Manna, Constructing invariants for hybrid systems, Hybrid Systems: Computation and Control, pp.539-554, 2004.

E. Asarin, O. Bournez, T. Dang, and O. Maler, 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

A. Tiwari, Approximate Reachability for Linear Systems, Hybrid Systems: Computation and Control, pp.514-525, 2003.
DOI : 10.1007/3-540-36580-X_37

A. Chutinan and B. H. Krogh, 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

S. Prajna and A. Jadbabaie, 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

L. Walter, Guaranteed tuning, with application to robust control and motion planning, Automatica, vol.32, issue.8, pp.1217-1221, 1996.

P. Van-hentenryck, D. Mcallester, and D. Kapur, 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

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6

URL : https://hal.archives-ouvertes.fr/hal-00845131

H. Guéguen and J. Zaytoon, 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

A. Girard, C. L. Guernic, and O. Maler, 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

A. Chutinan and B. H. Krogh, Computational techniques for hybrid system verification Automatic Control, IEEE Transactions on, vol.48, issue.1, pp.64-75, 2003.

X. Chen, E. Abrahám, and S. Sankaranarayanan, 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

R. Genesio, M. Tartaglia, and A. Vicino, 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

P. A. Parrilo, Semidefinite programming relaxations for semialgebraic problems Mathematical programming, pp.293-320, 2003.

S. Ratschan and Z. She, 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

S. Gulwani and A. Tiwari, Constraint-Based Approach for Analysis of Hybrid Systems, Computer Aided Verification, pp.190-203, 2008.
DOI : 10.1007/978-3-540-70545-1_18

R. E. Moore and R. Moore, Methods and applications of interval analysis, 1979.
DOI : 10.1137/1.9781611970906

S. Ratschan, 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

G. Chabert and L. Jaulin, 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

I. Araya, G. Trombettoni, B. Neveu, and G. Chabert, 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. A. Ahmadi, M. Krstic, and P. A. Parrilo, 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

W. H. Enright and J. D. Pryce, 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

A. Papachristodoulou and S. Prajna, Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition, Positive Polynomials in Control, pp.23-43, 2005.
DOI : 10.1007/10997703_2