Probabilistic verification of a biodiesel production system using statistical model checking
From MaRDI portal
Publication:2929958
DOI10.1080/13873954.2013.832333zbMATH Open1299.90129OpenAlexW1985893227MaRDI QIDQ2929958FDOQ2929958
Authors: David D. Riley, Xenofon D. Koutsoukos 
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
Recommendations
- Reachability analysis of stochastic hybrid systems: a biodiesel production system
- Computer Aided Verification
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Confidence bounds for statistical model checking of probabilistic hybrid systems
- Statistical model checking of stochastic component-based systems
- Probabilistic model checking of biological systems with uncertain kinetic rates
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Computer Aided Verification
Cites Work
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Statistical probabilistic model checking with a focus on time-bounded properties
- Multilevel splitting for estimating rare event probabilities
- Reachability analysis of stochastic hybrid systems: a biodiesel production system
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Euler schemes and half-space approximation for the simulation of diffusion in a domain
Cited In (8)
- Multiple verification in complex biological systems: the bone remodelling case study
- Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
- Analysing biochemical oscillation through probabilistic model checking
- Statistically sound verification and optimization for complex systems
- Probabilistic model checking of complex biological pathways
- Comparative analysis of statistical model checking tools
- Reachability analysis of stochastic hybrid systems: a biodiesel production system
- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
This page was built for publication: Probabilistic verification of a biodiesel production system using statistical model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2929958)
