A Lohner-type algorithm for control systems and ordinary differential inclusions
From MaRDI portal
Publication:1000244
DOI10.3934/dcdsb.2009.11.365zbMath1185.65079arXiv0712.0910OpenAlexW2963701132MaRDI QIDQ1000244
Piotr Zgliczyński, Tomasz Kapela
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
Ordinary differential inclusions (34A60) Error bounds for numerical methods for ordinary differential equations (65L70) Algorithms with automatic result verification (65G20)
Related Items
Efficient polyhedral enclosures for the reachable set of nonlinear control systems, An improved algorithm for the control synthesis of nonlinear sampled switched systems, A study of rigorous ODE integrators for multi-scale set-oriented computations, Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations, Beyond the Melnikov method: A computer assisted approach, Computing Reachable Sets of Differential Inclusions, Lie symmetries applied to interval integration, Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model, Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model, A higher order method for input-affine uncertain systems, ABS: A formally correct software tool for space-efficient symbolic synthesis, Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I, Fixed points of a destabilized Kuramoto-Sivashinsky equation, A verified method for solving piecewise smooth initial value problems, Automatic differentiation for Fourier series and the radii polynomial approach, Hyperbolicity and averaging for the Srzednicki-Wójcik equation, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Computing Capture Tubes, On rigorous integration of continuous piecewise linear systems, Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof, Rigorous FEM for One-Dimensional Burgers Equation
