Probabilistic verification of a biodiesel production system using statistical model checking

DOI10.1080/13873954.2013.832333zbMath1299.90129OpenAlexW1985893227MaRDI QIDQ2929958

Xenofon D. Koutsoukos, Unnamed Author

Publication date: 17 November 2014

Published in: Mathematical and Computer Modelling of Dynamical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/13873954.2013.832333

zbMATH Keywords

stochastic systemstochastic analysisbiofuelsbiochemical model

Mathematics Subject Classification ID

Production models (90B30) Stochastic systems in control theory (general) (93E03)

Cites Work

• Reachability analysis of stochastic hybrid systems: a biodiesel production system
• Query-based verification of qualitative trends and oscillations in biochemical systems
• Statistical probabilistic model checking with a focus on time-bounded properties
• Multilevel Splitting for Estimating Rare Event Probabilities
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Euler schemes and half-space approximation for the simulation of diffusion in a domain

This page was built for publication: Probabilistic verification of a biodiesel production system using statistical model checking