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):
Displaying 4 items.
- Two-stage stochastic programming supply chain model for biodiesel production via wastewater treatment (Q342004) (← links)
- 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)