41 citations · 74 across the 5 of their papers we have counts for
3 papers · 1 filter
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study
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…
Formal Verification of Control Systems Properties with Theorem Proving
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
This paper presents the deductive formal verification of high-level properties of control systems with theorem proving, using the Why3 tool. Properties that can be verified with th…
Multiplexed Model Predictive Control
K. V. Ling, J. M. Maciejowski, A. G. Richards +1
This paper proposes a form of MPC in which the control variables are moved asynchronously. This contrasts with most MIMO control schemes, which assume that all variables are update…