Certificate for safe emergency shutdown of wind turbines
暂无分享,去创建一个
[1] Manfredi Maggiore,et al. Invariance kernels of single-input planar nonlinear systems , 2011, Proceedings of the 2011 American Control Conference.
[2] Graziano Chesi,et al. LMI Techniques for Optimization Over Polynomials in Control: A Survey , 2010, IEEE Transactions on Automatic Control.
[3] F. Bianchi,et al. Wind turbine control systems , 2006 .
[4] Bruce Reznick,et al. Sums of squares of real polynomials , 1995 .
[5] J. Jonkman,et al. Definition of a 5-MW Reference Wind Turbine for Offshore System Development , 2009 .
[6] Pablo A. Parrilo,et al. Semidefinite programming relaxations for semialgebraic problems , 2003, Math. Program..
[7] Rafael Wisniewski,et al. Compositional safety analysis using barrier certificates , 2012, HSCC '12.
[8] J. Lasserre. Moments, Positive Polynomials And Their Applications , 2009 .
[9] Stephen Prajna. Barrier certificates for nonlinear model validation , 2006, Autom..
[10] George J. Pappas,et al. A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.
[11] Marie-Françoise Roy,et al. Real algebraic geometry , 1992 .