Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle

Résumé : La logique temporelle et le model-checking ont fait leurs preuves pour formaliser des propriétés biologiques de systèmes biochimiques complexes et vérifier automatiquement leur satisfaction sur des modèles quantitatifs ou qualitatifs. Dans cet article, nous allons au delà du model-checking en présentant un algorithme de résolution de contraintes pour les formules de logique temporelle du premier ordre sans quantificateur avec contraintes sur les réels. Cet algorithme calcule le domaine des variables réelles apparaissant dans une formule pour lequel la formule est satisfaite pour un modèle donné. Nous illustrons cette approche pour la génération automatique de spécification en logique temporelle à partir de données biologiques. Nous fournissons un ensemble de motifs de formules biologiquement pertinentes et les appliquons sur des données simulées d'un modèle du cycle cellulaire. Nous montrons sur ces exemples que cette approche permet d'inférer automatiquement, des propriétés semi-qualitatives, semi-quantitatives sur les seuils de concentration, l'amplitude d'oscillations, les propriétés de stabilité, de point de passage et d'influence entre molécules.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00290470
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Submitted on : Wednesday, June 25, 2008 - 2:54:18 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Friday, May 28, 2010 - 10:50:06 PM

File

pages-001-10-article36.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00290470, version 1

Collections

Citation

Francois Fages, Aurélien Rizk. Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.1-10. ⟨inria-00290470⟩

Share

Metrics

Record views

200

Files downloads

187