Symbolic systems biology: Hybrid modeling and analysis of biological networks

Pat Lincoln and Ashish Tiwari

Invited talk at HSCC 2004, Univ. of Pennsylvania, Philadelphia, March 25--27 2004, Springer-Verlag. The final version will appear at the Springer LNCS proceedings site or the Springer LNCS site.


How do living cells compute and control themselves, and communicate with their environment? We describe the modeling and analysis of dynamic and reactive biological systems involving both discrete and continuous behaviors, to help begin to answer that question. Continuous components arise as differential equations specifying how the concentrations of various molecular species evolve over time. Discrete components of models of biological systems arise from state transitions (eg. from healthy to abnormal states), abstractions and approximations, nonlinear effects, and the presence of inherently discrete processes, often observed in systems governed by one or a few molecules. Once a hybrid model is obtained, analysis techniques such as those described in this and previous HSCC workshops can be usefully applied to help uncover structure in the dynamics of biological systems of interest.

postscript or pdf

BibTeX Entry

	TITLE = {Symbolic systems biology: Hybrid modeling and analysis of biological networks},
	AUTHOR = {Lincoln, P. and Tiwari, A.},
	BOOKTITLE = {Hybrid Systems: Computation and Control HSCC},
	EDITOR = "Alur, R. and Pappas, G.",
	PAGES = {660--672},
	PUBLISHER = {Springer},
	VOLUME = 2993,
	MONTH = mar,
	YEAR = 2004

Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page