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

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.