Stochastic reachability analysis in complex biological networks

The impact of noise on cellular networks and its interplay with their rich dynamics are increasingly being characterized as important phenomena that must be thoroughly investigated for a useful understanding of biological dynamics. At the same time, the mathematical modeling and analysis of these ne...

Full description

Bibliographic Details
Main Authors: El-Samad, H, Fazel, M, Liu, X, Papachristodoulou, A, Prajna, S, IEEE
Format: Conference item
Published: 2006
_version_ 1826268450415181824
author El-Samad, H
Fazel, M
Liu, X
Papachristodoulou, A
Prajna, S
IEEE
author_facet El-Samad, H
Fazel, M
Liu, X
Papachristodoulou, A
Prajna, S
IEEE
author_sort El-Samad, H
collection OXFORD
description The impact of noise on cellular networks and its interplay with their rich dynamics are increasingly being characterized as important phenomena that must be thoroughly investigated for a useful understanding of biological dynamics. At the same time, the mathematical modeling and analysis of these networks in a stochastic setting presents a number of challenges, such as the need for a large number of computationally expensive stochastic simulations to collect statistics about the occurrence of important events or correlate their occurrence with the noise intensity. In this paper, we demonstrate the use of new techniques of stochastic reachability analysis to address these problems. Specifically, we study the problem of computing bounds on the probability of a biological stochastic process to reach certain parts of the state space in a finite time. The techniques presented are based on the algorithmic construction of barrier certificates using convex optimization, and are illustrated through the use of a biologically important system: the bacteriophage λ genetic switch. © 2006 IEEE.
first_indexed 2024-03-06T21:09:51Z
format Conference item
id oxford-uuid:3dc45406-780a-40e0-8b46-ea6a2716f151
institution University of Oxford
last_indexed 2024-03-06T21:09:51Z
publishDate 2006
record_format dspace
spelling oxford-uuid:3dc45406-780a-40e0-8b46-ea6a2716f1512022-03-26T14:21:23ZStochastic reachability analysis in complex biological networksConference itemhttp://purl.org/coar/resource_type/c_5794uuid:3dc45406-780a-40e0-8b46-ea6a2716f151Symplectic Elements at Oxford2006El-Samad, HFazel, MLiu, XPapachristodoulou, APrajna, SIEEEThe impact of noise on cellular networks and its interplay with their rich dynamics are increasingly being characterized as important phenomena that must be thoroughly investigated for a useful understanding of biological dynamics. At the same time, the mathematical modeling and analysis of these networks in a stochastic setting presents a number of challenges, such as the need for a large number of computationally expensive stochastic simulations to collect statistics about the occurrence of important events or correlate their occurrence with the noise intensity. In this paper, we demonstrate the use of new techniques of stochastic reachability analysis to address these problems. Specifically, we study the problem of computing bounds on the probability of a biological stochastic process to reach certain parts of the state space in a finite time. The techniques presented are based on the algorithmic construction of barrier certificates using convex optimization, and are illustrated through the use of a biologically important system: the bacteriophage λ genetic switch. © 2006 IEEE.
spellingShingle El-Samad, H
Fazel, M
Liu, X
Papachristodoulou, A
Prajna, S
IEEE
Stochastic reachability analysis in complex biological networks
title Stochastic reachability analysis in complex biological networks
title_full Stochastic reachability analysis in complex biological networks
title_fullStr Stochastic reachability analysis in complex biological networks
title_full_unstemmed Stochastic reachability analysis in complex biological networks
title_short Stochastic reachability analysis in complex biological networks
title_sort stochastic reachability analysis in complex biological networks
work_keys_str_mv AT elsamadh stochasticreachabilityanalysisincomplexbiologicalnetworks
AT fazelm stochasticreachabilityanalysisincomplexbiologicalnetworks
AT liux stochasticreachabilityanalysisincomplexbiologicalnetworks
AT papachristodouloua stochasticreachabilityanalysisincomplexbiologicalnetworks
AT prajnas stochasticreachabilityanalysisincomplexbiologicalnetworks
AT ieee stochasticreachabilityanalysisincomplexbiologicalnetworks