Toward Systems Biology

May 30 - 31, June 1, 2011

Grenoble

Quantitative Temporal Logics for a Quantitative Analysis of Biological Systems

The Signal Temporal Logic (STL) is adapted to describe properties which constrain real-valued signals such as timed evolutions of quantities involved in a biological system. Recently, we extended STL with a quantitative (robust) interpretation which provides a numerical margin by which a simulation trace satisfies or violate a property. Moreover, we can estimate in some cases the sensitivity of this margin to a parameter change. By combining this information with different parameters exploration strategies, we get an efficient methodology to investigate which properties are satisfied by a model, how robustly these properties are satisfied and how to find parameters values which guarantees a robust satisfaction. I will describe this methodology, the tool implementing it, and an illustration of its application on an enzymatic network involved in angiogenesis.

Alexandre Donzé, Verimag