Hybrid Modeling and Simulation of Biomolecular Networks

Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory proteins can control genes that produce other regulators, which in turn control other genes. Further, the feedback pathways appear to incorporate switches that result in changes in the dynamic behavior of the cell. This paper describes a hybrid systems approach to modeling the intra-cellular network using continuous differential equations to model the feedback mechanisms and mode-switching to describe the changes in the underlying dynamics. We use two case studies to illustrate a modular approach to modeling such networks and describe the architectural and behavioral hierarchy in the underlying models. We describe these models using Charon [2], a language that allows formal description of hybrid systems. We provide preliminary simulation results that demonstrate how our approach can help biologists in their analys...

• Type: Conference
• Year: 2001
• Where: HYBRID
• Authors: Rajeev Alur, Calin Belta, Franjo Ivancic
• Keywords: Continuous Differential Equations, Control Systems, Genetic Regulatory Apparatus, HYBRID 2001, Hybrid Systems