[ main page ] [ back ]

38/2012 : Multiple verification in complex biological systems: the bone remodelling case study

RR Number
38/2012
Conference
Trans. on Comput. Syst. Biology XIV, LNBI 7625, pp. 5376. Springer, Heidelberg (2012)
Author(s)
Ezio Bartocci, Pietro Li, Emanuela Merelli, Nicola Paoletti
Abstract
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.
Bibtex
@article{ bartocci:2012-38,
  author =       "Ezio Bartocci and Pietro Liò and Emanuela Merelli and Nicola Paoletti",
  title =        "Multiple verification in complex biolog- ical systems: the bone remodelling case study",
  journal =      "Trans. on Comput. Syst. Biology XIV,",
  year =         "2012",
  month =        "Jan."
}
Download

[ main page ] [ back ]