Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems
Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems
复制标题
知识浪费是一件可怕的事情：在离散事件控制问题中使用推理
DOI：
10.1109/tac.2007.892371
复制
发表时间：
2007
影响因子：
6.8
通讯作者：
K. Rudie
中科院分区：
文献类型：
--
作者：
S. Ricker;K. Rudie
在离散事件系统的模态逻辑设置中，推理的作用被添加到分散监管者的能力中。在之前的工作中，分散的监管者仅使用通过直接观察给定系统获得的信息，通过形式推理做出控制决策。该框架得到扩展，以便当监管者无法根据自己对系统的了解做出明确的控制决策时，监管者可以推断其他监管者是否有足够的知识来最终做出正确的控制决策
The role of inference is added to the capabilities of decentralized supervisors in a modal logic setting for discrete-event systems. In previous work, a decentralized supervisor made a control decision through formal reasoning, using only information obtained from direct observation of a given system. The framework is extended so that when a supervisor cannot make a definitive control decision based on its own knowledge of the system, the supervisor may reason about whether other supervisors have sufficient knowledge to eventually make the correct control decision