期刊论文

中文

智慧电力

2096-4145

2020

48

11

74-79

10.3969/j.issn.1673-7598.2020.11.013

国家自然科学基金资助项目（U1833119）~~；

本校为其他机构

针对FCSMPC性能验证问题,引入了一种基于统计模型检测（SMC）的验证方法。以三相逆变器及其FCSMPC为例,完成了FCSMPC算法设计,并通过Simulink基准模型开展了仿真计算,并进行了实验。在UPPAAL SMC工具箱中,将系统建模为随机时间自动机网络,并与等效的Simulink基准模型和实验结果相互映证。通过UPPAAL SMC验证系统完成了对FCSMPC算法中控制参数设计和鲁棒性的查询概率检验,检验结果验证了系统动态和模型参数扰动下FCSMPC算法的控制性能。