Feret, J. ; Henzinger, T. ; Koeppl, H. ; Petrov, T. (2012)
Lumpability Abstractions of Rule-based Systems.
In: Journal of Theoretical Comuter Science, 431
Article, Bibliographie
Abstract
The induction of a signaling pathway is characterized by transient complex formation and mutual posttranslational modification of proteins. To faithfully capture this combinatorial process in a mathematical model is an important challenge in systems biology. Exploiting the limited context on which most binding and modification events are conditioned, attempts have been made to reduce the combinatorial complexity by quotienting the reachable set of molecular species, into species aggregates while preserving the deterministic semantics of the thermodynamic limit. Recently we proposed a quotienting that also preserves the stochastic semantics and that is complete in the sense that the semantics of individual species can be recovered from the aggregate semantics. In this paper we prove that this quotienting yields a sufficient condition for weak lumpability and that it gives rise to a backward Markov bisimulation between the original and aggregated transition system. We illustrate the framework on a case study of the EGF/insulin receptor crosstalk.
| Item Type: | Article |
|---|---|
| Erschienen: | 2012 |
| Creators: | Feret, J. ; Henzinger, T. ; Koeppl, H. ; Petrov, T. |
| Type of entry: | Bibliographie |
| Title: | Lumpability Abstractions of Rule-based Systems |
| Language: | English |
| Date: | March 2012 |
| Place of Publication: | Jena |
| Journal or Publication Title: | Journal of Theoretical Comuter Science |
| Volume of the journal: | 431 |
| URL / URN: | http://linkinghub.elsevier.com/retrieve/pii/S030439751101025... |
| Abstract: | The induction of a signaling pathway is characterized by transient complex formation and mutual posttranslational modification of proteins. To faithfully capture this combinatorial process in a mathematical model is an important challenge in systems biology. Exploiting the limited context on which most binding and modification events are conditioned, attempts have been made to reduce the combinatorial complexity by quotienting the reachable set of molecular species, into species aggregates while preserving the deterministic semantics of the thermodynamic limit. Recently we proposed a quotienting that also preserves the stochastic semantics and that is complete in the sense that the semantics of individual species can be recovered from the aggregate semantics. In this paper we prove that this quotienting yields a sufficient condition for weak lumpability and that it gives rise to a backward Markov bisimulation between the original and aggregated transition system. We illustrate the framework on a case study of the EGF/insulin receptor crosstalk. |
| Uncontrolled Keywords: | Abstraction, Bisimulation, Lumpability, Markov chains |
| Divisions: | 18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute for Telecommunications > Bioinspired Communication Systems 18 Department of Electrical Engineering and Information Technology > Institute for Telecommunications |
| Date Deposited: | 04 Apr 2014 14:11 |
| Last Modified: | 23 Sep 2021 14:31 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum