Estimator-based reactive synthesis under incomplete information
Estimator-based reactive synthesis under incomplete information
复制标题
不完全信息下基于估计器的反应综合
DOI：
10.1145/2728606.2728626
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
U. Topcu
中科院分区：
文献类型：
--
作者：
Rüdiger Ehlers;U. Topcu
缺乏关于环境行为的完整运行时信息显著增加了计算复杂性并限制了实际反应合成方法的适用性，例如，从广义反应性（1）规格合成。我们通过将不完全信息控制器合成分成估计器构造和完全信息合成步骤来解决这个困难。与控制器并行执行的估计器建立对合成步骤显著的未观测变量的近似。它本质上提供了一个抽象的信念空间的控制器，其指数增长往往困扰不完全信息合成，通过跟踪只有相关的性能规格工程师和正在考虑的情况。我们形式化的控制器合成的估计器的概念，并提出了一个框架，在该框架中，这样的估计器的工作与控制器的反应部分估计器的输出，以实现给定的时序逻辑规范。为了限制估计量的大小和结构，我们将重点放在位置估计量的计算上。此外，我们证明了这样的估计是非常适合于在广义反应性（1）合成的背景下使用。我们说明了使用的估计为基础的合成方法的一个运行的例子激励智能交通系统。
Lack of complete run-time information about the environment behavior significantly increases the computational complexity and limits the applicability of practical reactive synthesis methods, e.g., synthesis from generalized reactivity( 1) specifications. We tackle this difficulty by splitting incomplete-information controller synthesis into estimator construction and complete-information synthesis steps. The estimator, which executes in parallel to the controller, establishes approximations of the unobserved variables that are salient for the synthesis step. It essentially provides an abstraction from the belief space of the controller, whose exponential growth often plagues incomplete-information synthesis, by keeping track of only the properties of relevance for the specification engineer and the scenario under consideration. We formalize an estimator notion for controller synthesis, and present a framework in which such estimators work in concert with controllers reacting partly to the estimator outputs to realize given temporal logic specifications. In order to limit the size and structure of the estimators, we focus on positional estimators in computation. Moreover, we demonstrate how such estimators are well-suited to be used in the context of generalized reactivity(1) synthesis. We illustrate the use of the estimator-based synthesis method on a running example motivated by intelligent transportation systems.