Reachability analysis of stochastic hybrid systems: a biodiesel production system

DOI10.3166/EJC.16.609-623zbMATH Open1214.90044OpenAlexW1992244379MaRDI QIDQ629649FDOQ629649

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

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

zbMATH Keywords

verificationsimulationhybrid systemsreachabilitystochastic modeling

Mathematics Subject Classification ID

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

Cited In (5)

• 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
• Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

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)