Reachability analysis for controlled discrete time stochastic hybrid systems

Authors:
Saurabh Amin;Alessandro Abate;Maria Prandini;John Lygeros;Shankar Sastry
Affiliations:
University of California at Berkeley, Berkeley;University of California at Berkeley, Berkeley;Politecnico di Milano, Milano, Italy;University of Patras, Patras, Greece;University of California at Berkeley, Berkeley
Venue:
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Year:
2006

Citing 7
Cited 4

Stochastic systems: estimation, identification and adaptive control

Stochastic systems: estimation, identification and adaptive control
Ergodic Control of Switching Diffusions

SIAM Journal on Control and Optimization
Towars a Theory of Stochastic Hybrid Systems

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Stochastic Optimal Control: The Discrete-Time Case

Stochastic Optimal Control: The Discrete-Time Case
Reachability questions in piecewise deterministic Markov processes

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Bisimulation for general stochastic hybrid systems

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Aircraft conflict prediction in the presence of a spatially correlated wind field

IEEE Transactions on Intelligent Transportation Systems

Safe and Secure Networked Control Systems under Denial-of-Service Attacks

HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
On the connections between PCTL and dynamic programming

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Computational approaches to reachability analysis of stochastic hybrid systems

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
A stochastic reach-avoid problem with random obstacles

Proceedings of the 14th international conference on Hybrid systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

A model for discrete time stochastic hybrid systems whose evolution can be influenced by some control input is proposed in this paper. With reference to the introduced class of systems, a methodology for probabilistic reachability analysis is developed that is relevant to safety verification. This methodology is based on the interpretation of the safety verification problem as an optimal control problem for a certain controlled Markov process. In particular, this allows to characterize through some optimal cost function the set of initial conditions for the system such that safety is guaranteed with sufficiently high probability. The proposed methodology is applied to the problem of regulating the average temperature in a room by a thermostat controlling a heater.