By Topic

Safety of Stochastic Hybrid Systems Based on Discrete Approximations

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
$31 $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)
Koutsoukos, X. ; Dept. of EECS, Vanderbilt Univ., Nashville, TN ; Riley, D.

Stochastic hybrid system models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of safety properties of such systems is a critical problem because of the interaction between the discrete and continuous stochastic dynamics. In this paper, we propose a probabilistic method for verifying safety based on discrete approximations. We show that the safety property can be characterized as a viscosity solution of a system of coupled Hamilton-Jacobi-Bellman equations. We present a computational algorithm for computing the solution based on discrete approximations and we show that this solution converges to the one for the original system as the discretization becomes finer. Finally, we illustrate the approach with a room heater example that has been proposed as a benchmark for hybrid system verification

Published in:

System Theory, 2006. SSST '06. Proceeding of the Thirty-Eighth Southeastern Symposium on

Date of Conference:

5-7 March 2006