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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivančić, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical hybrid modeling of embedded systems. In Embedded Software, First Intern. Workshop, LNCS 2211. 2001. 703, 704
R. Alur, T. Dang, and F. Ivančić. Reachability analysis of hybrid systems via predicate abstraction. In Hybrid Systems: Computation and Control, Fifth International Workshop, LNCS 2289, pages 35–48. Springer-Verlag, March 2002. 711
R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7):971–984, July 2000. 711
C. Belta, L. Habets, and V. Kumar. Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. CDC 2002, Dec. 2002. 711
G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide. Addison Wesley, 1997. 704
M. Elowitz and S. Leibler. Asynthetic oscillatory network of transciptional regulators. Nature, 403:335–338, January 2000. 702
J. Esposito and V. Kumar. Efficient dynamic simulation of robotic systems with hierarchy. In Intl. Conf. on Robotics and Automation, pages 2818–2823, 2001. 710
J. Esposito, V. Kumar, and G. Pappas. Accurate event detection for simulating hybrid systems. In Hybrid Systems: Computation and Control, LNCS 2034, 2001. 710
R. Ghosh and C. J. Tomlin. Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. In HSCC, Rome, Italy, Mar 28–30 2001. 703
S. Graf and H. Saidi. Construction of abstract state graphs with PVS. In Proc. 9th Intl. Conf. on Computer Aided Verification, LNCS 1254, 1997. 711
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987. 704
L.H. Hartwell, J. J. Hopfield, S. Leibler, and A.W. Murray. From molecular to modular cellbiology. Nature, 402((6761 Suppl)):C47-52, December 1999. 702
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985. 704
B. Lewin. Genes VII. Oxford University Press, 2000. 703
P. Mendes and D. B. Kell. Non-linear optimization of biochemical pathways: applications to metabolic engineering and parameter estimation. Bioinformatics, 10:869–883, 1998. 702
M. Ptashne. A Genetic Switch: Phage λ and Higher Organisms. Cell Press and Blackwell Science, 1992. 703
J. C. Venter et al. The sequence of the human genome. Science, 291(5507): 1304–51, 2001. 702
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alur, R. et al. (2002). Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. In: Sahni, S., Prasanna, V.K., Shukla, U. (eds) High Performance Computing — HiPC 2002. HiPC 2002. Lecture Notes in Computer Science, vol 2552. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36265-7_67
Download citation
DOI: https://doi.org/10.1007/3-540-36265-7_67
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00303-8
Online ISBN: 978-3-540-36265-4
eBook Packages: Springer Book Archive