The following pages link to (Q4246811):
Displaying 6 items.
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- A formal framework for Hybrid Event B (Q2520616) (← links)
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
- Topologies, Continuity and Bisimulations (Q4943548) (← links)