Pages that link to "Item:Q2985863"
From MaRDI portal
The following pages link to From synchronous programs to symbolic representations of hybrid systems (Q2985863):
Displaying 6 items.
- On symbolic hybrid systems (Q999561) (← links)
- A Formal Model for a Hybrid Programming Language (Q2814619) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Q3012935) (← links)
- Hybrid Systems: Computation and Control (Q5307941) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)