Lie symmetries applied to interval integration

DOI10.1016/j.automatica.2022.110502zbMath1498.93313OpenAlexW4289754700MaRDI QIDQ2166013

Simon Rohou, Julien Damers, Jaulin, Luc

Publication date: 23 August 2022

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2022.110502

zbMATH Keywords

interval analysisLie groupssymmetriestubesIVPguaranteed integration

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15)

Uses Software

• PHAVer
• ValEncIA-IVP
• IBEX
• Flow*
• JuliaReach
• DynIbex
• Acumen
• Codac

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set membership state and parameter estimation for systems described by nonlinear differential equations
• Constraints propagation techniques on intervals for a guaranteed localization using redundant data
• A Lohner-type algorithm for control systems and ordinary differential inclusions
• Set inversion via interval analysis for nonlinear bounded-error estimation
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Robust model predictive control using tubes.
• Nonlinear bounded-error state estimation of continuous-time systems
• Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
• Validated solutions of initial value problems for ordinary differential equations
• Symbolic computation and differential equations: Lie symmetries
• Box particle filtering for nonlinear state estimation using interval analysis
• Interval method for calibration of parallel robots: vision-based experiments
• Guaranteed characterization of exact non-asymptotic confidence regions as defined by LSCR and SPS
• Inner approximated reachability analysis
• On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents
• Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification
• Constructive Interval Disjunction
• Reachability Analysis of Hybrid Systems Using Support Functions
• The Lorenz attractor exists
• Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
• Symmetry-Preserving Observers
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• JuliaReach
• Tinkerbell Is Chaotic
• Solving Differential Equations by Symmetry Groups

This page was built for publication: Lie symmetries applied to interval integration