Timed Control with Partial Observability
Timed Control with Partial Observability
复制标题
具有部分可观测性的定时控制
DOI：
10.1007/978-3-540-45069-6_18
复制
发表时间：
2003
影响因子：
5.2
通讯作者：
A. Petit
中科院分区：
文献类型：
--
作者：
P. Bouyer;D. D'Souza;Madhusudan Parthasarathy;A. Petit
我们考虑使用定时自动机对定时系统合成控制器的问题。远离早期工作的目的是，我们考虑只有部分观察到它控制的系统的控制器。在离散事件系统（未建模连续时间）中，众所周知如何处理部分可观察性，可确定性问题与完整信息设置没有区别。但是，我们表明，即使对于内部规格，在部分可观察性下的定时控制也无法确定（而完全可观察性下的类似问题是可以决定的），并且我们确定了可决定的子类。
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that have only a partial observation of the system that it controls. In discrete event systems (where continuous time is not modeled), it is well known how to handle partial observability, and decidability issues do not differ from the complete information setting. We show however that timed control under partial observability is undecidable even for internal specifications (while the analogous problem under complete observability is decidable) and we identify a decidable subclass.