Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
hal.structure.identifier | Models and Algorithms for the Genome [ MAGNOME] | |
dc.contributor.author | SOUEIDAN, Hayssam | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
dc.contributor.author | SUTRE, Grégoire | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
hal.structure.identifier | Models and Algorithms for the Genome [ MAGNOME] | |
dc.contributor.author | NIKOLSKI, Macha | |
dc.contributor.editor | 21 | |
dc.date.accessioned | 2024-04-15T09:50:46Z | |
dc.date.available | 2024-04-15T09:50:46Z | |
dc.date.created | 2009 | |
dc.date.issued | 2009 | |
dc.date.conference | 2009 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198372 | |
dc.description.abstractEn | Quantitative models in Systems Biology depend on a large number of free parameters, whose values completely determine behavior of models. These parameters are often estimated by fitting the system to observed experimental measurements and data. The response of a model to parameter variation defines qualitative changes of the system's behavior. The influence of a given parameter can be estimated by varying it in a certain range. Some of these ranges produce similar system dynamics, making it possible to define general trends for trajectories of the system (e.g. oscillating behavior) in such parameter ranges. Such trends can be seen as a qualitative description of the system's dynamics within a parameter range. In this work, we define an automata-based formalism to formally describe the qualitative behavior of systems' dynamics. Qualitative behaviors are represented by finite transition systems whose states contain predicate valuation and whose transitions are labeled by probabilistic delays. Biochemical system' dynamics are automatically abstracted in terms of these qualitative transition systems by a random sampling of trajectories. Furthermore, we use graph theoretic tools to compare the resulting qualitative behaviors and to estimate those parameter ranges that yield similar behaviors. We validate this approach on published biochemical models and show that it enables rapid exploration of models' behavior, that is estimation of parameter ranges with a given behavior of interest and identification of some bifurcation points. | |
dc.language.iso | en | |
dc.publisher | Springer Verlag | |
dc.source.title | Proc. 7th Int. Conf. on Computational Methods in Systems Biology (CMSB'09), Bologna, Italy, Aug.-Sep. 2009 | |
dc.title.en | Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models | |
dc.type | Communication dans un congrès | |
dc.subject.hal | Informatique [cs]/Bio-informatique [q-bio.QM] | |
dc.subject.hal | Sciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM] | |
bordeaux.page | 313--327 | |
bordeaux.volume | 5688 | |
bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.conference.title | Computational Methods in Systems Biology (CMSB'09) | |
bordeaux.country | IT | |
bordeaux.title.proceeding | Proc. 7th Int. Conf. on Computational Methods in Systems Biology (CMSB'09), Bologna, Italy, Aug.-Sep. 2009 | |
bordeaux.conference.city | Bologna | |
bordeaux.peerReviewed | oui | |
hal.identifier | hal-00408909 | |
hal.version | 1 | |
hal.invited | non | |
hal.proceedings | oui | |
hal.popular | non | |
hal.audience | Internationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-00408909v1 | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.btitle=Proc.%207th%20Int.%20Conf.%20on%20Computational%20Methods%20in%20Systems%20Biology%20(CMSB'09),%20Bologna,%20Italy,%20Aug.-Sep.%202009&rft.date=2009&rft.volume=5688&rft.spage=313--327&rft.epage=313--327&rft.au=SOUEIDAN,%20Hayssam&SUTRE,%20Gr%C3%A9goire&NIKOLSKI,%20Macha&rft.genre=unknown |
Fichier(s) constituant ce document
Fichiers | Taille | Format | Vue |
---|---|---|---|
Il n'y a pas de fichiers associés à ce document. |