Pages that link to "Item:Q3624570"
From MaRDI portal
The following pages link to Parameter Synthesis for Hybrid Systems with an Application to Simulink Models (Q3624570):
Displaying 6 items.
- Light-based circadian rhythm control: entrainment and optimization (Q273904) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications (Q2110677) (← links)
- On deformation and fracture of PBX simulant employing modified three-body potential peridynamics model with deformation-based failure criteria (Q2692058) (← links)
- Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow (Q4561459) (← links)
- Accelerating parameter synthesis using semi-algebraic constraints (Q6536345) (← links)