I. Araya, G. Trombettoni, and B. Neveu, A Contractor Based on Convex Interval Taylor, Proc. of CPAIOR, vol.7298, pp.1-16, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00673447

E. Asarin, T. Dang, and A. Girard, Reachability analysis of nonlinear systems using conservative approximation, Hybrid Systems: Computation and Control, pp.20-35, 2003.

, Hybridization methods for the analysis of nonlinear systems, Acta Informatica 7.43, pp.451-476, 2007.

J. P. Aubin, Viability Kernels and Capture Basins of Sets Under Differential Inclusions, SIAM Journal on Control and Optimization, vol.40, pp.363-0129, 2001.

J. P. Aubin and H. Frankowska, Set-Valued Analysis, 1990.

A. Bacha, H. Jerbi, and N. B. Braiek, On the Estimation of Asymptotic Stability Region of Nonlinear Polynomial Systems: Geometrical Approaches, New Approaches in Automation and Robotics. Ed. by H. Aschemann. I-Tech Education and Publishing, pp.55-72, 2008.

A. Barreiro, J. Aracil, and D. Pagano, Detection of attraction domains of non-linear systems using bifurcation analysis and Lyapunov functions, International Journal of Control, vol.75, pp.314-327, 2002.

A. M. Bayen, Aircraft Autolander Safety Analysis Through Optimal Control-Based Reach Set Computation, Journal of Guidance, Control, and Dynamics, vol.30, pp.731-5090, 2007.

J. Biemond and W. Michiels, Estimation of basins of attraction for controlled systems with input saturation and time-delays, IFAC Proceedings Volumes 47.3, pp.11006-11011, 2014.

F. Blanchini and S. Miani, Set-Theoretic Methods in Control, pp.978-978, 2007.

O. Bouissou, Computation of parametric barrier functions for dynamical systems using interval analysis, 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), pp.753-758, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01073673

G. Chabert and L. Jaulin, QUIMPER, A Language for Quick Interval Modelling and Programming in a BoundedError Context, Artificial Intelligence, vol.173, pp.1079-1100, 2009.

P. Collins and A. Goldsztejn, The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems, Electronic Notes in Theoretical Computer Science, vol.223, pp.87-102, 2008.

C. Combastel, A State Bounding Observer for Uncertain Non-linear Continuous-time Systems based on Zonotopes, 2005.

P. Cousot and R. Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pp.238-252, 1977.

N. Delanoue, L. Jaulin, and B. Cottenceau, Attraction domain of a nonlinear system using interval analysis, Twelfth International Conference on Principles and Practice of Constraint Programming, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00860152

A. Desilles, H. Zidani, and E. Cruck, Collision analysis for an UAV, AIAA Guidance, Navigation, and Control Conference, pp.13-16, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00756389

B. Desrochers and L. Jaulin, A minimal contractor for the polar equation: Application to robot localization, Engineering Applications of Artificial Intelligence, vol.55, pp.952-1976, 2016.

L. Doyen, J. F. Ta-henzinger, and . Raskin, Automatic rectangular refinement of affine hybrid systems, Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, pp.144-161, 2005.

V. Drevelle and P. Bonnifait, Localization confidence domains via set inversion on short-term trajectory, IEEE Transactions on Robotics, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00877443

L. E. Dubins, On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents, In: American Journal of Mathematics, vol.79, pp.497-516, 1957.

W. Esterhuizen and J. Lévine, Barriers and potentially safe sets in hybrid systems: Pendulum with non-rigid cable, Automatica, vol.73, pp.5-1098, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01549638

Y. Gao, J. Lygeros, and M. Quincampoix, The reachability problem for uncertain hybrid systems revisited: a viability theory perspective, Hybrid Systems: Computation and Control, pp.242-256, 2006.

A. Girard, Computation and stability analysis of limit cycles in piecewise linear hybrid systems, 1st IFAC Conference on Analysis and Design of Hybrid Systems, pp.181-186, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00307053

, REFERENCES 10

C. Gonzaga, M. Jungers, and J. Daafouz, Stability analysis and stabilisation of switched nonlinear systems, International Journal of Control, vol.85, pp.822-829, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00696795

E. Goubault and S. Putot, Static Analysis of Numerical Algorithms, Proceedings of SAS 06, vol.4134, pp.18-34, 2006.

R. Guyonneau, S. Lagrange, and L. Hardouin, A Visibility Information for Multi-Robot Localization, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00874164

N. Halbwachs, Y. Proy, and P. Roumanoff, Verification of Real-Time Systems using Linear Relation Analysis, Formal Methods in System Design 11, pp.1572-8102, 1997.

D. Henrion and M. Korda, Convex computation of the region of attraction of polynomial control systems, IEEE Transactions on Automatic Control, vol.59, pp.297-312, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00723019

D. Henrion, . Jb, J. Lasserre, and . Lofberg, GloptiPoly 3: moments, optimization and semidefinite programming, Optimization Methods and Software, vol.24, pp.761-779, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00172442

L. Jaulin, Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

S. Kaynama, Computing the Viability Kernel Using Maximal Reachable Sets, Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control. HSCC '12, pp.978-979, 2012.

H. K. Khalil, Nonlinear Systems, Third Edition, pp.0-13, 2002.

M. Konecny, Enclosing the behavior of a hybrid system up to and beyond a Zeno point, Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013.

L. D. Landau and E. M. Lifshitz, Fluid Mechanics, Course of Theoretical Physics, 1987.

L. Bars and F. , State estimation with fleeting data, Automatica 48, vol.2, pp.381-387, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00670459

L. Mézo, L. Thomas, B. Jaulin, and . Zerr, An Interval Approach to Compute Invariant Sets, IEEE Transactions on Automatic Control PP, vol.99, pp.18-9286, 2018.

, Bracketing the solutions of an ordinary differential equation with uncertain initial conditions, Applied Mathematics and Computation, vol.318, pp.70-79, 2018.

M. Lhommeau, L. Jaulin, and L. Hardouin, Capture Basin Approximation using Interval Analysis, International Journal of Adaptative Control and Signal Processing, vol.25, pp.264-272, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00593261

A. K. Mackworth, Consistency in Networks of Relations, Artificial Intelligence 8.1, pp.99-118, 1977.

I. Mazhoud, Engineering Applications of Artificial Intelligence 25.2. Special Section: Local Search Algorithms for Real-World Scheduling and Planning, pp.952-1976, 2012.

I. M. Mitchell, Comparing forward and backward reachability as tools for safety analysis, Hybrid Systems: Computation and Control, pp.428-443, 2007.

I. M. Mitchell, . Am, C. J. Bayen, and . Tomlin, Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets". en, Hybrid Systems: Computation and Control, pp.418-432, 2001.

D. Monnet, J. Ninin, and L. Jaulin, Computing an inner and an outer approximation of the viability kernel, Reliable Computing, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01366752

P. Parrilo and S. Lall, Semidefinite programming relaxations and algebraic optimization in control, European Journal of Control, vol.9, issue.2, 2003.

A. Podelski and S. Wagner, Model checking of hybrid systems: From reachability towards stability, Hybrid Systems: Computation and Control, pp.507-521, 2006.

M. Quincampoix, Differential inclusions and target problems, SIAM journal on control and optimization, vol.30, pp.324-335, 1992.

S. Ratschan, Approximate Quantified Constraint Solving by Cylindrical Box Decomposition, Reliable Computing 8.1, pp.21-42, 2002.

S. Ratschan and Z. She, Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-like Functions, In: SIAM J. Control and Optimization, vol.48, pp.4377-4394, 2010.

P. Saint-pierre, Approximation of the viability kernel, In: Applied Mathematics and Optimization, vol.29, pp.187-209, 1994.

, Hybrid kernels and capture basins for impulse constrained systems, Hybrid Systems: Computation and Control, vol.2289, pp.378-392, 2002.

J. Sandretto and A. Chapoutot, Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01243044

N. Seube, R. Moitie, and G. Leitmann, Aircraft TakeOff in Windshear: A Viability Approach, pp.163-180, 2000.

Z. She and B. Xue, Computing an invariance kernel with target by computing lyapunov-like functions, IET Control Theory Applications 7.15, pp.1751-8644, 2013.

M. Spivak, Calculus On Manifolds: A Modern Approach To Classical Theorems Of Advanced Calculus, 1965.

W. Taha and A. Duracz, Acumen: An Open-source Testbed for Cyber-Physical Systems Research, CY-CLONE'15, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01490406

A. Tarski, A Decision Method for Elementary Algebra and Geometry, 1951.

S. Tornil-sin, Robust fault detection of nonlinear systems using set-membership state estimation based 11 on constraint satisfaction, Engineering Applications of Artificial Intelligence, vol.25, pp.952-1976, 2012.

D. Wilczak and P. Zgliczynski, Cr-Lohner algorithm, Schedae Informaticae, vol.20, pp.9-46, 2011.