Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints

DOI10.1016/j.tcs.2010.10.036zbMath1211.92015OpenAlexW2090675676MaRDI QIDQ533354

Aurélien Rizk, Sylvain Soliman, François Fages, Elisabetta De Maria

Publication date: 3 May 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01285815/file/DFRS11tcs.pdf

zbMATH Keywords

model checkingtemporal logicconstraint solvingcell cycleDNA damageparameter learningmodel couplingirinotecan

Mathematics Subject Classification ID

Probabilistic models, generic numerical methods in probability and statistics (65C20) Applications of optimal control and differential games (49N90) Medical applications (general) (92C50) Biochemistry, molecular biology (92C40) Cell biology (92C37) Systems biology, networks (92C42)

Related Items (1)

Multi‐input adaptive notch filter and observer for circadian phase estimation

Uses Software

• BioNetGen
• BIOCHAM

Cites Work

• Unnamed Item
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• On temporal logic constraint solving for analyzing numerical data time series
• Modeling and querying biomolecular interaction networks
• A model for restriction point control of the mammalian cell cycle
• Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
• A Model for p53 Dynamics Triggered by DNA Damage
• Computer Aided Verification

This page was built for publication: Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints