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 metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-01103305
Contributor : François Fages <>
Submitted on : Wednesday, January 14, 2015 - 2:41:36 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Long-term archiving on : Friday, September 11, 2015 - 6:46:31 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

299

Files downloads

230