The following pages link to Inclusion dynamics hybrid automata (Q999262):
Displaying 8 items.
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Some problems of analysis of hybrid automata (Q1616244) (← links)
- HyTech: A model checker for hybrid systems (Q1856193) (← links)
- Decidable hybrid systems (Q1922203) (← links)
- Unwinding biological systems (Q2348024) (← links)
- \(\epsilon\)-semantics computations on biological systems (Q2453211) (← links)
- Expressive power of hybrid systems with real variables, integer variables and arrays (Q3517258) (← links)
- (Q5079750) (← links)