Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. In: Alur R, Pappas GJ, editors. Hybrid Systems: Computation and Control. Berlin: Springer Berlin Heidelberg; 2004. pp. 111-25. [DOI: 10.1007/978-3-540-24743-2_8]

A survey on methods for modeling and analyzing integrated biological networks

Understanding how cellular systems build up integrated responses to their dynamically changing environment is one of the open questions in Systems Biology. Despite their intertwinement, signaling networks, gene regulation and metabolism have been frequently modeled independently in the context of well-defined subsystems. For this purpose, several mathematical formalisms have been developed according to the features of each particular network under study. Nonetheless, a deeper understanding of cellular behavior requires the integration of these various systems into a model capable of capturing how they operate as an ensemble. With the recent advances in the "omics" technologies, more data is becoming available and, thus, recent efforts have been driven toward this integrated modeling approach. We herein review and discuss methodological frameworks currently available for modeling and analyzing integrated biological networks, in particular metabolic, gene regulatory and signaling networks. These include network-based methods and Chemical Organization Theory, Flux-Balance Analysis and its extensions, logical discrete modeling, Petri Nets, traditional kinetic modeling, Hybrid Systems and stochastic models. Comparisons are also established regarding data requirements, scalability with network size and computational burden. The methods are illustrated with successful case studies in large-scale genome models and in particular subsystems of various organisms.

Evolving a lingua franca and associated software infrastructure for computational systems biology: the Systems Biology Markup Language (SBML) project

Biologists are increasingly recognising that computational modelling is crucial for making sense of the vast quantities of complex experimental data that are now being collected. The systems biology field needs agreed-upon information standards if models are to be shared, evaluated and developed cooperatively. Over the last four years, our team has been developing the Systems Biology Markup Language (SBML) in collaboration with an international community of modellers and software developers. SBML has become a de facto standard format for representing formal, quantitative and qualitative models at the level of biochemical reactions and regulatory networks. In this article, we summarise the current and upcoming versions of SBML and our efforts at developing software infrastructure for supporting and broadening its use. We also provide a brief overview of the many SBML-compatible software tools available today.

Piecewise-linear Models of Genetic Regulatory Networks: Equilibria and their Stability

A formalism based on piecewise-linear (PL) differential equations, originally due to Glass and Kauffman, has been shown to be well-suited to modelling genetic regulatory networks. However, the discontinuous vector field inherent in the PL models raises some mathematical problems in defining solutions on the surfaces of discontinuity. To overcome these difficulties we use the approach of Filippov, which extends the vector field to a differential inclusion. We study the stability of equilibria (called singular equilibrium sets) that lie on the surfaces of discontinuity. We prove several theorems that characterize the stability of these singular equilibria directly from the state transition graph, which is a qualitative representation of the dynamics of the system. We also formulate a stronger conjecture on the stability of these singular equilibrium sets.