Ludovico Battista

According to our database, Ludovico Battista authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Verification of Stability for Parametric affine Switched Systems.

Ludovico Battista, Stefano Tonetta

Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024

2023

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

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023