Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

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

(1) , (1)
1
Francois Fages
Aurélien Rizk
  • Function : Author
  • PersonId : 849936

Abstract

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.
Fichier principal
Vignette du fichier
pages-001-10-article36.pdf (267.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00290470 , version 1 (25-06-2008)

Identifiers

  • HAL Id : inria-00290470 , version 1

Cite

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⟩
73 View
124 Download

Share

Gmail Facebook Twitter LinkedIn More