Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)
40 Downloads (Pure)

Resumé

In this paper we demonstrate how a statistical model checking approach can be used to check the dynamic performance of the finite set model predictive control algorithm for a standalone 3-level neutral point diode clamped converter. The robustness of the control algorithm under parameter uncertainty is also analyzed. Finite control set model predictive control (FCS-MPC) algorithm has found many applications in power electronics due to the straightforward control design and the possibility to include different control objectives. The control algorithm for 3-level neutral point diode clamped (NPC) converter has to address several objectives to provide optimal reference tracking during load transients. Therefore, looking from the perspective of the implementation, the FCS-MPC algorithm suits the control requirements of NPC converter. However, the problem remains in performing an analytical performance verification of the algorithm to demonstrate its robustness, which is compulsory for any industrial application. In this paper, we present how a statistical model checking approach can be used to solve this problem and also provide valuable data about the algorithm’s performance during transients and in the case of parameter uncertainty. A benchmark model is created in Matlab/Simulink to validate the correct system modeling in UPPAAL SMC toolbox.
OriginalsprogEngelsk
TitelProceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe)
Antal sider10
ForlagIEEE Press
Publikationsdatosep. 2018
Sider1-10
Artikelnummer8515598
ISBN (Trykt)978-1-5386-4145-3
ISBN (Elektronisk)978-9-0758-1528-3
StatusUdgivet - sep. 2018
Begivenhed20th European Conference on Power Electronics and Applications, EPE 2018 ECCE Europe - Riga, Letland
Varighed: 17 sep. 201821 sep. 2018

Konference

Konference20th European Conference on Power Electronics and Applications, EPE 2018 ECCE Europe
LandLetland
ByRiga
Periode17/09/201821/09/2018

Fingerprint

Model predictive control
Diodes
Model checking
Power electronics
Industrial applications

Citer dette

Novak, M., Nyman, U. M., Dragicevic, T., & Blaabjerg, F. (2018). Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter. I Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe) (s. 1-10). [8515598] IEEE Press.
Novak, Mateja ; Nyman, Ulrik Mathias ; Dragicevic, Tomislav ; Blaabjerg, Frede. / Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter. Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, 2018. s. 1-10
@inproceedings{4748ca671b6549e5864e63f1878e0b9b,
title = "Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter",
abstract = "In this paper we demonstrate how a statistical model checking approach can be used to check the dynamic performance of the finite set model predictive control algorithm for a standalone 3-level neutral point diode clamped converter. The robustness of the control algorithm under parameter uncertainty is also analyzed. Finite control set model predictive control (FCS-MPC) algorithm has found many applications in power electronics due to the straightforward control design and the possibility to include different control objectives. The control algorithm for 3-level neutral point diode clamped (NPC) converter has to address several objectives to provide optimal reference tracking during load transients. Therefore, looking from the perspective of the implementation, the FCS-MPC algorithm suits the control requirements of NPC converter. However, the problem remains in performing an analytical performance verification of the algorithm to demonstrate its robustness, which is compulsory for any industrial application. In this paper, we present how a statistical model checking approach can be used to solve this problem and also provide valuable data about the algorithm’s performance during transients and in the case of parameter uncertainty. A benchmark model is created in Matlab/Simulink to validate the correct system modeling in UPPAAL SMC toolbox.",
keywords = "Converter Control, Uninterruptible Power Supply (UPS), Robustness, Statistics, Voltage Source Converter (VSC)",
author = "Mateja Novak and Nyman, {Ulrik Mathias} and Tomislav Dragicevic and Frede Blaabjerg",
year = "2018",
month = "9",
language = "English",
isbn = "978-1-5386-4145-3",
pages = "1--10",
booktitle = "Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe)",
publisher = "IEEE Press",

}

Novak, M, Nyman, UM, Dragicevic, T & Blaabjerg, F 2018, Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter. i Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe)., 8515598, IEEE Press, s. 1-10, Riga, Letland, 17/09/2018.

Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter. / Novak, Mateja; Nyman, Ulrik Mathias; Dragicevic, Tomislav; Blaabjerg, Frede.

Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, 2018. s. 1-10 8515598.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

AU - Novak, Mateja

AU - Nyman, Ulrik Mathias

AU - Dragicevic, Tomislav

AU - Blaabjerg, Frede

PY - 2018/9

Y1 - 2018/9

N2 - In this paper we demonstrate how a statistical model checking approach can be used to check the dynamic performance of the finite set model predictive control algorithm for a standalone 3-level neutral point diode clamped converter. The robustness of the control algorithm under parameter uncertainty is also analyzed. Finite control set model predictive control (FCS-MPC) algorithm has found many applications in power electronics due to the straightforward control design and the possibility to include different control objectives. The control algorithm for 3-level neutral point diode clamped (NPC) converter has to address several objectives to provide optimal reference tracking during load transients. Therefore, looking from the perspective of the implementation, the FCS-MPC algorithm suits the control requirements of NPC converter. However, the problem remains in performing an analytical performance verification of the algorithm to demonstrate its robustness, which is compulsory for any industrial application. In this paper, we present how a statistical model checking approach can be used to solve this problem and also provide valuable data about the algorithm’s performance during transients and in the case of parameter uncertainty. A benchmark model is created in Matlab/Simulink to validate the correct system modeling in UPPAAL SMC toolbox.

AB - In this paper we demonstrate how a statistical model checking approach can be used to check the dynamic performance of the finite set model predictive control algorithm for a standalone 3-level neutral point diode clamped converter. The robustness of the control algorithm under parameter uncertainty is also analyzed. Finite control set model predictive control (FCS-MPC) algorithm has found many applications in power electronics due to the straightforward control design and the possibility to include different control objectives. The control algorithm for 3-level neutral point diode clamped (NPC) converter has to address several objectives to provide optimal reference tracking during load transients. Therefore, looking from the perspective of the implementation, the FCS-MPC algorithm suits the control requirements of NPC converter. However, the problem remains in performing an analytical performance verification of the algorithm to demonstrate its robustness, which is compulsory for any industrial application. In this paper, we present how a statistical model checking approach can be used to solve this problem and also provide valuable data about the algorithm’s performance during transients and in the case of parameter uncertainty. A benchmark model is created in Matlab/Simulink to validate the correct system modeling in UPPAAL SMC toolbox.

KW - Converter Control

KW - Uninterruptible Power Supply (UPS)

KW - Robustness

KW - Statistics

KW - Voltage Source Converter (VSC)

UR - http://www.scopus.com/inward/record.url?scp=85056990476&partnerID=8YFLogxK

M3 - Article in proceeding

SN - 978-1-5386-4145-3

SP - 1

EP - 10

BT - Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe)

PB - IEEE Press

ER -

Novak M, Nyman UM, Dragicevic T, Blaabjerg F. Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter. I Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press. 2018. s. 1-10. 8515598