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

François Fages (1) , Pauline Traynard (1)

1 Lifeware - Computational systems biology and optimization

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.

Domaines: Bio-informatique [q-bio.QM]

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⟩