Safe over- and under-approximation of reachable sets for delay differential equations

DOI10.1007/978-3-319-65765-3_16MaRDI QIDQ1683458zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Feedback control (93B52) Control/observation systems governed by functional-differential equations (93C23) Delay control/observation systems (93C43)

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

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)