### Resumé

Originalsprog | Engelsk |
---|---|

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

Antal sider | 10 |

Forlag | IEEE Press |

Publikationsdato | sep. 2018 |

Sider | 1-10 |

Artikelnummer | 8515598 |

ISBN (Trykt) | 978-1-5386-4145-3 |

ISBN (Elektronisk) | 978-9-0758-1528-3 |

Status | Udgivet - sep. 2018 |

Begivenhed | 20th European Conference on Power Electronics and Applications, EPE 2018 ECCE Europe - Riga, Letland Varighed: 17 sep. 2018 → 21 sep. 2018 |

### Konference

Konference | 20th European Conference on Power Electronics and Applications, EPE 2018 ECCE Europe |
---|---|

Land | Letland |

By | Riga |

Periode | 17/09/2018 → 21/09/2018 |

### Fingerprint

### Citer dette

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

}

*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.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 -