Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement

DOI10.1016/j.tcs.2011.01.012zbMath1211.92021OpenAlexW1965702219MaRDI QIDQ533361

Christopher James Langmead, Sumit Kumar Jha

Publication date: 3 May 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.01.012

zbMATH Keywords

stochastic systemssystems biologystatistical model checkingmodel infeasibilityparameter synthesis

Mathematics Subject Classification ID

Applications of statistics to biology and medical sciences; meta analysis (62P10) Probabilistic models, generic numerical methods in probability and statistics (65C20) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Biochemistry, molecular biology (92C40) Theory of computing (68Q99) Systems biology, networks (92C42)

Related Items (1)

Precise parameter synthesis for stochastic biochemical systems

Uses Software

• PRISM
• LiQuor
• BIOCHAM
• APMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Error analysis of tau-leap simulation methods
• The algorithmic analysis of hybrid systems
• Hybridization methods for the analysis of nonlinear systems
• Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
• Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings.
• Probabilistic model checking of complex biological pathways
• Statistical probabilistic model checking with a focus on time-bounded properties
• Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
• Systematic Simulation Using Sensitivity Analysis
• Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
• Proving Liveness Properties of Concurrent Programs
• Symbolic model checking for probabilistic processes
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Sequential Tests of Statistical Hypotheses
• Hybrid Systems: Computation and Control
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement