×

Multiple verification in complex biological systems: the bone remodelling case study. (English) Zbl 1381.74152

Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XIV. Special issue on computational models for cell processes. Berlin: Springer (ISBN 978-3-642-35523-3/pbk). Lecture Notes in Computer Science 7625. Lecture Notes in Bioinformatics. Journal Subline, 53-76 (2012).
Summary: We present a set of formal techniques and a methodology for a composite formal analysis at the tissue and organ level, focusing on the verification of quantitative properties in the process of bone remodelling. Starting from a differential equation model, we derive a stochastic model and a piecewise multi-affine approximation in order to perform model checking of stabilisation properties for the biological tissue, and to assess the differences between a regular remodelling activity and a defective activity typical of pathologies like osteoporosis. The complex nonlinear dynamics of bone remodelling is analysed with a variety of techniques: sensitivity analysis for the differential equation model; quantitative probabilistic model checking for the stochastic model; and classical model checking and parameter synthesis on the piecewise multi-affine model. Such analyses allow us to extract a wealth of information that is not only useful for a deeper understanding of the biological process but also towards medical diagnoses.
For the entire collection see [Zbl 1259.92001].

MSC:

74L15 Biomechanical solid mechanics
92C30 Physiology (general)
92C42 Systems biology, networks
PDFBibTeX XMLCite
Full Text: DOI