HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Adolfo Anta

Publications
Hybrid Modelling of a Wind Turbine
Simone Schuler, Fabiano Daher Adegas and Adolfo Anta
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark problem: an air brake model for trains
Luca Parolini, Simone Schuler and Adolfo Anta
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

benchmark2, control, hybrid modelling, Industrial, Python, requirements, switched system, train control, verification, wind turbine.

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