Pages that link to "Item:Q3303914"
From MaRDI portal
The following pages link to Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914):
Displaying 4 items.
- Analysis of a second-order hybrid system with linear structure (Q949217) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Parsimonious, Simulation Based Verification of Linear Systems (Q4633548) (← links)