Pages that link to "Item:Q1683458"
From MaRDI portal
The following pages link to Safe over- and under-approximation of reachable sets for delay differential equations (Q1683458):
Displaying 4 items.
- Automatic verification of stability and safety for delay differential equations (Q1702900) (← links)
- Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay (Q2230844) (← links)
- Estimating Euclidean Reachable Sets for Retarded Functional Differential Equations With Bounded Delay (Q3479868) (← links)
- Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations (Q5854002) (← links)