TY - CHAP
T1 - Stochastic spatial modelling of the remyelination process in multiple sclerosis lesions
AU - Luisa Vissat, Ludovica
AU - Hillston, Jane
AU - Williams, Anna
PY - 2019/6/12
Y1 - 2019/6/12
N2 - Remyelination is a regenerative process that aims to repair damaged regions of the central nervous system, caused by demyelinating diseases, like multiple sclerosis. This process fails to completely repair the demyelinated lesions in many cases and the causes of the failures are not clear. Since many factors and complex mechanisms regulate the process, it is helpful to use high-level modelling languages to describe it and model checking techniques to perform the analysis. They allow us to describe and simulate this stochastic process, and to analyse its behaviour in different scenarios. This study will support neurologists to reason about the different factors that influence this complex process and to create new hypotheses to test through lab experiments. In this chapter, we introduce a novel process algebra called MELA that we used for modelling the remyelination process. We present a number of MELA models capturing different hypotheses about the functioning of remyelination, and their comparison. We perform the analysis of the spatio-temporal evolution of remyelination using Signal Spatio-Temporal Logic and Statistical Model Checking.
AB - Remyelination is a regenerative process that aims to repair damaged regions of the central nervous system, caused by demyelinating diseases, like multiple sclerosis. This process fails to completely repair the demyelinated lesions in many cases and the causes of the failures are not clear. Since many factors and complex mechanisms regulate the process, it is helpful to use high-level modelling languages to describe it and model checking techniques to perform the analysis. They allow us to describe and simulate this stochastic process, and to analyse its behaviour in different scenarios. This study will support neurologists to reason about the different factors that influence this complex process and to create new hypotheses to test through lab experiments. In this chapter, we introduce a novel process algebra called MELA that we used for modelling the remyelination process. We present a number of MELA models capturing different hypotheses about the functioning of remyelination, and their comparison. We perform the analysis of the spatio-temporal evolution of remyelination using Signal Spatio-Temporal Logic and Statistical Model Checking.
UR - https://www.springer.com/gp/book/9783030172961
U2 - 10.1007/978-3-030-17297-8_11
DO - 10.1007/978-3-030-17297-8_11
M3 - Chapter (peer-reviewed)
SN - 978-3-030-17296-1
T3 - Computational Biology
SP - 299
EP - 326
BT - Automated Reasoning for Systems Biology and Medicine
A2 - Liò, Pietro
A2 - Zuliani, Paolo
PB - Springer
ER -