Safety Analysis of Stochastic Dynamical Systems
暂无分享,去创建一个
[1] Rafael Wisniewski,et al. Certificate for safe emergency shutdown of wind turbines , 2013, 2013 American Control Conference.
[2] Didier Henrion,et al. Convex Computation of the Region of Attraction of Polynomial Control Systems , 2012, IEEE Transactions on Automatic Control.
[3] T. Kurtz,et al. Existence of Markov Controls and Characterization of Optimal Markov Controls , 1998 .
[4] Anders Rantzer,et al. Convex Programs for Temporal Verification of Nonlinear Dynamical Systems , 2007, SIAM J. Control. Optim..
[5] Alexandre M. Bayen,et al. A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.
[6] Bayu Jayawardhana,et al. Uniting Control Lyapunov and Control Barrier Functions , 2014, 53rd IEEE Conference on Decision and Control.
[7] Jean B. Lasserre,et al. Global Optimization with Polynomials and the Problem of Moments , 2000, SIAM J. Optim..
[8] George J. Pappas,et al. A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.
[9] B. Øksendal. Stochastic differential equations : an introduction with applications , 1987 .
[10] Colin Neil Jones,et al. Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems , 2012, NOLCOS.
[11] Frank Allgöwer,et al. CONSTRUCTIVE SAFETY USING CONTROL BARRIER FUNCTIONS , 2007 .
[12] Didier Henrion,et al. GloptiPoly 3: moments, optimization and semidefinite programming , 2007, Optim. Methods Softw..
[13] Kurt Helmes,et al. Computing Moments of the Exit Time Distribution for Markov Processes by Linear Programming , 2001, Oper. Res..
[14] Paulo Tabuada,et al. Control barrier function based quadratic programs with application to adaptive cruise control , 2014, 53rd IEEE Conference on Decision and Control.