Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa

Résumé : L'évolution des concentrations de protéines caractérise le comportement d'un réseau de régulation génétique (GRN). Elle dépend de la connaissance de paramètres biologiques qui sont en pratique nombreux et difficiles d'accès. Nous proposons une méthode d'inférence de pa-ramètres biologiques de modèles discrets des GRN, s'appuyant sur l'adaptation des algorithmes de model checking LTL. Nous introduisons une structure paramétrée générique (PGRN). En ex-primant les connaissances biologiques sous forme de formules LTL, les valeurs des paramètres biologiques sont calculées à l'aide de contraintes caractérisant les cycles acceptants du produit entre un automate de Büchi et un PGRN. Nous illustrons notre méthode avec une étude de cas portant sur l'inductibilité de la cytotoxicité de la bactérie P. aeruginosa. ABSTRACT. The evolution of concentration levels of proteins characterizes the behavior of a genetic regulatory network (GRN). It depends on the knowledge of biological parameters, which are in practice numerous and difficult to know. We propose a method for inferring biological parameters of discrete models of GRN, by adapting algorithms of LTL model checking. We introduce a generic parameterized structure (PGRN). By expressing the biological knowledge in the form of LTL formulas, values of biological parameters become solutions of the constraints characterizing accepting cycles for the product of a Büchi automaton and a PGRN. We illustrate our method with a case study on the inducibility of the cytotoxicity of bacteria P. aeruginosa. MOTS-CLÉS : model-checking LTL, exécution symbolique, résolution de contraintes, modèles dis-crets de réseau de régulation génétique, Pseudomonas aeruginosa.
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01819818
Contributor : Paolo Ballarini <>
Submitted on : Wednesday, August 1, 2018 - 5:18:37 PM
Last modification on : Thursday, February 7, 2019 - 5:55:12 PM
Long-term archiving on : Friday, November 2, 2018 - 12:23:22 PM

File

TSI_GMLB_15_HAL.pdf
Files produced by the author(s)

Identifiers

Citation

Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩. ⟨hal-01819818⟩

Share

Metrics

Record views

40

Files downloads

17