By Topic

Exploring behaviors of SDE models of biological systems using change of measures

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Sumit Kumar Jha ; Computer Science Department, College of Engineering and Computer Science, University of Central Florida, Orlando 32816, USA ; Christopher James Langmead

We introduce a method for solving the following problem: given a Stochastic Differential Equation (SDE) model describing the dynamics of a biological system, algorithmically decide whether the model satisfies a given high-level behavioral specification. Our proposed solution uses a combination of Bayesian statistical hypothesis testing, Girsanov's theorem for change of measures, and independent but non-identically distributed (i.i.d.) sampling algorithms. Our use of non-i.i.d. sampling contributes to the state of the art in statistical verification of stochastic systems by providing an effective means for exposing rare events, while retaining the ability to compute bounds on the probability that those events occur.

Published in:

Computational Advances in Bio and Medical Sciences (ICCABS), 2011 IEEE 1st International Conference on

Date of Conference:

3-5 Feb. 2011