@inproceedings{941493a2c83449fba443b5fb1957c56b,

title = "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 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{\textquoteright}s performance is tested with parameter uncertainties introduced in the model as well.",

keywords = "MPC, Statistical model checking, Predictive Control, Finite control set model predictive control, Uppaal SMC, Power electronic converters, Performance Evaluation, SMC",

author = "Mateja Novak and Tomislav Dragicevic and Frede Blaabjerg and Nyman, {Ulrik Mathias}",

year = "2017",

month = jul,

doi = "10.1109/COMPEL.2017.8013279",

language = "English",

isbn = "978-1-5090-5327-8",

series = "IEEE Workshop on Control and Modeling for Power Electronics (COMPEL) ",

publisher = "IEEE Press",

booktitle = "Proceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL)",

note = "18th IEEE Workshop on Control and Modeling for Power Electronics, COMPEL 2017 ; Conference date: 09-07-2017 Through 12-07-2017",

}