Modélisation et analyse par vérification formelle et simulation conjointe des réseaux de régulation géniques

Olivier Roux

In order to understand development of living organisms, and to control them and possibly to avoid or remedy some unexpected behaviours, synthetic biology intends to build models of these dynamical processes to accurately analyse them. Several modelling frameworks were designed for such a purpose, among which the characteristic of our approach is that it leads to hybrid models (mixing discrete and continuous features) which are founded upon the discrete formalism of Ren´e Thomas. Furthermore, it is algebraically expressed thanks to the stochastic -calculus including the temporal aspects.We shortly highlight the results achieved from a simple example and we show the benefits that we brought from this new method.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: