Verified integration of differential equations with discrete delay

DOI10.14232/ACTACYB.290904MaRDI QIDQ5081418zbMATH OpenOpenAlexWikidataFDO

Authors Andreas Rauh, Ekaterina Auer

Publication date 14 June 2022

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/actacyb.290904

zbMATH Keywords

delay differential equationsdynamic systemsinterval analysisuncertaintyverified methods

Mathematics Subject Classification ID

Numerical methods for functional-differential equations (65L03)

Recommendations

• Validated simulation-based verification of delayed differential dynamics
• Validated integration of differential equations with state-dependent delay
• Automatic verification of stability and safety for delay differential equations
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
• Discussion of a delayed differential equation with verified computing technique

Cited in

(10)

• Validated integration of differential equations with state-dependent delay
• Validated simulation-based verification of delayed differential dynamics
• Temporal logic verification for delay differential equations
• Verified High-Order Integration of DAEs and Higher-Order ODEs
• Model checking delay differential equations against metric interval temporal logic
• The cost/reliability trade-off in verifying approximate solutions to differential equations with distributed delays
• Discussion of a delayed differential equation with verified computing technique
• High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays
• Stable periodic orbits for delay differential equations with unimodal feedback
• Verified integration of linear \(n\)th order ODEs using large steps

This page was built for publication: Verified integration of differential equations with discrete delay

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