2014
DOI: 10.1007/s10009-014-0343-0
|View full text |Cite
|
Sign up to set email alerts
|

Statistical model checking for biological applications

Abstract: 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 in two general areas. In the first area we fo… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
15
0

Year Published

2016
2016
2022
2022

Publication Types

Select...
5
3
1

Relationship

0
9

Authors

Journals

citations
Cited by 28 publications
(15 citation statements)
references
References 43 publications
0
15
0
Order By: Relevance
“…These tools have been used for analysing a wide range of systems, including computer, network and biological systems. The applicability of these SMC tools to a broad range of biological systems has been intensively investigated (Jansen et al , 2008; Bakir et al , 2017; Boyer et al , 2013; Donaldson and Gilbert, 2008; Zuliani, 2015). …”
Section: Methodsmentioning
confidence: 99%
“…These tools have been used for analysing a wide range of systems, including computer, network and biological systems. The applicability of these SMC tools to a broad range of biological systems has been intensively investigated (Jansen et al , 2008; Bakir et al , 2017; Boyer et al , 2013; Donaldson and Gilbert, 2008; Zuliani, 2015). …”
Section: Methodsmentioning
confidence: 99%
“…For example, the interconnection of quantitative models of the human physiology (e.g., Physiomodel, Mateják and Kofránek, 2015), drugs pharmacokinetics/pharmacodynamics (e.g., Open Systems Pharmacology Suite, Eissing et al, 2011), (possibly semi-autonomous) biomedical devices, pharmacological protocol guidelines or treatment schemes, enables the set-up of in silico clinical trials for the (model-based) safety and efficacy pre-clinical assessment of such drugs, protocols, treatments, devices, using standard system engineering approaches to perform their simulation-based analysis at system level (see, e.g., Kanade et al, 2009;Mancini et al, 2013Mancini et al, , 2014Zuliani et al, 2013;Zuliani, 2015;Mancini et al, 2016aMancini et al, , 2017. Works in this direction include, e.g., (Schaller et al, 2016;Messori et al, 2018), where a model-based verification activity of a sensor-augmented insulin pump is conducted against a model of the human glucose metabolism in patients with diabetes mellitus, (Madec et al, 2019), where a model of a penicillin bio-sensor (integrating biochemistry, electrochemistry, and electronics models) is simulated to compute a first dimensioning of the sensor, and (Tronci et al, 2014;Mancini et al, 2015), where representative populations of virtual patients are generated from parametric models of the human physiology, a key step to enable in silico clinical trials (see, e.g., Mancini et al, 2018).…”
Section: Motivationsmentioning
confidence: 99%
“…Both probabilistic and statistical model checking have been applied to biological models [31,32,51], with tools for parameter synthesis [11,12]. Although the parameter synthesis approach in [11] rigorously calculates the satisfaction probability over the whole parameter space, it suffers from scalability issues.…”
Section: Introductionmentioning
confidence: 99%