Parameter Synthesis and Robustness Analysis of Rule-Based Models

• Autoři: TROJÁK Matej; ŠAFRÁNEK David; MERTOVÁ Lukrécia; BRIM Luboš
• Rok publikování: 2020
• Druh: Článek ve sborníku
• Konference: 12th International Symposium on NASA Formal Methods, NFM 2020
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: https://link.springer.com/chapter/10.1007/978-3-030-55754-6_3
• Doi: http://dx.doi.org/10.1007/978-3-030-55754-6_3
• Klíčová slova: rule-based modelling; probabilistic models; parameter synthesis; robustness analysis
• Popis: 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.

Související projekty

• Diskrétní bifurkační analýza reaktivních systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX