Pages that link to "Item:Q2075779"
From MaRDI portal
The following pages link to Continuous-time models for system design and analysis (Q2075779):
Displaying 8 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Modeling of continuous time systems using a discrete time representation (Q751592) (← links)
- A dynamic quantized state system execution framework for hybrid automata (Q2178226) (← links)
- (Q3681357) (← links)
- (Q4231411) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- Symbolic analysis of linear hybrid automata -- 25 years later (Q6113970) (← links)
- On bisimilarity for polyhedral models and \texttt{SLCS} (Q6535467) (← links)