Reachability analysis of stochastic hybrid systems: a biodiesel production system
From MaRDI portal
Publication:629649
DOI10.3166/EJC.16.609-623zbMath1214.90044MaRDI 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
65C05: Monte Carlo methods
90B30: Production models
60H30: Applications of stochastic analysis (to PDEs, etc.)
Related Items
Ergodicity and stability of hybrid systems with piecewise constant type state-dependent switching, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Probabilistic verification of a biodiesel production system using statistical model checking