论文标题
基于时间轴游戏的控制器合成
Controller Synthesis for Timeline-based Games
论文作者
论文摘要
在最初出生在太空行业的基于时间表的计划方法中，一组状态变量（时间表）的演变受一组时间约束的控制。传统的基于时间表的计划系统在整合计划与处理时间不确定性的执行方面表现出色。为了处理一般的非确定主义，最近引入了基于时间表的游戏的概念。已经证明，发现此类游戏是否存在获胜策略是2Exptime-Complete。但是，缺少一种综合控制器的具体方法。本文填补了这一空白，概述了基于时间轴游戏的控制器合成方法。
In the timeline-based approach to planning, originally born in the space sector, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints. Traditional timeline-based planning systems excel at the integration of planning with execution by handling temporal uncertainty. In order to handle general nondeterminism as well, the concept of timeline-based games has been recently introduced. It has been proved that finding whether a winning strategy exists for such games is 2EXPTIME-complete. However, a concrete approach to synthesize controllers implementing such strategies is missing. This paper fills this gap, outlining an approach to controller synthesis for timeline-based games.
