The following pages link to Decidable hybrid systems (Q1922203):
Displaying 13 items.
- Inclusion dynamics hybrid automata (Q999262) (← links)
- First-order hybrid Petri nets. An application to distributed manufacturing systems (Q1003528) (← links)
- Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528) (← links)
- Control-invariance of hybrid systems with forcible events (Q1776418) (← links)
- Decidable hybrid systems (Q1922203) (← links)
- A decidable class of planar linear hybrid systems (Q2257303) (← links)
- Decidability of a hybrid duration calculus (Q2867952) (← links)
- A Class of Decidable Parametric Hybrid Systems (Q2996138) (← links)
- (Q4249569) (← links)
- (Q4475110) (← links)
- (Q4484488) (← links)
- Achilles and the tortoise climbing up the arithmetical hierarchy (Q5906326) (← links)
- A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems (Q5958118) (← links)
