Pages that link to "Item:Q5307929"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307929):
Displaying 4 items.
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces (Q3624568) (← links)
