Model checking delay differential equations against metric interval temporal logic

DOI10.7561/SACS.2017.1.77zbMATH Open1425.68265OpenAlexW2776557933MaRDI QIDQ4621211FDOQ4621211

Authors: Peter Nazier Mosaad, Martin Fränzle, Bai Xue 

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7561/sacs.2017.1.77

Recommendations

• Temporal logic verification for delay differential equations
• Automatic verification of stability and safety for delay differential equations
• Safe over- and under-approximation of reachable sets for delay differential equations
• Validated simulation-based verification of delayed differential dynamics
• Verified integration of differential equations with discrete delay

zbMATH Keywords

delay differential equationsautomated formal verificationinterval Taylor over-approximationmetric interval temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) General theory of functional-differential equations (34K05)

Cited In (3)

• Temporal logic verification for delay differential equations
• Taming delays in dynamical systems. Unbounded verification of delay differential equations
• Safe over- and under-approximation of reachable sets for delay differential equations

Uses Software

• iSAT3

This page was built for publication: Model checking delay differential equations against metric interval temporal logic

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