Reachability analysis of stochastic hybrid systems: a biodiesel production system

DOI10.3166/EJC.16.609-623MaRDI QIDQ629649zbMATH OpenOpenAlexFDO

Authors Derek Riley, Kasandra 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

zbMATH Keywords

verificationsimulationhybrid systemsreachabilitystochastic modeling

Mathematics Subject Classification ID

Monte Carlo methods (65C05) Applications of stochastic analysis (to PDEs, etc.) (60H30) Production models (90B30)

Recommendations

• Probabilistic verification of a biodiesel production system using statistical model checking
• Hybrid Systems: Computation and Control
• Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Reachability Analysis of Stochastic Hybrid Systems by Optimal Control

Cited in

(5)

• Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
• 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
• Two-stage stochastic programming supply chain model for biodiesel production via wastewater treatment

This page was built for publication: Reachability analysis of stochastic hybrid systems: a biodiesel production system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q629649)