Integral algebra for simulating dynamical systems with interval uncertainties

DOI10.1016/J.IJAR.2024.109353MaRDI QIDQ7016603zbMATH OpenFDO

Authors L. Jaulin

Publication date 6 March 2025

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.IJAR.2024.109353

zbMATH Keywords

differential inclusionintegral algebrainterval analysisinterval integrationreachability

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Algebraic methods (93B25) Linear systems in control theory (93C05) Control/observation systems governed by ordinary differential equations (93C15)

Cites work

• A Lohner-type algorithm for control systems and ordinary differential inclusions
• Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
• Associative differential operations
• Box particle filtering for nonlinear state estimation using interval analysis
• Constrained robust model predictive control based on periodic invariance
• Constructive Interval Disjunction
• Contractor programming
• Control of nonlinear mechanical systems
• Fast and parallel interval arithmetic
• Fast convolution and fast Fourier transform under interval and fuzzy uncertainty
• Flatness and defect of non-linear systems: introductory theory and examples
• Guaranteed characterization of exact non-asymptotic confidence regions as defined by LSCR and SPS
• scientific article; zbMATH DE number 3649911 (Why is no real title available?)
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• scientific article; zbMATH DE number 2079838 (Why is no real title available?)
• scientific article; zbMATH DE number 3994869 (Why is no real title available?)
• scientific article; zbMATH DE number 869736 (Why is no real title available?)
• Interval method for calibration of parallel robots: vision-based experiments
• JuliaReach
• Lie symmetries applied to interval integration
• Nonlinear bounded-error state estimation of continuous-time systems
• Reachability Analysis of Hybrid Systems Using Support Functions
• Robust model predictive control using tubes.
• Set membership state and parameter estimation for systems described by nonlinear differential equations
• Set-membership state estimation with fleeting data
• Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
• The Lorenz attractor exists
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• Tinkerbell is chaotic
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

This page was built for publication: Integral algebra for simulating dynamical systems with interval uncertainties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7016603)