Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks
Rajeev Alur7, Calin Belta7, Franjo Ivančić7, Vijay Kumar7, Harvey Rubin7, Jonathan Schug7, Oleg Sokolsky7 and Jonathan Webb8
| (7) |
Hybrid Systems Group, University of Pennsylvania, 19104 Philadelphia, PA, USA |
| (8) |
BBN Technologies, 02138 Cambridge, MA, USA |
Abstract
In this paper we introduce our new tool BIOSKETCHPAD that allows visual progamming and modeling of biological regulatory networks.
The tool allows biologists to create dynamic models of networks using a menu of icons, arrows, and pop-up menus, and translates
the input model into CHARON, a modeling language for modular design of interacting multi-agent hybrid systems. Hybrid systems
are systems that are characterized by continuous as well as discrete dynamics. Once a CHARON model of the underlying system
is generated, we are able to exploit the various analysis capabilities of the CHARON toolkit, including simulation and reachability
analysis. We illustrate the advantages of this approach using a case study concerning the regulation of bioluminescence in
a marine bacterium.
This research was supported in part by NSF grants CDS-97-03220 and EIA-01-30797, and DARPA grant F30602-01-2-0563.
References secured to subscribers.