Pages that link to "Item:Q3447004"
From MaRDI portal
The following pages link to Reachability and optimal control for linear hybrid automata: a quantifier elimination approach (Q3447004):
Displaying 5 items.
- Specifications for decidable hybrid games (Q650914) (← links)
- Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata (Q2986719) (← links)
- (Q4246810) (← links)
- (Q4953395) (← links)
- Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints (Q5500564) (← links)