By Topic

Verification of Biochemical Processes Using Stochastic Hybrid Systems

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

3 Author(s)
Derek Riley ; ISIS/EECS Vanderbilt University, Nashville, TN 37209, USA. ; Xenofon Koutsoukos ; Kasandra Riley

Modeling and analysis of biochemical systems are critical problems because they can provide new insights into systems which can not be easily tested with real experiments. One such biochemical process is the formation of sugar cataracts in the lens of an eye. Analyzing the sugar cataract development process is a challenging problem due to the highly-coupled chemical reactions that are involved. In this paper we model sugar cataract development as a stochastic hybrid system. Based on this model, we present a probabilistic verification method for computing the probability of sugar cataract formation for different chemical concentrations. Our analysis can potentially provide useful insights into the complicated dynamics of the process and assist in focusing experiments on specific regions of concentrations. The verification method employs dynamic programming based on a discretization of the state space and therefore suffers from the curse of dimensionality. To verify the sugar cataract development process we have developed a parallel dynamic programming implementation that can handle large systems. Although scalability is a limiting factor, this work demonstrates that the technique is feasible for realistic biochemical systems.

Published in:

2007 IEEE 22nd International Symposium on Intelligent Control

Date of Conference:

1-3 Oct. 2007