TY - GEN
T1 - Understanding the bacterial stringent response using reachability analysis of hybrid systems
AU - Belta, C.
AU - Finin, P.
AU - Habets, L.C.G.J.M.
AU - Halász, A.M.
AU - Imielinski, M.
AU - Kumar, R.V.
AU - Rubin, H.
PY - 2004
Y1 - 2004
N2 - In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to accommodate chemical reactions, and are defined in rectangular invariants, whose facets correspond to changes in the behavior of a gene or enzyme. For such systems, we showed that reachability and safety verification problems can be formulated and solved (conservatively) in an elegant and computationally inexpensive way, based on the fact that multi-affine functions on rectangular regions of the space are determined at the vertices. Using these techniques, we study the stringent response system, which is the transition of bacterial organisms from growth phase to a metabolically suppressed phase when subjected to an environment with limited nutrients.
AB - In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to accommodate chemical reactions, and are defined in rectangular invariants, whose facets correspond to changes in the behavior of a gene or enzyme. For such systems, we showed that reachability and safety verification problems can be formulated and solved (conservatively) in an elegant and computationally inexpensive way, based on the fact that multi-affine functions on rectangular regions of the space are determined at the vertices. Using these techniques, we study the stringent response system, which is the transition of bacterial organisms from growth phase to a metabolically suppressed phase when subjected to an environment with limited nutrients.
U2 - 10.1007/978-3-540-24743-2_8
DO - 10.1007/978-3-540-24743-2_8
M3 - Conference contribution
SN - 3-540-21259-0
T3 - Lecture Notes in Computer Science
SP - 111
EP - 125
BT - Hybrid Systems : Computation and Control ; Proceedings 7th International Workshop HSCC2004, Philadelphia PA, USA, March 25-27, 2004
A2 - Alur, R.
A2 - Pappas, G.J.
PB - Springer
CY - Berlin
ER -