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

DOI10.3934/DCDSB.2009.11.365zbMATH Open1185.65079arXiv0712.0910OpenAlexW2963701132MaRDI 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)

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.

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

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

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)

Cited In (23)

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Efficient polyhedral enclosures for the reachable set of nonlinear control systems
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• Computer-assisted validation of the existence of periodic orbit in the Brusselator system
• 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
• Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model
• Automatic differentiation for Fourier series and the radii polynomial approach
• Rigorous FEM for One-Dimensional Burgers Equation
• Computing Reachable Sets of Differential Inclusions
• An improved algorithm for the control synthesis of nonlinear sampled switched systems
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
• Title not available (Why is that?)
• Computing Capture Tubes
• Hyperbolicity and averaging for the Srzednicki-Wójcik equation
• Beyond the Melnikov method: A computer assisted approach
• Lie symmetries applied to interval integration
• A higher order method for input-affine uncertain systems
• On rigorous integration of continuous piecewise linear systems
• A verified method for solving piecewise smooth initial value problems
• Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
• Fixed points of a destabilized Kuramoto-Sivashinsky equation
• ABS: A formally correct software tool for space-efficient symbolic synthesis

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)