Skip to Main content Skip to Navigation
New interface
Book sections

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.
Document type :
Book sections
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : François Fages Connect in order to contact the contributor
Submitted on : Wednesday, January 14, 2015 - 2:41:36 PM
Last modification on : Friday, January 21, 2022 - 3:14:10 AM
Long-term archiving on: : Friday, September 11, 2015 - 6:46:31 AM


Files produced by the author(s)




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⟩



Record views


Files downloads