Pages that link to "Item:Q533351"
From MaRDI portal
The following pages link to Computing reachable states for nonlinear biological models (Q533351):
Displaying 7 items.
- Closed-loop input design for guaranteed fault diagnosis using set-valued observers (Q340640) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Static analysis and stochastic search for reachability problem (Q2229143) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Accelerating parameter synthesis using semi-algebraic constraints (Q6536345) (← links)
- Properties and stability analysis of the sixth-order Boussinesq equations for Rossby waves (Q6536973) (← links)