Safety of Stochastic Hybrid Systems Based on Discrete Approximations


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… (More)


2 Figures and Tables

Cite this paper

@article{Koutsoukos2006SafetyOS, title={Safety of Stochastic Hybrid Systems Based on Discrete Approximations}, author={Xenofon D. Koutsoukos and Doug Riley}, journal={2006 Proceeding of the Thirty-Eighth Southeastern Symposium on System Theory}, year={2006}, pages={429-433} }