Please use this identifier to cite or link to this item: http://buratest.brunel.ac.uk/handle/2438/2890
Full metadata record
DC FieldValueLanguage
dc.contributor.authorDonaldson, R-
dc.contributor.authorGilbert, D-
dc.coverage.spatial19en
dc.date.accessioned2008-12-05T15:56:39Z-
dc.date.available2008-12-05T15:56:39Z-
dc.date.issued2008-
dc.identifier.citationProceedings of the 6th Conference on Computational Methods in Systems Biology (CMSB), Rostock, 12th - 15th October 2008, pp. 269-287.en
dc.identifier.urihttp://bura.brunel.ac.uk/handle/2438/2890-
dc.description.abstractModel checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed ‘acceptable’. In this work we use model checking in a new setting; parameter estimation. We characterise the desired behaviour of a model in a temporal logic property and alter the model to make it conform to the property (determined through model checking). We have implemented a computational system called MC2(GA) which pairs a model checker with a genetic algorithm. To drive parameter estimation, the fitness of set of parameters in a model is the inverse of the distance between its actual behaviour and the desired behaviour. The model checker used is the simulation-based Monte Carlo Model Checker for Probabilistic Linear-time Temporal Logic with numerical constraints, MC2(PLTLc). Numerical constraints as well as the overall probability of the behaviour expressed in temporal logic are used to minimise the behavioural distance. We define the theory underlying our parameter estimation approach in both the stochastic and continuous worlds. We apply our approach to biochemical systems and present an illustrative example where we estimate the kinetic rate constants in a continuous model of a signalling pathway.en
dc.format.extent499193 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoen-
dc.publisherSpringeren
dc.titleA model checking approach to the parameter estimation of biochemical pathwaysen
dc.typeConference Paperen
Appears in Collections:Computer Science
Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
fulltext[1].pdf487.49 kBAdobe PDFView/Open


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