An LTL Model Checking Approach for Biological Parameter Inference - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

An LTL Model Checking Approach for Biological Parameter Inference

Résumé

The identification of biological parameters governing dynamics of Genetic Regulatory Networks (GRN) poses a problem of com-binatorial explosion, since the possibilities of parameter instantiation are numerous even for small networks. In this paper, we propose to adapt LTL model checking algorithms to infer biological parameters from biological properties given as LTL formulas. In order to reduce the combinatorial explosion, we represent all the dynamics with one parametric model, so that all GRN dynamics simply result from all eligible parameter instantiations. LTL model checking algorithms are adapted by postponing the parameter instantiation as far as possible. Our approach is implemented within the SPuTNIk tool.
Fichier principal
Vignette du fichier
icfem14.pdf (441.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01819841 , version 1 (21-06-2018)

Identifiants

  • HAL Id : hal-01819841 , version 1

Citer

E Gallet, M Manceny, P Le Gall, Paolo Ballarini. An LTL Model Checking Approach for Biological Parameter Inference. International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg. ⟨hal-01819841⟩

Collections

EC-PARIS MAS ISEP
128 Consultations
145 Téléchargements

Partager

Gmail Facebook X LinkedIn More