Automatic verification of stability and safety for delay differential equations
From MaRDI portal
Publication:1702900
DOI10.1007/978-3-319-21668-3_20zbMath1381.68188OpenAlexW2163847201MaRDI QIDQ1702900
Peter Nazier Mosaad, Liang Zou, Naijun Zhan, Martin Fränzle
Publication date: 1 March 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-21668-3_20
Stability theory of functional-differential equations (34K20) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (5)
Bounded invariant verification for time-delayed nonlinear networked dynamical systems ⋮ Synthesizing SystemC Code from Delay Hybrid CSP ⋮ Temporal Logic Verification for Delay Differential Equations ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Switching controller synthesis for delay hybrid systems under perturbations
This page was built for publication: Automatic verification of stability and safety for delay differential equations
