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.
Abstract
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
@inproceedings{LincolnTiwari04:HSCC,
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},
SERIES = {LNCS},
VOLUME = 2993,
MONTH = mar,
YEAR = 2004
}
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page