The following pages link to (Q4246810):
Displaying 7 items.
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Polyhedral flows in hybrid automata (Q1878924) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata (Q2986719) (← links)
- (Q4537137) (← links)
- The Discrete Time Behaviour of Restricted Linear Hybrid Automata (Q4907866) (← links)
- Symbolic analysis of linear hybrid automata -- 25 years later (Q6113970) (← links)