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

DOI10.3934/dcdsb.2009.11.365zbMath1185.65079arXiv0712.0910MaRDI 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

zbMATH Keywords

differential inclusions; control systems; rigorous numerics; Lohner algorithm

Mathematics Subject Classification ID

34A60: Ordinary differential inclusions

65L70: Error bounds for numerical methods for ordinary differential equations

65G20: Algorithms with automatic result verification