SMT-Based 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; Vassilios A. Tsachouridis (DSN-W, 2023)

Formal Verification of Stability for Parametric affine Switched Systems. - Ludovico Battista; Stefano Tonetta (ADHS, 2024)