Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification

Research output: Contribution to journalJournal articleResearchpeer-review

19 Downloads (Pure)

Abstract

Statistical model checking (SMC) is used as a method for examining system behavior in all possible scenarios, and it has been successfully implemented in embedded automotive systems, sensor networks, and aeronautics and communication systems for solving problems that were beyond the abilities of traditional formal techniques. Using this approach, the system is simulated for a finite number of times, and, afterward, the samples are used for hypothesis testing. We will demonstrate how the area of application can also be extended to power electronics systems—in particular, how this method can be used to check the performance of finite-set controlled power electronic converters.
Original languageEnglish
Article number8845791
JournalI E E E Industrial Electronics Magazine
Volume13
Issue number3
Pages (from-to)6-15
Number of pages10
ISSN1932-4529
DOIs
Publication statusPublished - Sep 2019

Fingerprint

Model predictive control
Model checking
Power electronics
Aviation
Sensor networks
Communication systems
Testing
Statistical Models

Keywords

  • Statistical model checking
  • Finite control set model predictive control (FCS-MPC)
  • Modelling and Simulation
  • Uppaal SMC
  • Controller performance

Cite this

@article{7ddf9e9d9aba4024804b4c64e0e59404,
title = "Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification",
abstract = "Statistical model checking (SMC) is used as a method for examining system behavior in all possible scenarios, and it has been successfully implemented in embedded automotive systems, sensor networks, and aeronautics and communication systems for solving problems that were beyond the abilities of traditional formal techniques. Using this approach, the system is simulated for a finite number of times, and, afterward, the samples are used for hypothesis testing. We will demonstrate how the area of application can also be extended to power electronics systems—in particular, how this method can be used to check the performance of finite-set controlled power electronic converters.",
keywords = "Statistical model checking, Finite control set model predictive control (FCS-MPC), Modelling and Simulation, Uppaal SMC, Controller performance",
author = "Mateja Novak and Ulrik Nyman and Tomislav Dragicevic and Frede Blaabjerg",
year = "2019",
month = "9",
doi = "10.1109/MIE.2019.2916232",
language = "English",
volume = "13",
pages = "6--15",
journal = "I E E E Industrial Electronics Magazine",
issn = "1932-4529",
publisher = "IEEE",
number = "3",

}

TY - JOUR

T1 - Statistical Model Checking for Finite-Set Model Predictive Control Converters

T2 - A Tutorial on Modeling and Performance Verification

AU - Novak, Mateja

AU - Nyman, Ulrik

AU - Dragicevic, Tomislav

AU - Blaabjerg, Frede

PY - 2019/9

Y1 - 2019/9

N2 - Statistical model checking (SMC) is used as a method for examining system behavior in all possible scenarios, and it has been successfully implemented in embedded automotive systems, sensor networks, and aeronautics and communication systems for solving problems that were beyond the abilities of traditional formal techniques. Using this approach, the system is simulated for a finite number of times, and, afterward, the samples are used for hypothesis testing. We will demonstrate how the area of application can also be extended to power electronics systems—in particular, how this method can be used to check the performance of finite-set controlled power electronic converters.

AB - Statistical model checking (SMC) is used as a method for examining system behavior in all possible scenarios, and it has been successfully implemented in embedded automotive systems, sensor networks, and aeronautics and communication systems for solving problems that were beyond the abilities of traditional formal techniques. Using this approach, the system is simulated for a finite number of times, and, afterward, the samples are used for hypothesis testing. We will demonstrate how the area of application can also be extended to power electronics systems—in particular, how this method can be used to check the performance of finite-set controlled power electronic converters.

KW - Statistical model checking

KW - Finite control set model predictive control (FCS-MPC)

KW - Modelling and Simulation

KW - Uppaal SMC

KW - Controller performance

UR - http://www.scopus.com/inward/record.url?scp=85072614866&partnerID=8YFLogxK

U2 - 10.1109/MIE.2019.2916232

DO - 10.1109/MIE.2019.2916232

M3 - Journal article

VL - 13

SP - 6

EP - 15

JO - I E E E Industrial Electronics Magazine

JF - I E E E Industrial Electronics Magazine

SN - 1932-4529

IS - 3

M1 - 8845791

ER -