带预览自动装置的安全控制：海报摘要

在这项工作中，我们考虑了具有安全约束的离散动态系统的控制问题。与针对类似问题的现有工作相反，我们假设系统在运行时可以预览一些未来不受控制的输入（例如干扰）。为了开发一种可以利用这种预览信息的控制合成技术，我们引入了一种称为预览自动装置它将系统动力学与预览结构的先验知识结合在一起。我们提出了一种算法来寻找预览自动机的最大控制不变集。虽然预览自动机可以等价地表示为一个有限转换系统，对于该系统，可以应用现有的控制综合方法，但我们表明，利用预览自动机的结构可以产生更有效的求解算法。这些想法通过车道保持问题得到了证明，我们表明，预览信息的存在使车辆能够安全地在曲率较大的道路上行驶，而当没有可用的预览信息时，该问题变得不可行。