Modeling the Wind Turbine Benchmark with PWA Hybrid Automata

14 pages•Published: June 27, 2017

Nikolaos Kekatos, Marcelo Forets and Goran Frehse

Abstract

The wind turbine benchmark is part of the ARCH benchmark repository. It entails closed- loop requirements and encompasses nonlinear and hybrid dynamics. Owing its origin to industry based applications, the benchmark modeling is done with MATLAB/Simulink. Formal verification tools, however, do not operate on simulation models but on formal models, such as hybrid automata. Particularly efficient verification algorithms are known for systems with Piecewise Affine (PWA) dynamics. In this vein, we construct a PWA model of the wind turbine in the SX format, which formally describes a network of hy- brid automata and can be used by several reachability tools. The model transformation follows a four-step approach with the aim of (i) adapting the Simulink model to obtain a verification model (ii) translating the Simulink blocks to equivalent blocks in SX format, (iii) conducting compositional, syntactic hybridization to obtain a PWA approximation of the dynamics of the nonlinear blocks, and (iv) performing model validation. We also report some preliminary experiments on the subsystems (network components) of the wind turbine that we conducted with SpaceEx.

Keyphrases: benchmark, mode transformation, simulink, spaceex, wind turbine

In: Goran Frehse and Matthias Althoff (editors). ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 48, pages 100-113.

Links:	https://easychair.org/publications/paper/V4
	https://doi.org/10.29007/s3mq

BibTeX entry

@inproceedings{ARCH17:Modeling_Wind_Turbine_Benchmark,
  author    = {Nikolaos Kekatos and Marcelo Forets and Goran Frehse},
  title     = {Modeling the Wind Turbine Benchmark with PWA Hybrid Automata},
  booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {48},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/V4},
  doi       = {10.29007/s3mq},
  pages     = {100-113},
  year      = {2017}}

Download PDF Open PDF in browser