Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1675379, author = {Troják, Matej and Šafránek, David and Mertová, Lukrécia and Brim, Luboš}, address = {Moffett Field, CA, USA}, booktitle = {12th International Symposium on NASA Formal Methods, NFM 2020}, doi = {http://dx.doi.org/10.1007/978-3-030-55754-6_3}, edition = {LNCS 12229}, editor = {Ritchie Lee, Susmit Jha, Anastasia Mavridou}, keywords = {rule-based modelling; probabilistic models; parameter synthesis; robustness analysis}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Moffett Field, CA, USA}, isbn = {978-3-030-55753-9}, pages = {41-59}, publisher = {Springer}, title = {Parameter Synthesis and Robustness Analysis of Rule-Based Models}, url = {https://link.springer.com/chapter/10.1007/978-3-030-55754-6_3}, year = {2020} }
TY - JOUR ID - 1675379 AU - Troják, Matej - Šafránek, David - Mertová, Lukrécia - Brim, Luboš PY - 2020 TI - Parameter Synthesis and Robustness Analysis of Rule-Based Models PB - Springer CY - Moffett Field, CA, USA SN - 9783030557539 KW - rule-based modelling KW - probabilistic models KW - parameter synthesis KW - robustness analysis UR - https://link.springer.com/chapter/10.1007/978-3-030-55754-6_3 L2 - https://link.springer.com/chapter/10.1007/978-3-030-55754-6_3 N2 - 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. ER -
TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. Parameter Synthesis and Robustness Analysis of Rule-Based Models. In Ritchie Lee, Susmit Jha, Anastasia Mavridou. \textit{12th International Symposium on NASA Formal Methods, NFM 2020}. LNCS 12229. Moffett Field, CA, USA: Springer, 2020, p.~41-59. ISBN~978-3-030-55753-9. Available from: https://dx.doi.org/10.1007/978-3-030-55754-6\_{}3.
|