Team Parsifal

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: New Results

A logic for systems biology

Participants : Kaustuv Chaudhuri, Joëlle Despeyroux.

Kaustuv Chaudhuri and Joëlle Despeyroux have proposed a logic, called HyLL, for reasoning in and about reactions in systems and molecular biology. Such reaction systems can be imagined as state transition systems where the transitions are equipped with a stochastic rate function. In HyLL, these transitions are linear implications (from linear logic). The rate is determined using a modal judgement that makes the rate of formation explicit. The modal judgement is then reified by means of the Im2 $\#8595 $ connective from hybrid logic. They have demonstrated the use of HyLL on the repressilator, an example of a regulatory gene network. The expressivity of HyLL have been explicated by giving an embedding of the stochastic $ \pi$ -calculus. A paper has been submitted and a technical report is in preparation.


Logo Inria