Visual programming for modeling and simulation of biomolecular regulatorynetworks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2552, Issue , 2002, Pages 702-712

  Alur, Rajeev ^a   Belta, Calin ^a   Ivančić, Franjo ^a   Kumar, Vijay ^a   Rubin, Harvey ^a   Schug, Jonathan ^a   Sokolsky, Oleg ^a   Webb, Jonathan ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b BBN TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BACTERIA; COMPUTER PROGRAMMING; HYBRID SYSTEMS; MULTI AGENT SYSTEMS;

ANALYSIS CAPABILITIES; BIOLOGICAL REGULATORY NETWORKS; DISCRETE DYNAMICS; MODEL AND SIMULATION; MULTI-AGENT HYBRID SYSTEMS; REACHABILITY ANALYSIS; UNDERLYING SYSTEMS; VISUAL PROGRAMMING;

MODELING LANGUAGES;

EID: 77951289648     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36265-7_67     Document Type: Conference Paper

References (17)

1. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical hybrid modeling of embeddedsystems. In Embedded Software, First Intern. Workshop, LNCS 2211. 2001. 703,704
2. R. Alur, T. Dang, and F. Ivancic. Reachability analysis of hybrid systems viapredicate abstraction. In Hybrid Systems: Computation and Control, Fifth InternationalWorkshop, LNCS 2289, pages 35–48. Springer-Verlag, March 2002.711
3. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions ofhybrid systems. Proceedings of the IEEE, 88(7):971–984, July 2000. 711
4. C. Belta, L. Habets, and V. Kumar. Control of multi-affine systems on rectangleswith applications to hybrid biomolecular networks. CDC 2002, Dec. 2002. 711
5. G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide.Addison Wesley, 1997. 704
6. M. Elowitz and S. Leibler. Asynthetic oscillatory network of transciptional regulators. Nature, 403:335–338, January 2000. 702
7. J. Esposito and V. Kumar. Efficient dynamic simulation of robotic systems withhierarchy. In Intl. Conf. on Robotics and Automation, pages 2818–2823, 2001.710
8. J. Esposito, V. Kumar, and G. Pappas. Accurate event detection for simulatinghybrid systems. In Hybrid Systems: Computation and Control, LNCS 2034, 2001.710
9. 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
10. 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
11. D. Harel. Statecharts: A visual formalism for complex systems. Science of ComputerProgramming, 8:231–274, 1987. 704
12. L.H. Hartwell, J. J. Hopfield, S. Leibler, and A.W. Murray. From molecular tomodular cell biology. Nature, 402((6761 Suppl)):C47–52, December 1999. 702
13. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985. 704
14. B. Lewin. Genes VII. Oxford University Press, 2000. 703
15. 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
16. M. Ptashne. A Genetic Switch: Phage λ and Higher Organisms. Cell Press andBlackwell Science, 1992. 703
17. J. C. Venter et al. The sequence of the human genome. Science, 291(5507):1304–51., 2001. 702