Blaabjerg, Frede

Dragicevic, Tomislav

Novak, Mateja

Nyman, Ulrik

English

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

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

Crossref

https://vbn.aau.dk/ws/files/311369439/SMC_IEM.pdf

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

Abstract

Similar works

Full text

Available Versions

VBN

Crossref