Parameter Synthesis and Robustness Analysis of Rule-Based Models
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F20%3A00114280" target="_blank" >RIV/00216224:14330/20:00114280 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/chapter/10.1007/978-3-030-55754-6_3" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-030-55754-6_3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-55754-6_3" target="_blank" >10.1007/978-3-030-55754-6_3</a>
Alternative languages
Result language
angličtina
Original language name
Parameter Synthesis and Robustness Analysis of Rule-Based Models
Original language description
We introduce the Quantitative Biochemical Space Language, a rule-based language for a compact modelling of probabilistic behaviour of complex parameter-dependent biological systems. Application of rules is governed by an associated parametrised rate function, expressing partially known information about the behaviour of the modelled system. The parameter values influence the behaviour of the model. We propose a formal verification-based method for the synthesis of parameter values (parameter synthesis) which ensure the behaviour of the modelled system satisfies a given PCTL property. In addition, we demonstrate how this method can be used for robustness analysis.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA18-00178S" target="_blank" >GA18-00178S: Discrete Bifurcation Analysis of Reactive Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
12th International Symposium on NASA Formal Methods, NFM 2020
ISBN
9783030557539
ISSN
0302-9743
e-ISSN
1611-3349
Number of pages
19
Pages from-to
41-59
Publisher name
Springer
Place of publication
Moffett Field, CA, USA
Event location
Neuveden
Event date
Jan 1, 2020
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000890074700003