Temporal Logic Verification for Delay Differential Equations
From MaRDI portal
Publication:3179413
DOI10.1007/978-3-319-46750-4_23zbMath1482.68145OpenAlexW2521596176MaRDI QIDQ3179413
Bai Xue, Martin Fränzle, Peter Nazier Mosaad
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
Specification and verification (program logics, model checking, etc.) (68Q60) Theoretical approximation of solutions to functional-differential equations (34K07) Temporal logic (03B44) Numerical methods for functional-differential equations (65L03) Delay control/observation systems (93C43)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- High-dimensional chaotic behavior in systems with time-delayed feedback
- Differential-difference equations
- Reachability analysis of linear systems using support functions
- Dynamics of nonlinear time-delay systems.
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Automatic verification of stability and safety for delay differential equations
- Nonlinear oscillations in business cycle model with time lags
- The stability problem in the Kaldor--Kalecki business cycle model
- Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
- Craig Interpolation in the Presence of Non-linear Constraints
- Temporal Logic Verification Using Simulation
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Some Recent Results in Metric Temporal Logic
- The benefits of relaxing punctuality
- Oscillation and Chaos in Physiological Control Systems
- On Taylor Model Based Integration of ODEs
- Hybrid Systems: Computation and Control
- Computer Aided Verification