Pages that link to "Item:Q5898984"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5898984):
Displaying 6 items.
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces (Q3510791) (← links)
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models (Q3624570) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics (Q3624590) (← links)
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254) (← links)