Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2014

Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers

Résumé

This chapter describes how quantitative temporal logic formulas can be used to formalize imprecise dynamical behaviors of biological systems, and how such a formal specification of experimental observations can be used to calibrate models to real data, in a more versatile way than with curve fitting algorithms. It presents useful patterns of first-order temporal logic formulas to facilitate their use by the modelers, present efficient solvers dedicated to them, and illustrate their use to build a coupled model of the cell cycle and the circadian molecular clock with period and phase constraints.
Fichier principal
Vignette du fichier
main.pdf (856.15 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01103305 , version 1 (14-01-2015)

Identifiants

Citer

François Fages, Pauline Traynard. Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers. Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, 2014, Bioengineering and health science series, 978-1-84821-680-8. ⟨10.1002/9781119005223.ch8⟩. ⟨hal-01103305⟩

Collections

INRIA INRIA2
84 Consultations
241 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More