Journal
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Volume 17, Issue 4, Pages 527-536Publisher
SPRINGER HEIDELBERG
DOI: 10.1007/s10009-014-0343-0
Keywords
Verification; Systems biology; Synthetic biology; Parameter estimation
Categories
Ask authors/readers for more resources
In this paper, we survey recent work on the use of statistical model checking techniques for biological applications. We begin with an overview of the basic modelling techniques for biochemical reactions and their corresponding stochastic simulation algorithm-the Gillespie algorithm. We continue by giving a brief description of the relation between stochastic models and continuous (ordinary differential equation) models. Next, we present a literature survey, divided into two general areas. In the first area, we focus on works addressing verification of biological models, while in the second area we focus on papers tackling the parameter synthesis problem. We conclude with some open problems and directions for further research.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available