NantilusModélisation, simulation et vérification des grands réseaux de régulation biologique
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...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , , |
| Autres auteurs : | |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Modélisation, simulation et vérification des grands réseaux de régulation biologique / Loïc Paulevé; sous la direction de Olivier Roux |
| Publié : |
2011 |
| Description matérielle : | 1 vol. (226 p.) |
| Note de thèse : | Thèse de doctorat : Automatique, robotique, traitement du signal et informatique appliquée : Ecole centrale de Nantes : 2011 |
| Sujets : |
| LEADER | 05330cam a2200469 4500 | ||
|---|---|---|---|
| 001 | PPN192708643 | ||
| 003 | http://www.sudoc.fr/192708643 | ||
| 005 | 20240523055300.0 | ||
| 029 | |a FR |b 2011ECDN0023 | ||
| 100 | |a 20160419d2011 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng | |
| 102 | |a FR | ||
| 105 | |a a ma 000yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 rdacarrier | |
| 200 | 1 | |a Modélisation, simulation et vérification des grands réseaux de régulation biologique |f Loïc Paulevé |g sous la direction de Olivier Roux | |
| 210 | 1 | |d 2011 | |
| 215 | |a 1 vol. (226 p.) |c ill. |d 30 cm. | ||
| 314 | |a Partenaire de recherche : Institut de recherche en communications et cybernétique de Nantes | ||
| 320 | |a Bibliographie : p. 219-228 | ||
| 328 | 0 | |b Thèse de doctorat |c Automatique, robotique, traitement du signal et informatique appliquée |e Ecole centrale de Nantes |d 2011 | |
| 330 | |a 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. | ||
| 330 | |a Biological Regulatory Networks (BRN) are widely used in systems biology to model, understand and control the dynamics of production of proteins within cells. While offering a very abstract representation of biological systems, the formal analysis of such models rapidly suffers from the combinatorial explosion of the generated behaviours.This thesis addresses the modelling, the simulation and the formal checking of large-scale BRNs through the introduction of a new framework: the Process Hitting. The simplicity of this formalism notably allows the definition of efficient static analyses of complex systems in general. Firstly, this thesis focuses on refining time features within stochastic models through the in-troduction of a so-called stochasticity absorption factor. Such a technique brings flexibility and a compromise between time and stochastic specifications within hybrid models. A generic (non-Markovian) simulation of process calculi is then proposed and applied to the Process Hitting. In addition to the static analysis of the fixed points of Process Hitting, this thesis develops an ab-stract interpretation of the Process Hitting, resulting in very efficient over- and under-approximations of discrete reachability properties. This analysis also allows the highlighting of components required to satisfy such properties, thus driving a control of the system. Having a limited theoretical com-plexity, this approach is promising for the analysis of very large BRNs, being then a contribution opening multiple outlooks. | ||
| 541 | | | |a Modelling, simulation and verification of large biological regulatory networks |z eng | |
| 606 | |3 PPN027242366 |a Régulation (biologie) |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 606 | |3 PPN053469844 |a Logiciels |x Vérification |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 610 | 0 | |a Frappes de processus | |
| 610 | 0 | |a Simulation non-markovienne | |
| 686 | |a 620 |2 TEF | ||
| 700 | 1 | |3 PPN127903690 |a Paulevé |b Loïc |f 1985-.... |4 070 | |
| 702 | 1 | |3 PPN066922836 |a Roux |b Olivier Henri |f 19..-.... |c professeur des universités IRCCyN |4 727 | |
| 712 | 0 | 2 | |3 PPN03063525X |a Centrale Nantes |c 1991-.... |4 295 |
| 712 | 0 | 2 | |3 PPN134103211 |a École doctorale Sciences et technologies de l'information et mathématiques |c Nantes |4 996 |
| 712 | 0 | 2 | |3 PPN113164726 |a Institut de recherche en communications et cybernétique |c Nantes |f 1958-2017 |4 981 |
| 801 | 3 | |a FR |b Abes |c 20171116 |g AFNOR | |
| 979 | |a ECN | ||
| 930 | |5 441092306:553045792 |b 441092306 |a Th. 2378 bis |j u | ||
| 998 | |a 750475 | ||