Verimag

bibtex

@inproceedings{KFF7b,
    title = {Modeling the Wind Turbine Benchmark with {PWA} Hybrid Automata },
    author = {Kekatos, Nikolaos and Forets, Marcelo and Frehse, Goran},
    year = {2017},
    booktitle = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, {USA}},
    pages = {100--113},
    team = {TEMPO},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 875594