Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/11863
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorGilbert, D-
dc.contributor.advisorSaunders, N-
dc.contributor.authorOvidiu, Parvu-
dc.date.accessioned2016-01-18T14:58:22Z-
dc.date.available2016-01-18T14:58:22Z-
dc.date.issued2016-
dc.identifier.urihttp://bura.brunel.ac.uk/handle/2438/11863-
dc.descriptionThis thesis was submitted for the award of Doctor of Philosophy and was awarded by Brunel University Londonen_US
dc.description.abstractComputational models of complex biological systems can provide a better understanding of how living systems function but need to be validated before they are employed for real-life (e.g. clinical) applications. One of the most frequently employed in silico approaches for validating such models is model checking. Traditional model checking approaches are limited to uniscale non-spatial computational models because they do not explicitly distinguish between different scales, and do not take properties of (emergent) spatial structures (e.g. density of multicellular population) into account. This thesis defines a novel multiscale multidimensional spatio-temporal meta model checking methodology which enables validating multiscale (spatial) computational models of biological systems relative to how both numeric (e.g. concentrations) and spatial system properties are expected to change over time and across multiple scales. The methodology has two important advantages. First it supports computational models encoded using various high-level modelling formalisms because it is defined relative to time series data and not the models used to produce them. Secondly the methodology is generic because it can be automatically reconfigured according to case study specific types of spatial structures and properties using the meta model checking approach. In addition the methodology could be employed for multiple domains of science, but we illustrate its applicability here only against biological case studies. To automate the computational model validation process, the approach was implemented in software tools, which are made freely available online. Their efficacy is illustrated against two uniscale and four multiscale quantitative computational models encoding phase variation in bacterial colonies and the chemotactic aggregation of cells, respectively the rat cardiovascular system dynamics, the uterine contractions of labour, the Xenopus laevis cell cycle and the acute inflammation of the gut and lung. This novel model checking approach will enable the efficient construction of reliable multiscale computational models of complex systems.en_US
dc.description.sponsorshipBrunel University Londonen_US
dc.language.isoenen_US
dc.publisherBrunel University Londonen_US
dc.relation.urihttp://bura.brunel.ac.uk/bitstream/2438/11863/1/FulltextThesis.pdf-
dc.subjectMultiscale computational modelsen_US
dc.subjectSpatio-temporal modelsen_US
dc.subjectSystems biologyen_US
dc.subjectComputational biologyen_US
dc.subjectFormal methodsen_US
dc.titleComputational model validation using a novel multiscale multidimensional spatio-temporal meta model checking approachen_US
dc.typeThesisen_US
Appears in Collections:Computer Science

Files in This Item:
File Description SizeFormat 
FulltextThesis.pdf11.87 MBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.