Sciweavers

CMSB
2008
Springer

A Model Checking Approach to the Parameter Estimation of Biochemical Pathways

13 years 5 months ago
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
Model 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 behaviour...
Robin Donaldson, David Gilbert
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CMSB
Authors Robin Donaldson, David Gilbert
Comments (0)