Temporal logic verification for delay differential equations

DOI10.1007/978-3-319-46750-4_23MaRDI QIDQ3179413zbMATH OpenOpenAlexFDO

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

Publication date 21 December 2016

Published in Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-46750-4_23

Mathematics Subject Classification ID

Temporal logic (03B44) Theoretical approximation of solutions to functional-differential equations (34K07) Numerical methods for functional-differential equations (65L03) Specification and verification (program logics, model checking, etc.) (68Q60) Delay control/observation systems (93C43)

Recommendations

• Model checking delay differential equations against metric interval temporal logic
• 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

Cites work

• Automatic verification of stability and safety for delay differential equations
• Craig interpolation in the presence of non-linear constraints
• Differential-difference equations
• Dynamics of nonlinear time-delay systems.
• Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
• High-dimensional chaotic behavior in systems with time-delayed feedback
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 4084894 (Why is no real title available?)
• scientific article; zbMATH DE number 44435 (Why is no real title available?)
• scientific article; zbMATH DE number 5263038 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Interpolation and SAT-based model checking.
• Nonlinear oscillations in business cycle model with time lags
• On Taylor Model Based Integration of ODEs
• Oscillation and chaos in physiological control systems
• Reachability analysis of linear systems using support functions
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• Some Recent Results in Metric Temporal Logic
• Temporal Logic Verification Using Simulation
• The benefits of relaxing punctuality
• The stability problem in the Kaldor--Kalecki business cycle model
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

Cited in

(4)

• Safe over- and under-approximation of reachable sets for delay differential equations
• Model checking delay differential equations against metric interval temporal logic
• Inner and outer approximating flowpipes for delay differential equations
• Taming delays in dynamical systems. Unbounded verification of delay differential equations

This page was built for publication: Temporal logic verification for delay differential equations

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