Speaker
Alessandro Cimatti
Fondazione Bruno Kessler - FBK, Italy.
Talks at this conference:
14:50 | SMT-Based Stability Verification of an Industrial Switched PI Control Systems |
Speaker
Fondazione Bruno Kessler - FBK, Italy.
14:50 | SMT-Based Stability Verification of an Industrial Switched PI Control Systems |