Pages that link to "Item:Q629649"
From MaRDI portal
The following pages link to Reachability analysis of stochastic hybrid systems: a biodiesel production system (Q629649):
Displayed 3 items.
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Ergodicity and stability of hybrid systems with piecewise constant type state-dependent switching (Q6156998) (← links)