Inner and outer approximating flowpipes for delay differential equations

DOI10.1007/978-3-319-96142-2_31zbMath1511.93048OpenAlexW2884955533MaRDI QIDQ6043172

Eric Goubault, Sylvie Putot, Lorenz Sahlmann

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96142-2_31

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General theory of functional-differential equations (34K05) Attainable sets, reachability (93B03) Delay control/observation systems (93C43) Networked control (93B70)

Related Items (1)

A new method based on the Laplace transform and Fourier series for solving linear neutral delay differential equations

This page was built for publication: Inner and outer approximating flowpipes for delay differential equations