Pages that link to "Item:Q2252963"
From MaRDI portal
The following pages link to Viable set computation for hybrid systems (Q2252963):
Displaying 7 items.
- Robust viability of hybrid systems (Q1005308) (← links)
- The computation of the viability kernel for switched systems (Q1713546) (← links)
- Model-invariant viability kernel approximation (Q2327367) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- ON THE UNIQUE SOLVABILITY OF NONLOCAL PROBLEMS WITH INTEGRAL CONDITIONS FOR A HYBRID SYSTEM OF PARTIAL DIFFERENTIAL EQUATIONS (Q5118549) (← links)
- Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming (Q5145609) (← links)
- On the computation of the robust viability kernel for switched systems (Q6583172) (← links)