Decentralized Observation Problems
Decentralized Observation Problems
复制标题
分散观测问题
DOI：
10.1109/cdc.2005.1582122
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
S. Tripakis
中科院分区：
文献类型：
--
作者：
S. Tripakis
一个基本的观察问题是，给定要观察的系统的模型和要观察的属性的规范，检查属性是否是可观察的（即，观测器可以解决由于部分观测能力而引起的潜在模糊性），并且如果是这样，则（自动地）合成观测器。我们考虑一个简单的情况下，上述设置，即系统模型和规格表示为正规语言在有限的字母表。在这种设置下，并且在一个观测器（集中观测）的情况下，可以自动检查可观测性和合成观测器，并且保证观测器是有限状态的。如果有一个以上的观察员（分散观察），情况就更加复杂。在这里，许多定义都是可能的，这取决于决策的位置，以及观察者是否需要是有限状态。我们研究了其中的一些可能性，调查了最近的结果，并提供了一些新的结果。
A fundamental observation problem is, given a model of the system to be observed and a specification of the property to be observed, to check whether the property is observable (i.e., the observer can resolve potential ambiguities due to partial observation capabilities) and if so to (automatically) synthesize an observer. We consider a simple case of the above setting, namely, where the system model and specifications are expressed as regular languages over a finite alphabet. In this setting, and in the case of one observer (centralized observation), both checking observability and synthesizing an observer can be done automatically, and the observer is guaranteed to be finite-state. The situation is more complicated in the case of more than one observers (decentralized observation). Here, many definitions are possiblle, depending on where the decisions are taken, as well as on whether the observers are required to be finite-state. We examine some of these possibilities, surveying recent results on the topic and providing some new results as well.