HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Nikolaos Kekatos

Publications
Lane change maneuver for autonomous vehicles (Benchmark Proposal)
Nikolaos Kekatos, Daniel Heß and Goran Frehse
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata
Nikolaos Kekatos, Marcelo Forets and Goran Frehse
In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems

Keyphrases

autonomous vehicles, benchmark, control design, lane change, mode transformation, simulation, Simulink, SpaceEx, Specifications, wind turbine.

Copyright © 2012-2025 easychair.org. All rights reserved.