arxiv Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables

阅 读

Star 0
名称
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables
首页
https://yiyibooks.cn/arxiv/2204.06367v2/index.html
原始地址
https://arxiv.org/abs/2204.06367
描述
信号时态逻辑 (STL) 提供了一种对机器人和网络物理系统的复杂控制目标进行编码的便捷方法。最先进的 STL 轨迹合成基于混合整数凸规划 (MICP)。 MICP 方法是合理且完整的，但由于二进制变量数量呈指数级复杂性，其可扩展性有限 ...