首页> 外文期刊>IFAC PapersOnLine >Local Mean Payoff Supervisory Control under Partial Observation ?
【24h】

Local Mean Payoff Supervisory Control under Partial Observation ?

机译:局部均衡监控监控控制在局部观察

获取原文
           

摘要

The problem under investigation in this work is local mean payoff supervisory control of partially observed discrete event systems. The system is modeled as a weighted finite state automaton and weight flows are generated with transitions. The local mean payoff over a finite number of events may serve as a measure of stability or robustness of the weight flows. The range of events to evaluate the local mean payoff is termed a window, which slides along transitions. The window is called fuzzy due to the presence of unobservable events. A supervisor is designed to ensure that the mean payoff within each fuzzy window always lies in certain interval. In addition, qualitative properties like safety and liveness are also required. Then the partial observation supervisory control problem is transformed to a two-player safety game on the properly defined windowed bipartite transition system. By analyzing the game, we propose a method to synthesize supervisors that provably solve the original supervisory control problem.
机译:在这项工作中调查的问题是部分观察到的离散事件系统的本地均值监管控制。系统被建模为加权有限状态自动机,并且使用转换生成重量流。在有限数量的事件上的局部平​​均支付可以用作重量流动的稳定性或稳健性的量度。评估本地均值的事件的范围被称为窗口,沿着过渡幻灯片。由于存在不可观察的事件,窗口被称为模糊。主管旨在确保每个模糊窗口内的平均支付总是在某些间隔内呈现。此外,还需要类似的质量性质和安全性。然后,部分观测监控问题被转换为在适当定义的窗口的双链转换系统上的双人安全游戏中。通过分析游戏,我们提出了一种方法来综合监管者,可证明可以解决原始监督控制问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号