VERDI 2023

Speaker

Stylianos Basagiannis

Collins, Ireland.

Talks at this conference:
 14:50 SMT-Based Stability Verification of an Industrial Switched PI Control Systems

 Overview