Rigorously computed orbits of dynamical systems without the wrapping effect

DOI10.1007/BF02684450zbMath0910.65052OpenAlexW2051110650MaRDI QIDQ1266309

K. Appert

Publication date: 9 April 1999

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02684450

zbMATH Keywords

performancenumerical examplesorbitparallel computingzonotopesdiscrete dynamic systemgeometric complexitymarching methodwrapping effectcascade reductionMinkowski sum of straight line segments

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Discrete-time control/observation systems (93C55) Additive difference equations (39A10) General systems theory (93A99) Complexity and performance of numerical algorithms (65Y20)

Related Items

Zonotopic unknown input state estimator for discrete-time linear systems ⋮ Constrained zonotopes: a new tool for set-based estimation and fault detection ⋮ A comparison of zonotope order reduction techniques ⋮ Simulation of discrete linear time-invariant fuzzy dynamic systems ⋮ A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality ⋮ Verification of Hybrid Systems ⋮ An application of Taylor models to the Nakao method on ODEs ⋮ Joint state and parameter estimation based on constrained zonotopes ⋮ Functional interval estimation method for discrete-time switched systems under asynchronous switching ⋮ Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering ⋮ Unnamed Item ⋮ Verified integration of linear \(n\)th order ODEs using large steps ⋮ Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes ⋮ Comparison of guaranteed state estimators for linear time-invariant systems ⋮ Design of high-gain observers based on sampled measurements via the interval arithmetic ⋮ Robust MPC of constrained discrete-time nonlinear systems based on approximated reachable sets ⋮ A higher order method for input-affine uncertain systems ⋮ Optimal robust fault detection of discrete‐time LPV systems with measurement error‐affected scheduling variables combining ZKF and pQP ⋮ Zonotopes and Kalman observers: gain optimality under distinct uncertainty paradigms and robust convergence ⋮ Further results on the design of a class of discrete‐time set‐valued state estimators ⋮ Robust data-driven predictive control of unknown nonlinear systems using reachability analysis ⋮ Privacy-preserving set-based estimation using partially homomorphic encryption ⋮ Distributed zonotopic estimation for interconnected systems: a fusing overlapping states strategy ⋮ Distributed set-based observers using diffusion strategies ⋮ Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration ⋮ Zonotopic state bounding for 2-D systems with dynamic event-triggered mechanism ⋮ Nonlinear set‐membership state estimation based on the Koopman operator ⋮ Outlier‐robust zonotope set‐membership filter for discrete‐time nonlinear system ⋮ Input design for guaranteed fault diagnosis using zonotopes ⋮ Suspended load path tracking control using a tilt-rotor UAV based on zonotopic state estimation ⋮ Guaranteed estimation of the parameters of nonlinear continuous-time models: Contributions of interval analysis ⋮ Robust fault detection based on adaptive threshold generation using interval LPV observers ⋮ Set membership state estimation with improved zonotopic description of feasible solution set ⋮ Control of constrained nonlinear uncertain discrete-time systemsviarobust controllable sets: a modal interval analysis approach ⋮ Exact Sampling of a Linear Interval Predictor ⋮ Set-theoretic methods in robust detection and isolation of sensor faults ⋮ Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems ⋮ Characterisation of interval-observer fault detection and isolation properties using the set-invariance approach ⋮ Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training ⋮ A new approach to design set-membership state estimators for discrete-time linear systems based on the observability matrix ⋮ A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS ⋮ A zonotopic set-invariance analysis of replay attacks affecting the supervisory layer ⋮ The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems ⋮ Robust data-driven predictive control using reachability analysis ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis ⋮ Adaptive threshold generation in robust fault detection using interval models: time-domain and frequency-domain approaches ⋮ Invariant set-based robust fault detection and optimal fault estimation for discrete-time LPV systems with bounded uncertainties ⋮ Guaranteed state estimation by zonotopes ⋮ Some recent advances in validated methods for IVPs for ODEs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Survey of integral algorithms for ordinary differential equations
• Reducing the wrapping effect
• A basic theorem in the computation of ellipsoidal error bounds
• Using Interval Methods for the Numerical Solution of ODE's
• Logarithmic Reduction of the Wrapping Effect with Application to Ordinary Differential Equations
• Interval Methods for Systems of Equations
• Guaranteed error bounds for the initial value problem using polytope arithmetic
• Lectures on Polytopes

This page was built for publication: Rigorously computed orbits of dynamical systems without the wrapping effect