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

Abstract

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 setup. 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.

Convertidor Trifásico Bidireccional y Bifuncional Usando Control FSC-MPC para Sistemas Híbridos de Generación Distribuida

“…A. Estado del arte y antecedentes En las referencias [20], [21] y [22] se tienen, documentos que presentan estudios relacionados con la investigación que se aborda en este artículo, se revisa muy brevemente algunas características más importantes que se presentan en dichas investigaciones. En [20] se presenta una aplicación del control predictivo al diseño de un convertidor bidireccional monofásico de cinco niveles.…”

“…En el caso de [22] se presenta un estudio orientado a evaluar el comportamiento de la estrategia de control MPC-FCS aplicado a circuitos electrónicos de potencia, mediante la utilización de un modelo denominado UPPAAL SMC, modelo que tiene por objeto comprobar el buen funcionamiento de la técnica de control MPC-FCS, el ensayo es realizado en un convertidor de dos niveles de DC a AC trifásico, el resultado demuestra que la técnica de control utilizada tiene un comportamiento bueno y confiable.…”

Model predictive control of grid-connected PV power generation system considering optimal MPPT control of PV modules

“…Because MPC can effectively overcome the uncertainty and nonlinearity of the process and deal with various constraints of spatial state variables, optimal control can be achieved by selecting the control mode that minimizes the evaluation function after establishing the system predictive model. Reference [19] studies the performance verification method of a finite control set model predictive control (FCS-MPC) strategy applied to the power electronic converter, and evaluates the performance of the algorithm using statistical model checking. Reference [20] studies the weighting factor design based on an artificial neural network of a converter under MPC, whereas in [21], MPC is applied to modular multilevel converters.…”