A Lohner-type algorithm for control systems and ordinary differential inclusions

DOI10.3934/DCDSB.2009.11.365zbMATH Open1185.65079OpenAlexW2963701132MaRDI QIDQ1000244FDOQ1000244

Authors Tomasz Kapela, Piotr Zgliczyński

Publication date 5 February 2009

Published in Discrete and Continuous Dynamical Systems. Series B (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0712.0910

zbMATH Keywords

differential inclusionsrigorous numericscontrol systemsLohner algorithm

Mathematics Subject Classification ID

Ordinary differential inclusions (34A60) Error bounds for numerical methods for ordinary differential equations (65L70) Algorithms with automatic result verification (65G20)

Abstract: We describe a Lohner-type algorithm for the computation of rigorous upper bounds for reachable set for control systems, solutions of ordinary differential inclusions and perturbations of ODEs.

Recommendations

• scientific article; zbMATH DE number 434852
• Simulation of controls
• \(C^1\) Lohner algorithm.
• Bounds on the reachable sets of nonlinear control systems
• Algorithm for determining the reachability set of a linear control system

Cited in

(23)

• Efficient polyhedral enclosures for the reachable set of nonlinear control systems
• Hyperbolicity and averaging for the Srzednicki-Wójcik equation
• An improved algorithm for the control synthesis of nonlinear sampled switched systems
• A verified method for solving piecewise smooth initial value problems
• Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• scientific article; zbMATH DE number 434852 (Why is no real title available?)
• Automatic differentiation for Fourier series and the radii polynomial approach
• Computing capture tubes
• Computing reachable sets of differential inclusions
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Rigorous FEM for One-Dimensional Burgers Equation
• Fixed points of a destabilized Kuramoto-Sivashinsky equation
• Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
• Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations
• On rigorous integration of continuous piecewise linear systems
• Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
• A higher order method for input-affine uncertain systems
• Computer-assisted validation of the existence of periodic orbit in the Brusselator system
• Beyond the Melnikov method: A computer assisted approach
• ABS: A formally correct software tool for space-efficient symbolic synthesis
• Lie symmetries applied to interval integration
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I

This page was built for publication: A Lohner-type algorithm for control systems and ordinary differential inclusions

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