论文标题
您不知道我什么时候到达：时间逻辑任务的不可预测的控制器合成
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks
论文作者
论文摘要
在本文中，我们调查了在安全约束下合成控制器的时间逻辑规格的问题。我们假设存在一个被动入侵者（Eavesdropper），可以部分观察系统的行为。出于安全目的，我们要求系统的行为是不可预测的，从某种意义上说，入侵者无法确定系统将在提前$ k $步骤中精确地完成任务。由于综合过程涉及未来的信息，因此这个问题尤其具有挑战性。我们提出了一种新的信息结构，该结构可以预测未来控制的影响。开发了声音和完整的算法来合成一个控制器，以确保任务完成和安全保证。机器人任务计划的案例研究说明了所提出的方法。
In this paper, we investigate the problem of synthesizing controllers for temporal logic specifications under security constraint. We assume that there exists a passive intruder (eavesdropper) that can partially observe the behavior of the system. For the purpose of security, we require that the system's behaviors are unpredictable in the sense that the intruder cannot determine for sure that the system will exactly accomplish the task in $K$ steps ahead. This problem is particularly challenging since future information is involved in the synthesis process. We propose a novel information structure that predicts the effect of control in the future. A sound and complete algorithm is developed to synthesize a controller which ensures both task completion and security guarantee. The proposed approach is illustrated by a case study of robot task planning.
