Data-Informed Parameter Synthesis for Population Markov Chains

D 2019

Data-Informed Parameter Synthesis for Population Markov Chains

HAJNAL, Matej, Morgan NOUVIAN, David ŠAFRÁNEK and Tatjana PETROV

Basic information

Original name

Data-Informed Parameter Synthesis for Population Markov Chains

Authors

HAJNAL, Matej (703 Slovakia, belonging to the institution), Morgan NOUVIAN (276 Germany), David ŠAFRÁNEK (203 Czech Republic, guarantor, belonging to the institution) and Tatjana PETROV (276 Germany)

Edition

LNCS 11705. Cham, Hybrid Systems Biology (HSB 2019), p. 147-164, 18 pp. 2019

Publisher

Springer International Publishing

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10200 1.2 Computer and information sciences

Country of publisher

Switzerland

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

Impact factor

Impact factor: 0.402 in 2005

RIV identification code

RIV/00216224:14330/19:00108287

Organization unit

Faculty of Informatics

ISBN

978-3-030-28041-3

ISSN

DOI

http://dx.doi.org/10.1007/978-3-030-28042-0_10

UT WoS

000509932800010

Keywords in English

Stochastic population models; Markov processes; Parameter synthesis

Abstract

V originále

Stochastic population models are widely used to model phenomena in different areas such as chemical kinetics or collective animal behaviour. Quantitative analysis of stochastic population models easily becomes challenging, due to the combinatorial propagation of dependencies across the population. The complexity becomes especially prominent when model's parameters are not known and available measurements are limited. In this paper, we illustrate this challenge in a concrete scenario: we assume a simple communication scheme among identical individuals, inspired by how social honeybees emit the alarm pheromone to protect the colony in case of danger. Together, n individuals induce a population Markov chain with n parameters. In addition, we assume to be able to experimentally observe the states only after the steady-state is reached. In order to obtain the parameters of the individual's behaviour, by utilising the data measurements for population, we combine two existing techniques. First, we use the tools for parameter synthesis for Markov chains with respect to temporal logic properties, and then we employ CEGAR-like reasoning to find the viable parameter space up to desired coverage. We report the performance on a number of synthetic data sets.

Links

GA18-00178S, research and development project

Name: Diskrétní bifurkační analýza reaktivních systémů

Investor: Czech Science Foundation

Citovat

HAJNAL, Matej, Morgan NOUVIAN, David ŠAFRÁNEK and Tatjana PETROV. Data-Informed Parameter Synthesis for Population Markov Chains. In Ceska, M et al. Hybrid Systems Biology (HSB 2019). LNCS 11705. Cham: Springer International Publishing, 2019, p. 147-164. ISBN 978-3-030-28041-3. Available from: https://dx.doi.org/10.1007/978-3-030-28042-0_10.

@inproceedings{1648999,
   author = {Hajnal, Matej and Nouvian, Morgan and Šafránek, David and Petrov, Tatjana},
   address = {Cham},
   booktitle = {Hybrid Systems Biology (HSB 2019)},
   doi = {http://dx.doi.org/10.1007/978-3-030-28042-0_10},
   edition = {LNCS 11705},
   editor = {Ceska, M et al.},
   keywords = {Stochastic population models; Markov processes; Parameter synthesis},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Cham},
   isbn = {978-3-030-28041-3},
   pages = {147-164},
   publisher = {Springer International Publishing},
   title = {Data-Informed Parameter Synthesis for Population Markov Chains},
   year = {2019}
}

TY  - JOUR
ID  - 1648999
AU  - Hajnal, Matej - Nouvian, Morgan - Šafránek, David - Petrov, Tatjana
PY  - 2019
TI  - Data-Informed Parameter Synthesis for Population Markov Chains
PB  - Springer International Publishing
CY  - Cham
SN  - 9783030280413
KW  - Stochastic population models
KW  - Markov processes
KW  - Parameter synthesis
N2  - Stochastic population models are widely used to model phenomena in different areas such as chemical kinetics or collective animal behaviour. Quantitative analysis of stochastic population models easily becomes challenging, due to the combinatorial propagation of dependencies across the population. The complexity becomes especially prominent when model's parameters are not known and available measurements are limited. In this paper, we illustrate this challenge in a concrete scenario: we assume a simple communication scheme among identical individuals, inspired by how social honeybees emit the alarm pheromone to protect the colony in case of danger. Together, n individuals induce a population Markov chain with n parameters. In addition, we assume to be able to experimentally observe the states only after the steady-state is reached. In order to obtain the parameters of the individual's behaviour, by utilising the data measurements for population, we combine two existing techniques. First, we use the tools for parameter synthesis for Markov chains with respect to temporal logic properties, and then we employ CEGAR-like reasoning to find the viable parameter space up to desired coverage. We report the performance on a number of synthetic data sets.
ER  -

HAJNAL, Matej, Morgan NOUVIAN, David ŠAFRÁNEK and Tatjana PETROV. Data-Informed Parameter Synthesis for Population Markov Chains. In Ceska, M et al. \textit{Hybrid Systems Biology (HSB 2019)}. LNCS 11705. Cham: Springer International Publishing, 2019, p.~147-164. ISBN~978-3-030-28041-3. Available from: https://dx.doi.org/10.1007/978-3-030-28042-0\_{}10.

Detailed Information on Publication Record