Safe over- and under-approximation of reachable sets for delay differential equations
DOI10.1007/978-3-319-65765-3_16zbMATH Open1497.93100OpenAlexW2741978752MaRDI QIDQ1683458FDOQ1683458
Authors: Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan 
Publication date: 1 December 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-65765-3_16
Recommendations
- Automatic verification of stability and safety for delay differential equations
- Inner and outer approximating flowpipes for delay differential equations
- Temporal logic verification for delay differential equations
- Validated simulation-based verification of delayed differential dynamics
- Model checking delay differential equations against metric interval temporal logic
Attainable sets, reachability (93B03) Feedback control (93B52) Control/observation systems governed by functional-differential equations (93C23) Delay control/observation systems (93C43)
Cited In (9)
- Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay
- Temporal logic verification for delay differential equations
- Taming delays in dynamical systems. Unbounded verification of delay differential equations
- Inner and outer approximating flowpipes for delay differential equations
- Model checking delay differential equations against metric interval temporal logic
- Switching controller synthesis for delay hybrid systems under perturbations
- Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations
- Estimating Euclidean Reachable Sets for Retarded Functional Differential Equations With Bounded Delay
- Automatic verification of stability and safety for delay differential equations
This page was built for publication: Safe over- and under-approximation of reachable sets for delay differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1683458)
