Sciweavers

HYBRID
2004
Springer

Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems

13 years 9 months ago
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems
Abstract. 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.
Calin Belta, Peter Finin, Luc C. G. J. M. Habets,
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where HYBRID
Authors Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar, Harvey Rubin
Comments (0)