A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems
暂无分享,去创建一个
[1] Ian M. Mitchell. The Flexible, Extensible and Efficient Toolbox of Level Set Methods , 2008, J. Sci. Comput..
[2] Xenofon D. Koutsoukos,et al. Computational Methods for Verification of Stochastic Hybrid Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[3] John Lygeros,et al. Reachability Questions in Piecewise Deterministic Markov Processes , 2003, HSCC.
[4] John Lygeros,et al. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems , 2007, HSCC.
[5] John Lygeros,et al. On reachability and minimum cost optimal control , 2004, Autom..
[6] John Lygeros,et al. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems , 2008, Autom..
[7] M. K. Ghosh,et al. Ergodic Control of Switching Diffusions , 1997 .
[8] Jerzy A. Filar,et al. Stochastic target hitting time and the problem of early retirement , 2004, IEEE Transactions on Automatic Control.
[9] John Lygeros,et al. Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems , 2006, HSCC.
[10] Xenofon D. Koutsoukos,et al. Computational Methods for Reachability Analysis of Stochastic Hybrid Systems , 2006, HSCC.
[11] John Lygeros,et al. Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.