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