Pages that link to "Item:Q5898982"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5898982):
Displaying 5 items.
- Robust viability of hybrid systems (Q1005308) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems (Q2980383) (← links)
- Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
- On the Reachability Problem for Uncertain Hybrid Systems (Q5282223) (← links)