Model checking delay differential equations against metric interval temporal logic

DOI10.7561/SACS.2017.1.77MaRDI QIDQ4621211zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(3)

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

Describes a project that uses

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)