Analytical performance verification of FCS-MPC applied to power electronic converters: A model checking approach

Since the introduction of finite control set model predictive control (FCS-MPC) in power electronics the algorithm has been missing an important aspect that would speed up its implementation in industry: a simple method to verify the algorithm performance. This paper proposes to use a statistical model checking (SMC) method for performance evaluation of the algorithm applied to power electronics converters. SMC is simple to implement, intuitive and it requires only an operational model of the system that can be simulated and checked against properties. Device under test for control algorithm application in this paper is a standard 2-level voltage source converter (VSC) with LC output filter used for uninterruptible power supply (UPS) systems. The performance of control algorithm is verified using the UPPAAL SMC toolbox and the behavior is compared to simulation results obtained from equivalent MATLAB/Simulink model and measurements from experimental set-up. Performance results are presented in terms of probabilities with corresponding uncertainties for calculated difference between the reference capacitor voltage value and the measured output voltage, and a simple moving average value. Algorithm's performance is tested with parameter uncertainties introduced in the model as well.