On Robustness Computation and Optimization in BIOCHAM-4

Abstract : BIOCHAM-4 is a tool for modeling, analyzing and synthesizing biochemical reaction networks with respect to some formal, yet possibly imprecise, specification of their behavior. We focus here on one new capability of this tool to optimize the robustness of a parametric model with respect to a specification of its dynamics in quantitative temporal logic. More precisely, we present two complementary notions of robustness: the statistical notion of model robustness to parameter perturbations, defined as its mean functionality, and a metric notion of formula satisfaction robustness, defined as the penetration depth in the validity domain of the temporal logic constraints. We show how the formula robustness can be used in BIOCHAM-4 with no extra cost as an objective function in the parameter optimization procedure, to actually improve the model robustness. We illustrate these unique features with a classical example of the hybrid systems community and provide some performance figures on a model of MAPK signalling with 37 parameters.
Type de document :
Communication dans un congrès
16th Int. Conf. on Computational Methods in Systems Biology, Sep 2018, Brno, Czech Republic. 〈10.1007/978-3-319-99429-1_18〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01814854
Contributeur : François Fages <>
Soumis le : mercredi 13 juin 2018 - 15:51:53
Dernière modification le : jeudi 13 décembre 2018 - 16:57:05
Document(s) archivé(s) le : vendredi 14 septembre 2018 - 14:35:13

Fichier

FS18cmsbhal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Données associées

Collections

Citation

François Fages, Sylvain Soliman. On Robustness Computation and Optimization in BIOCHAM-4. 16th Int. Conf. on Computational Methods in Systems Biology, Sep 2018, Brno, Czech Republic. 〈10.1007/978-3-319-99429-1_18〉. 〈hal-01814854〉

Partager

Métriques

Consultations de la notice

144

Téléchargements de fichiers

83