@inproceedings{1734a66bed364b32a8df2982bb61c6cf,
title = "Optimizing safety supervisors for wind turbines using barrier certificates",
abstract = "To avoid structural damage, a wind turbine is equipped with a safety supervisor that triggers an emergency shutdown procedure in case of internal faults or large wind gusts. This paper leverages the (compositional) barrier certificate framework for the design and optimization of such a supervisor. The problem is formulated as a sum of squares problem and is solved using semi-definite programming. Both a direct and compositional approach are successfully implemented and verified for the NREL 5MW reference turbine. In conclusion, the methods derived in this paper are indeed viable for the syntheses and optimization of safety systems for future wind turbines.",
keywords = "Barrier certificates, Compositional, Fault detection, Safety analysis, Safety supervisor, Sum of squares, Wind turbines",
author = "M. Laurijsse and Rafal Wisniewski and S. Weiland",
year = "2014",
doi = "10.3182/20140824-6-ZA-1003.01148",
language = "English",
isbn = "978-3-902823-62-5",
series = "I F A C Workshop Series",
publisher = "IFAC Publisher",
number = "1",
pages = "11450--11457",
editor = "Edward Boje and Xiaohua Xia",
booktitle = "Proceedings of the 19th IFAC World Congress, 2014",
note = "19th World Congress of the International Federation of Automatic Control, IFAC 2014 ; Conference date: 24-08-2014 Through 29-08-2014",
}