Pages that link to "Item:Q5898989"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5898989):
Displayed 6 items.
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications (Q4897712) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)
- Relaxing Goodness Is Still Good (Q5505608) (← links)