%0 Conference Paper
%F Oral 
%T Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations
%+ Equipe ROBotics for EXploration (Lab-STICC_ROBEX)
%+ École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)
%+ Universität Rostock
%A Rauh, Andreas
%A Bourgois, Auguste
%A Jaulin, Luc
%A Kersten, Julia
%< avec comité de lecture
%B 2021 International Conference on Control, Automation and Diagnosis (ICCAD)
%C Grenoble, France
%I IEEE
%P 1-6
%8 2021-11-03
%D 2021
%R 10.1109/ICCAD52417.2021.9638755
%K Ellipsoidal enclosure techniques
%K Interval analysis
%K Robustness analysis
%K Uncertain systems
%K Verified simulation of initial value problems
%Z Computer Science [cs]/Modeling and Simulation
%Z Computer Science [cs]/Systems and Control [cs.SY]
%Z Mathematics [math]/Dynamical Systems [math.DS]
%Z Engineering Sciences [physics]/AutomaticConference papers
%X The verified simulation of initial value problems (IVPs) for ordinary differential equations (ODEs) with uncertain parameters is an up-to-date research topic and a basic building block for predictor-corrector type state estimators. Such state estimators are based on a two-stage procedure: First, the continuous-time state equations are evaluated up to the discrete time instant at which new measured data become available. Second, the forecasted state enclosures need to be refined by accounting for the information provided by the available sensors. In this paper, we focus on the first stage by presenting a novel ellipsoidal enclosure technique for continuous-time processes. It is based on thick ellipsoids and temporal Taylor series for a verified integration of ODEs that in combination allow for determining inner and outer bounds for the domains of reachable states. Comparisons with other set-valued integration techniques conclude this paper.
%G English
%2 https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03494430/document
%2 https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03494430/file/ICCAD_2021_paper_58.pdf
%L hal-03494430
%U https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03494430
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ INSMI
%~ ENIB
%~ LAB-STICC
%~ TDS-MACS
%~ INSTITUTS-TELECOM
%~ TEST-HALCNRS
%~ LAB-STICC_ROBEX