...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Automatic Control, IEEE Transactions on >Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems
【24h】

Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems

机译：离散事件系统的基于超逼近的分散式主管的综合

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In our past work, we presented a framework for the decentralized control of discrete event systems involving inferencing over ambiguities about the system state of various local decision-makers, and introduced the notion of $N$-inference-observability as an existence condition of a certain decentralized supervisor. When a given specification fails to satisfy the $N$ -inference-observability property, a supervisor achieving the given specification does not exist, and a technique for synthesizing a decentralized supervisor that achieves an $N$ -inference-observable superlanguage is presented here (a dual problem of computing an $N$-inference-observable sublanguage was studied in our past work).
机译：在过去的工作中，我们提出了一个离散事件系统的分散控制框架，该框架涉及对各种地方决策者的系统状态的歧义进行推断，并引入了$ N $ -inference-observability的概念作为一个条件的存在条件。某些分散的主管。当给定规范不满足$ N $-推理可观察性属性时，不存在实现给定规范的管理器，并且在此处介绍一种用于合成实现$ N $-推理可观察超语言的去中心化管理器的技术（我们在过去的工作中研究了计算$ N $推理可观察的子语言的双重问题）。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号