Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

Abstract : Finding mathematical models satisfying a specification built from the formalization of biological experiments, is a common task of the modeler that techniques like model-checking help solving, in the qualitative but also in the quantitative case. In this article we go one step further by defining a continuous degree of satisfaction of temporal logic formulae with constraints. We show how such a satisfaction measure can be used as a fitness function with state-of-the-art evolutionary optimization methods in order to find biochemical kinetic parameter values satisfying a set of biological properties formalized in temporal logic. We also show how it can be used to define a measure of robustness of a biological model with respect to some temporal specification. These methods are evaluated on models of the cell cycle and of the MAPK signalling cascade.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2011, 412 (26), pp.2827 - 2839. 〈10.1016/j.tcs.2010.05.008〉
Liste complète des métadonnées

Littérature citée [38 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01431314
Contributeur : Sylvain Soliman <>
Soumis le : mardi 10 janvier 2017 - 16:35:23
Dernière modification le : jeudi 9 février 2017 - 16:02:30
Document(s) archivé(s) le : mardi 11 avril 2017 - 16:05:00

Fichier

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

Identifiants

Collections

Citation

Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman. Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theoretical Computer Science, Elsevier, 2011, 412 (26), pp.2827 - 2839. 〈10.1016/j.tcs.2010.05.008〉. 〈hal-01431314〉

Partager

Métriques

Consultations de la notice

266

Téléchargements de fichiers

23