Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2014

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

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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
81 View
239 Download

Altmetric

Share

Gmail Facebook X LinkedIn More