论文信息 - SMT-Based Stability Verification of an Industrial Switched PI Control Systems - 字舞流文

SMT-Based Stability Verification of an Industrial Switched PI Control Systems

A. Cimatti | Sergio Mover | Stylianos Basagiannis | Stefano Tonetta | Ludovico Battista | Anna Becchi | A. Tacchella | G. Giantamidis | V. Tsachouridis