The following pages link to (Q4417973):
Displaying 10 items.
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Span-reachability and observability of bilinear hybrid systems (Q987608) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (Q5172651) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- The minimum principle of hybrid optimal control theory (Q6188525) (← links)