Since 2017 I have been involved in research on Model Predictive Control (MPC). In this line of research we apply the tool Uppaal SMC to evaluate different parameter values for DC-AC power converters and for evaluating the stability of the power converters. This work has been done together with Tomislav Dragičević, Mateja Novak and Frede Blaabjerg.
- COMPEL: Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach (pdf)
- EPE’2018: Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter (pdf)
- IEEE Transaction on Industrial Electronics: Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters (pdf)
- IEEE Industrial Electronics Magazine: Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification (pre-print.pdf, Magazine version)