Modélisation hybride et analyse dynamique des réseaux de régulation génétique.

Les réseaux de régulation génétique expriment les interactions (activation ou inhibition) qui s'exercent entre des gènes. Ces interactions se traduisent par des influences sur leur niveau d'expression. Elles dépendent de nombreux paramètres de différente  nature, dont les valeurs sont souvent mal (ou pas du tout) connues.

À des fins thérapeutiques, les biologistes cherchent à connaître (pour  pouvoir modifier) les évolutions des niveaux d'expressions de gènes interagissants.
La bio-informatique apporte des outils pour modéliser ces phénomènes et analyser les comportements de ces systèmes dynamiques complexes.

Nous montrerons comment nous construisons des modèles sous forme d'automates hybrides, permettant de rendre compte finement des phénomènes qui se produisent dans la réalité du vivant. À partir de ces représentations, nous expérimentons "in-silico" en étudiant les caractéristiques des évolutions par des approches de model-checking  paramétrique.

Nous situerons notre approche par rapport à d'autres travaux comparables, et nous conclurons sur des perspectives de prolongement en cours ou prévus.