Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of the reachability problem in a stochastic control framework reveals that it is amenable to two complementary interpretatio...

Full description

Bibliographic Details
Main Authors: Abate, A, Prandini, M, Lygeros, J, Sastry, S
Format: Journal article
Language:English
Published: 2008