基于鲁棒性的时间窗口时序逻辑规范综合：混合整数线性规划方法

摘要

本文针对离散时间线性系统，提出了一种利用混合整数线性规划（MILP）来综合满足时间窗口时序逻辑（TWTL）规范的控制输入的方法。通过编码TWTL公式的鲁棒满意度为混合整数线性约束，并最大化鲁棒度，该方法确保了正目标值下的布尔满意度，并分别实现了开环和闭环（模型预测控制）两种综合方案。