41 citations · 74 across the 5 of their papers we have counts for
1 paper · 1 filter
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
This paper presents the verification of control systems implemented in Simulink. The goal is to ensure that high-level requirements on control performance, like stability, are sati…