Home  > News from Ibis > Talks, seminars, poster presentations,...

Hayssam Soueidan - Stochastic Discrete-Event systems for the modeling of biological networks

Seminar at INRIA Grenoble - Rhône-Alpes, July 10, 2009 11 AM


Abstract

Stochastic modeling is a common quantitative technique in systems biology. In this talk we will focus on Stochastic Discrete-Eventsystems (DES) formalism that captures the dynamic behaviour of asystem, and requires knowledge of stochastic delays and probabilities of decisions. In particular we will address systems that are non-deterministic, and may have continuous or discrete probability distributions.

BioRica is a compositional constraint automata language that can specify such non deterministic DES. In this talk we will define a semantics for these syntactical BioRica models. This semantics can be seen in terms of finite state stochastic transition systems admitting a computable probability for the cylinder induced by a prefix path. On the practical level it makes possible to compute exactly the next state probability distribution, and can be used for static analysis of various performance and reachability properties of the model.

The dynamics of a continuous model (e.g. ODE or Stochastic Pi-calculus models) can be represented by BioRica. This is assured by aquantification technique based on predicate abstraction. This quantification can be used to automatize parameter exploration of continuous systems by comparing the transient behavior of continuous models.

All these analysis will be illustrated by applications to cell cycle models with instantiation of daughter cells.

Speaker

Hayssam Soueidan, INRIA Bordeaux and LaBRI

Venue

INRIA Grenoble - Rhône-Alpes, Montbonnot, July 10, 2009, 11 AM, room A104