具有度量时序逻辑规范的切换随机系统的可证明正确控制器综合：以电力系统为例

本文提出一种针对具有度量时序逻辑（MTL）规范且带可证明概率保证的切换随机控制系统的可证明正确控制器综合方法。我们首先给出切换随机控制系统的随机控制互模拟函数，该函数以概率方式界定切换随机控制系统与其标称确定性控制系统之间的轨迹发散。然后，我们开发一种方法，通过求解确定性控制系统标称轨迹的优化问题来计算最优控制输入，该问题对初始状态变化和随机不确定性具有鲁棒性。我们将鲁棒随机控制器综合方法应用于四总线电力系统与九总线电力系统，在发电损失扰动下，以 MTL 规范表达电网频率偏差、风力发电机转子转速变化及不同电力线功率流约束的要求。