A Contractor Based on Convex Interval Taylor, Proc. of CPAIOR, vol.7298, pp.1-16, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00673447
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.
Viability Kernels and Capture Basins of Sets Under Differential Inclusions, SIAM Journal on Control and Optimization, vol.40, pp.363-0129, 2001. ,
Set-Valued Analysis, 1990. ,
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. ,
Detection of attraction domains of non-linear systems using bifurcation analysis and Lyapunov functions, International Journal of Control, vol.75, pp.314-327, 2002. ,
Aircraft Autolander Safety Analysis Through Optimal Control-Based Reach Set Computation, Journal of Guidance, Control, and Dynamics, vol.30, pp.731-5090, 2007. ,
Estimation of basins of attraction for controlled systems with input saturation and time-delays, IFAC Proceedings Volumes 47.3, pp.11006-11011, 2014. ,
Set-Theoretic Methods in Control, pp.978-978, 2007. ,
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
QUIMPER, A Language for Quick Interval Modelling and Programming in a BoundedError Context, Artificial Intelligence, vol.173, pp.1079-1100, 2009. ,
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems, Electronic Notes in Theoretical Computer Science, vol.223, pp.87-102, 2008. ,
A State Bounding Observer for Uncertain Non-linear Continuous-time Systems based on Zonotopes, 2005. ,
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. ,
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
Collision analysis for an UAV, AIAA Guidance, Navigation, and Control Conference, pp.13-16, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00756389
A minimal contractor for the polar equation: Application to robot localization, Engineering Applications of Artificial Intelligence, vol.55, pp.952-1976, 2016. ,
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. ,
Localization confidence domains via set inversion on short-term trajectory, IEEE Transactions on Robotics, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00877443
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. ,
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
The reachability problem for uncertain hybrid systems revisited: a viability theory perspective, Hybrid Systems: Computation and Control, pp.242-256, 2006. ,
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
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
Static Analysis of Numerical Algorithms, Proceedings of SAS 06, vol.4134, pp.18-34, 2006. ,
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
Verification of Real-Time Systems using Linear Relation Analysis, Formal Methods in System Design 11, pp.1572-8102, 1997. ,
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
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
Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00845131
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. ,
Nonlinear Systems, Third Edition, pp.0-13, 2002. ,
Enclosing the behavior of a hybrid system up to and beyond a Zeno point, Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013. ,
Fluid Mechanics, Course of Theoretical Physics, 1987. ,
State estimation with fleeting data, Automatica 48, vol.2, pp.381-387, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00670459
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.
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
Consistency in Networks of Relations, Artificial Intelligence 8.1, pp.99-118, 1977. ,
Engineering Applications of Artificial Intelligence 25.2. Special Section: Local Search Algorithms for Real-World Scheduling and Planning, pp.952-1976, 2012. ,
Comparing forward and backward reachability as tools for safety analysis, Hybrid Systems: Computation and Control, pp.428-443, 2007. ,
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets". en, Hybrid Systems: Computation and Control, pp.418-432, 2001. ,
Computing an inner and an outer approximation of the viability kernel, Reliable Computing, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01366752
Semidefinite programming relaxations and algebraic optimization in control, European Journal of Control, vol.9, issue.2, 2003. ,
Model checking of hybrid systems: From reachability towards stability, Hybrid Systems: Computation and Control, pp.507-521, 2006. ,
Differential inclusions and target problems, SIAM journal on control and optimization, vol.30, pp.324-335, 1992. ,
Approximate Quantified Constraint Solving by Cylindrical Box Decomposition, Reliable Computing 8.1, pp.21-42, 2002. ,
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. ,
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.
Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01243044
Aircraft TakeOff in Windshear: A Viability Approach, pp.163-180, 2000. ,
Computing an invariance kernel with target by computing lyapunov-like functions, IET Control Theory Applications 7.15, pp.1751-8644, 2013. ,
Calculus On Manifolds: A Modern Approach To Classical Theorems Of Advanced Calculus, 1965. ,
Acumen: An Open-source Testbed for Cyber-Physical Systems Research, CY-CLONE'15, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01490406
A Decision Method for Elementary Algebra and Geometry, 1951. ,
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. ,
Cr-Lohner algorithm, Schedae Informaticae, vol.20, pp.9-46, 2011. ,