Modelling gene regulatory networks with timed automata

Résumé

The present Master thesis summarizes and extends the existing approaches which model gene regulatory networks with timed automata formalism. Gene regulatory networks are networks dedicated to the regulation of the gene expressions in the cell. Timed automata formalism is a formalism adapted to the modelling of systems where concurrency plays an important role. Moreover, the formalism has interesting properties for model checking. The modelling of gene regulatory networks with timed automata is a domain which has been little explored so far. This thesis summarizes the two existing approaches in this domain, the timed-boolean approach based on R. Thomas's formalism, and the approach followed by the software IKNAT. For the latter approach, the thesis presents some extensions and a formalization of its principles. The obtained formalism is then used to create a new approach developed to avoid some problems raised by the IKNAT approach. Finally, the timed-boolean approach, the IKNAT approach, and the new approach are compared in case studies.

la date de réponse	2011
langue originale	Anglais
L'institution diplômante	Universite de Namur
Superviseur	Jean-Marie Jacquet (Promoteur)