Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach

Mateja Novak, Tomislav Dragicevic, Frede Blaabjerg, Ulrik Mathias Nyman

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)
237 Downloads (Pure)

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’s performance is tested with parameter uncertainties introduced in the model as well.
Original languageEnglish
Title of host publicationProceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL)
Number of pages6
PublisherIEEE Press
Publication dateJul 2017
ISBN (Print)978-1-5090-5327-8
ISBN (Electronic) 978-1-5090-5326-1
DOIs
Publication statusPublished - Jul 2017
Event18th IEEE Workshop on Control and Modeling for Power Electronics, COMPEL 2017 - Stanford, United States
Duration: 9 Jul 201712 Jul 2017

Conference

Conference18th IEEE Workshop on Control and Modeling for Power Electronics, COMPEL 2017
CountryUnited States
CityStanford
Period09/07/201712/07/2017
SeriesIEEE Workshop on Control and Modeling for Power Electronics (COMPEL)
ISSN1093-5142

    Fingerprint

Keywords

  • MPC
  • Statistical model checking
  • Predictive Control
  • Finite control set model predictive control
  • Uppaal SMC
  • Power electronic converters
  • Performance Evaluation
  • SMC

Cite this

Novak, M., Dragicevic, T., Blaabjerg, F., & Nyman, U. M. (2017). Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach. In Proceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL) IEEE Press. IEEE Workshop on Control and Modeling for Power Electronics (COMPEL) https://doi.org/10.1109/COMPEL.2017.8013279