Reachability analysis of stochastic hybrid systems: a biodiesel production system
From MaRDI portal
Publication:629649
DOI10.3166/EJC.16.609-623zbMath1214.90044OpenAlexW1992244379MaRDI QIDQ629649
Kasandra Riley, Derek Riley, Xenofon D. Koutsoukos
Publication date: 9 March 2011
Published in: European Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/ejc.16.609-623
Monte Carlo methods (65C05) Production models (90B30) Applications of stochastic analysis (to PDEs, etc.) (60H30)
Related Items (3)
Probabilistic verification of a biodiesel production system using statistical model checking ⋮ Ergodicity and stability of hybrid systems with piecewise constant type state-dependent switching ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
This page was built for publication: Reachability analysis of stochastic hybrid systems: a biodiesel production system
