HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Anna Becchi

Publications
Stability Verification of an Industrial Switched PI Control Systems
Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta and Vassilios Tsachouridis
In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella
In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems

Keyphrases

Aerospace Design, formal methods, hybrid systems, Lyapunov functions, stability.

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