Timed Control with Observation Based and Stuttering Invariant Strategies
Timed Control with Observation Based and Stuttering Invariant Strategies
复制标题
基于观察和口吃不变策略的定时控制
DOI：
10.1007/978-3-540-75596-8_15
复制
发表时间：
2007
影响因子：
5.2
通讯作者：
Jean
中科院分区：
文献类型：
--
作者：
F. Cassez;Alexandre David;K. Larsen;D. Lime;Jean
在本文中，我们考虑了在不完美的信息下定时游戏的控制器合成问题。我们方法的新颖是对策略的要求：它们应该基于有限的观察集合，并且必须使不变的意义不变，因为重复相同的观察不会改变策略。我们为具有完美信息的等效有限游戏提供了建设性的转换，提供了可定义性，并允许有效的直接向前算法。我们报告了最初的实验实现的应用。
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be based on a finite collection of observations and must be stuttering invariant in the sense that repeated identical observations will not change the strategy. We provide a constructive transformation to equivalent finite games with perfect information, giving decidability as well as allowing for an efficient on-the-fly forward algorithm. We report on application of an initial experimental implementation.