The following pages link to Decidable hybrid systems (Q1922203):
Displaying 4 items.
- First-order hybrid Petri nets. An application to distributed manufacturing systems (Q1003528) (← links)
- Control-invariance of hybrid systems with forcible events (Q1776418) (← links)
- Decidable hybrid systems (Q1922203) (← links)
- A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems (Q5958118) (← links)
