Departmental Papers (MEAM)

Document Type

Journal Article

Subject Area


Date of this Version

February 2005


Copyright Sage Publications. Postprint version. Published in International Journal of Robotics Research, Volume 24, Issue 2-3, February 2005, pages 219-235.


In this paper we propose modeling and analysis techniques for genetic networks that provide biologists with insight into the dynamics of such systems. Central to our modeling approach is the framework of hybrid systems and our analysis tools are derived from formal analysis of such systems. Given a set of states characterizing a property of biological interest P, we present the Multi-Affine Rectangular Partition (MARP) algorithm for the construction of a set of infeasible states I that will never reach P and the Rapidly Exploring Random Forest of Trees (RRFT) algorithm for the construction of a set of feasible states F that will reach P. These techniques are scalable to high dimensions and can incorporate uncertainty (partial knowledge of kinetic parameters and state uncertainty). We apply these methods to understand the genetic interactions involved in the phenomenon of luminescence production in the marine bacterium V. fischeri.


genetic networks, hybrid systems, formal analysis, rapidly-exploring random trees



Date Posted: 17 August 2005

This document has been peer reviewed.