Validated simulation-based verification of delayed differential dynamics

DOI10.1007/978-3-319-48989-6_9MaRDI QIDQ2281633zbMATH OpenOpenAlexFDO

Authors Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan

Publication date 3 January 2020

Full work available at URL https://doi.org/10.1007/978-3-319-48989-6_9

Mathematics Subject Classification ID

General theory of functional-differential equations (34K05) Dynamics induced by flows and semiflows (37C10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Validated integration of differential equations with state-dependent delay
• Discussion of a delayed differential equation with verified computing technique
• Automatic verification of stability and safety for delay differential equations
• Verified integration of differential equations with discrete delay
• Rigorous verification of trajectories for the computer simulation of dynamical systems
• Validation of Finite-Dimensional Approximate Solutions for Dynamics of Distributed-Parameter Systems
• The cost/reliability trade-off in verifying approximate solutions to differential equations with distributed delays
• Verified solutions of delay eigenvalue problems
• scientific article; zbMATH DE number 2079531

Cited in

(13)

• Safe over- and under-approximation of reachable sets for delay differential equations
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems
• A compositional modelling and verification framework for stochastic hybrid systems
• Proofs from simulations and modular annotations
• Temporal logic verification for delay differential equations
• Systematic Simulation Using Sensitivity Analysis
• Model checking delay differential equations against metric interval temporal logic
• Synthesizing SystemC Code from Delay Hybrid CSP
• Verified integration of differential equations with discrete delay
• Discussion of a delayed differential equation with verified computing technique
• Inner and outer approximating flowpipes for delay differential equations
• Taming delays in dynamical systems. Unbounded verification of delay differential equations
• Switching controller synthesis for delay hybrid systems under perturbations

This page was built for publication: Validated simulation-based verification of delayed differential dynamics

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