The following pages link to (Q4953379):
Displayed 6 items.
- Inclusion dynamics hybrid automata (Q999262) (← links)
- A new formulation for the safe set problem on graphs (Q2273688) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Hybrid systems: Modelling and analysis using emergent dynamics (Q2460412) (← links)
- Digital idle speed control of automotive engines: a safety problem for hybrid systems (Q2507861) (← links)