The following pages link to Topological (bi-)simulation (Q2847419):
Displaying 7 items.
- Hybrid process algebra (Q1763160) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
- Topological Construction of Parameterized Bisimulation Limit (Q2994479) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- Topological Aspects of Hybrid Processes (Q5262960) (← links)
- Equivalent environments and covering spaces for robots (Q6641601) (← links)