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

信号时态逻辑 (STL) 提供了一种对机器人和网络物理系统的复杂控制目标进行编码的便捷方法。最先进的 STL 轨迹合成基于混合整数凸规划 (MICP)。 MICP 方法是合理且完整的，但由于二进制变量数量呈指数级复杂性，其可扩展性有限 ...

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

现实世界的机器人系统必须在存在不确定性的情况下遵守安全要求。为了定义和衡量需求遵守情况，信号时态逻辑 (STL) 提供了一种数学上严谨且富有表现力的语言。然而，标准 STL 无法解释不确定性 ...