Download PDFOpen PDF in browserHybrid Modelling of a Wind Turbine9 pages•Published: February 1, 2017AbstractThis paper proposes a simplified nonlinear model of a wind turbine equipped with a switching controller. The composition of wind turbine and controller results in a hybrid system. The control of such a system and the enforcement of numerous safety and performance constraints constitute a relevant benchmark to evaluate tools for proving safety requirements in hybrid systems.Keyphrases: benchmark, hybrid modelling, requirements, switched system, verification, wind turbine In: Goran Frehse and Matthias Althoff (editors). ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, vol 43, pages 18-26.
|