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

Mateja Novak; Ulrik Nyman; Tomislav Dragicevic; Frede Blaabjerg

doi:10.1109/MIE.2019.2916232

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

Mateja Novak, Ulrik Nyman, Tomislav Dragicevic, Frede Blaabjerg

Research output: Contribution to journal › Journal article › Research › peer-review

12 Citations (Scopus)

198 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 language	English
Article number	8845791
Journal	I E E E Industrial Electronics Magazine
Volume	13
Issue number	3
Pages (from-to)	6-15
Number of pages	10
ISSN	1932-4529
DOIs	https://doi.org/10.1109/MIE.2019.2916232
Publication status	Published - Sept 2019

Keywords

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

Access to Document

10.1109/MIE.2019.2916232

SMC_IEMAccepted author manuscript, 1.78 MB

AUB Link

Search for the material in Aalborg University Library's search engine

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 = sep,

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 (Institute of Electrical and Electronics Engineers)",

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

SN - 1932-4529

VL - 13

SP - 6

EP - 15

JO - I E E E Industrial Electronics Magazine

JF - I E E E Industrial Electronics Magazine

IS - 3

M1 - 8845791

ER -

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

Abstract

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this