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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

24 Downloads (Pure)

Abstrakt

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.
OriginalsprogEngelsk
Artikelnummer8845791
TidsskriftI E E E Industrial Electronics Magazine
Vol/bind13
Udgave nummer3
Sider (fra-til)6-15
Antal sider10
ISSN1932-4529
DOI
StatusUdgivet - sep. 2019

    Fingerprint

Citationsformater