The International Journal of Robotics Research

 

Advanced Search

Journal Navigation

Journal Home

Subscriptions

Archive

Contact Us

Table of Contents

Click here to register and gain free access

SAGETRACK

Sign In to gain access to subscriptions and/or personal tools.
This Article
Right arrow Full Text (PDF)
Right arrow References
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Similar articles in ISI Web of Science
Right arrow Alert me to new issues of the journal
Right arrow Add to Saved Citations
Right arrow Download to citation manager
Right arrow Add to My Marked Citations
Citing Articles
Right arrow Citing Articles via HighWire
Right arrow Citing Articles via ISI Web of Science (3)
Right arrow Citing Articles via Google Scholar
Google Scholar
Right arrow Articles by Belta, C.
Right arrow Articles by Kumar, V.
Right arrow Search for Related Content
Social Bookmarking
 Add to CiteULike   Add to Connotea   Add to Del.icio.us   Add to Digg   Add to Reddit   Add to Technorati  
What's this?
The International Journal of Robotics Research, Vol. 24, No. 2-3, 219-235 (2005)
DOI: 10.1177/0278364905050359
© 2005 SAGE Publications

Computational Techniques for Analysis of Genetic Network Dynamics

Calin Belta

Drexel University, Philadelphia, PA, USA, calin{at}drexel.edu

Joel M. Esposito

US Naval Academy, Annapolis, MD, USA

Jongwoo Kim

University of Pennsylvania, Philadelphia, PA, USA

Vijay Kumar

University of Pennsylvania, Philadelphia, PA, USA

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.

Key Words: genetic networks • hybrid systems • formal analysis • rapidly-exploring random trees


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us   Add to Digg Digg   Add to Reddit Reddit   Add to Technorati Technorati    What's this?


This article has been cited by other articles:


Home page
The International Journal of Robotics ResearchHome page
J. Kim, J. M. Esposito, and V. Kumar
Sampling-based Algorithm for Testing and Validating Robot Controllers
The International Journal of Robotics Research, December 1, 2006; 25(12): 1257 - 1272.
[Abstract] [PDF]