Parameter Search and Robustness Analysis from Temporal Logic Specifications in Biochemical Reaction Networks

Add to your list(s) Download to your calendar using vCal

• Aurélien Rizk
• Thursday 17 March 2011, 10:00-11:00
• Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

Finding mathematical models satisfying a specification built from the formalization of biological experiments is a common task of the modeler. We show that the formalization of biological temporal properties of systems, as observed in experiments, in temporal logics specifications enable the transposition of programming concepts and tools, like model-checking, to the analysis of living processes at the cellular level. Also as temporal logics allow one to express both qualitative (e.g. some protein is eventually produced) and quantitative (e.g. a concentration exceeds 10) information they are well suited to the increasingly quantitative, yet incomplete, uncertain and imprecise information now accumulated in the field of quantitative systems biology. We define a continuous degree of satisfaction of temporal logic formula and show how it can be used as a fitness function for continuous optimization methods to provide a parameter search procedure for biochemical reaction networks with respect to temporal specifications. Then we describe how we can use such a satisfaction measure for the robustness analysis of biological models. Finally we apply these methods for the analysis of a cell cycle model, on a coupled model of the cell cycle and the circadian clock to search for optimal injections schedule of anticancer drugs, and on a synthetic biology system to find kinetic parameter values that make a given temporal specification robust in a population of cells despite variability.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Microsoft Research Cambridge, public talks
• Optics for the Cloud
• PMRFPS's
• School of Technology
• Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• personal list
• rp587

Note that ex-directory lists are not shown.