Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique

Résumé : Les Réseaux de Régulation Biologique (RRB) sont communément utilisés en biologie systémique pour modéliser, comprendre et contrôler les dynamiques de production des protéines au sein des cellules. Bien qu'offrant une représentation très abstraite des systèmes biologiques, l'analyse formelle de tels modèles se heurte rapidement à l'explosion combinatoire des comportements engendrés. Cette thèse traite de la modélisation, de la simulation et de la vérification formelle des grands RRB à travers l'introduction d'un nouveau formalisme : les Frappes de Processus. La simplicité de ce formalisme permet notamment l'élaboration d'analyses statiques efficaces des systèmes complexes en général. Cette thèse aborde en premier lieu le raffinement du temps dans les modèles stochastiques via l'introduction d'un facteur d'absorption de stochasticité. Ceci apporte un compromis et une flexibilité entre des spécifications temporelles et stochastiques dans les modélisations hybrides. Une simulation générique (non-markovienne) des calculs de processus est alors proposée et appliquée aux Frappes de Processus. En outre de l'analyse statique des points fixes des Frappes de Processus, cette thèse développe une interprétation abstraite de ces Frappes de Processus permettant des approximations supérieures et inférieures très efficaces de propriétés d'atteignabilité discrète. Cette analyse permet également de faire émerger des composants requis pour la satisfaction de ces propriétés, guidant ainsi le contrôle du système. D'une complexité théorique limitée, cette approche promet de supporter l'analyse de très grands RRB et constitue une ainsi contribution qui ouvre sur de multiples perspectives.
Type de document :
Thèse
Réseaux et télécommunications [cs.NI]. Ecole Centrale de Nantes (ECN) (ECN) (ECN) (ECN), 2011. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00635750
Contributeur : Loïc Paulevé <>
Soumis le : jeudi 3 novembre 2011 - 23:20:23
Dernière modification le : mercredi 24 juin 2015 - 11:00:50
Document(s) archivé(s) le : jeudi 30 mars 2017 - 18:46:26

Identifiants

  • HAL Id : tel-00635750, version 2

Collections

Citation

Loïc Paulevé. Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique. Réseaux et télécommunications [cs.NI]. Ecole Centrale de Nantes (ECN) (ECN) (ECN) (ECN), 2011. Français. <tel-00635750v2>

Partager

Métriques

Consultations de
la notice

506

Téléchargements du document

592