Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models, Reliable Computing, vol.4, issue.4, pp.361-369, 1998. ,
DOI : 10.1023/A:1024467732637
Optimal guaranteed estimates of indeterminacies with the aid of ellipsoids, Engrg. Cybernetics, vol.18, pp.1-9, 1980. ,
State Estimation for Dynamic Systems, Boca Raton, FL, 1994. ,
Simulation of uncertain systems with guaranteed bounds, 11th GAMM -IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2004. ,
Interval observers for uncertain biological systems, Ecological Modelling, vol.133, issue.1-2, pp.45-56, 2000. ,
DOI : 10.1016/S0304-3800(00)00279-9
Efficient high-order methods for ODEs and DAEs Automatic Differentiation : From Simulation to Optimization, pp.341-351, 2001. ,
Nonlinear bounded-error state estimation of continuous-time systems, Automatica, vol.38, issue.6, pp.1079-1082, 2002. ,
DOI : 10.1016/S0005-1098(01)00284-9
URL : https://hal.archives-ouvertes.fr/hal-00845483
Applied Interval Analysis, 2001. ,
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131
Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993. ,
DOI : 10.1016/0005-1098(93)90106-4
Guaranteed parameter estimation for cooperative systems, Positive Systems ? LNCIS 294, pp.103-110, 2003. ,
Interval analysis for guaranteed non-linear parameter and state estimation, Mathematical and Computer Modelling of Dynamical Systems, vol.11, issue.2, pp.171-181, 2005. ,
DOI : 10.1023/B:NUMA.0000049466.96588.a6
GUARANTEED NONLINEAR STATE ESTIMATION FOR CONTINUOUS-TIME DYNAMICAL MODELS FROM DISCRETE-TIME MEASUREMENTS, Preprints of the 5th IFAC Symposium on Robust Control Design, 2006. ,
DOI : 10.3182/20060705-3-FR-2907.00117
Guaranteed estimation of the parameters of nonlinear continuous-time models: Contributions of interval analysis, International Journal of Adaptive Control and Signal Processing, vol.26, issue.1-2, 2010. ,
DOI : 10.1002/acs.1194
URL : https://hal.archives-ouvertes.fr/inria-00548147
Verified Methods for State and Parameter Estimators for Nonlinear Uncertain Systems with Applications in Engineering, 2009. ,
Rigorously computed orbits of dynamical systems without the wrapping effect, Computing, vol.66, issue.Suppl, pp.47-67, 1998. ,
DOI : 10.1007/BF02684450
Ellipsoidal Calculus for Estimation and Control, 1997. ,
DOI : 10.1007/978-1-4612-0277-6
Validated solution of ODEs with parametric uncertainties, Proc. 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering, pp.167-172, 2006. ,
DOI : 10.1016/S1570-7946(06)80041-6
Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value-problem, Computational Ordinary Differential Equations, pp.425-435, 1992. ,
Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by preconditioning, International Journal of Differential Equations and Applications, vol.10, issue.4, pp.353-384, 2005. ,
Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by shrink wrapping, International Journal of Differential Equations and Applications, vol.10, issue.4, pp.385-403, 2005. ,
Guaranteed state bounding estimation for uncertain non linear continuous systems using hybrid automata, Proc. IFAC International Conference on Informatics in Control, Automation Robotics, 2008. ,
Interval Observers for Uncertain Nonlinear Systems. Application to bioreactors., Proc. IFAC World Congress, pp.9667-9672, 2008. ,
DOI : 10.3182/20080706-5-KR-1001.01635
Near optimal interval observers bundle for uncertain bioreactors, Automatica, vol.45, issue.1, pp.291-295, 2009. ,
DOI : 10.1016/j.automatica.2008.07.006
URL : https://hal.archives-ouvertes.fr/hal-01109396
???ber das Fundamentaltheorem in der Theorie der gew???hnlichen Differentialgleichungen, Mathematische Zeitschrift, vol.10, issue.4, pp.619-645, 1926. ,
DOI : 10.1007/BF01475477
Methods for initial value problems for ordinary differential equations, pp.219-264, 2001. ,
Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.40, issue.10, pp.1771-1777, 2004. ,
DOI : 10.1016/j.automatica.2004.05.006
Interval observer design for consistency checks of nonlinear continuous-time systems, Automatica, vol.46, issue.3, pp.518-527, 2010. ,
DOI : 10.1016/j.automatica.2009.12.005
Extensions of ValEncIA-IVP for reduction of overestimation, for simulation of differential algebraic systems, and for dynamical optimization, PAMM, vol.7, issue.1, p.2, 2007. ,
DOI : 10.1002/pamm.200700022
VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers, 12th GAMM, IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), p.3647, 2006. ,
DOI : 10.1109/SCAN.2006.47
Geometric bounding toolbox ,
Interval analysis for guaranteed nonlinear estimation, Proceedings of the 13th IFAC Symposium on System Identification (SYSID), pp.259-270, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00845193
Guaranteed nonlinear parameter estimation in knowledge-based models, Journal of Computational and Applied Mathematics, vol.199, issue.2, pp.277-285, 2007. ,
DOI : 10.1016/j.cam.2005.07.039