Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems.
Place of Publication	Pittsburgh, United States
Volume	48
Publication status	Published - 1 Apr 2017

Name	EPiC Series in Computing, volume 48.

Keywords

@inproceedings{90735fa4be174670b3348180fd84988d,

title = "Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)",

keywords = "Hybrid automata, Wind turbine, Model transformation, SpaceEx, Simulink, Verification models",

author = "Nikolaos Kekatos and Marcelo Forets and Goran Frehse",

year = "2017",

month = apr,

day = "1",

language = "English",

volume = "48",

series = "EPiC Series in Computing, volume 48.",

booktitle = "ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems.",

}

Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report). / Kekatos, Nikolaos; Forets, Marcelo; Frehse, Goran.
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems.. Vol. 48 Pittsburgh, United States, 2017. (EPiC Series in Computing, volume 48.).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)

AU - Kekatos, Nikolaos

AU - Forets, Marcelo

AU - Frehse, Goran

PY - 2017/4/1

Y1 - 2017/4/1

KW - Hybrid automata

KW - Wind turbine

KW - Model transformation

KW - SpaceEx

KW - Simulink

KW - Verification models

M3 - Conference contribution

VL - 48

T3 - EPiC Series in Computing, volume 48.

BT - ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems.

CY - Pittsburgh, United States

ER -