...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Automatic Control >A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
【24h】

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

机译：模块化无阻塞监督者组成综合的框架

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

摘要

This paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modeled as a set of deterministic automata. Compositional synthesis exploits the modular structure of the input model, and therefore works best for models consisting of a large number of small automata. The state-space explosion is mitigated by the use of abstraction to simplify individual components, and the property of synthesis equivalence guarantees that the final synthesis result is the same as it would have been for the non-abstracted model. The paper describes synthesis equivalent abstractions and shows their use in an algorithm to efficiently compute supervisors. The algorithm has been implemented in the DES software tool Supremica and successfully computes nonblocking modular supervisors, even for systems with more than ${bf 10^{14}}$ reachable states, in less than 30 seconds.
机译：本文描述了组成监督者综合的框架，该框架适用于建模为确定性自动机集合的所有离散事件系统。合成合成利用输入模型的模块化结构，因此最适合包含大量小型自动机的模型。通过使用抽象来简化单个组件，可以减轻状态空间爆炸的危险，并且合成等效性的性质保证了最终的合成结果与非抽象模型的结果相同。该论文描述了综合等效抽象，并展示了它们在算法中的使用，以有效地计算主管。该算法已在DES软件工具Supremica中实现，并且即使在30秒之内可到达状态达到$ {bf 10 ^ {14}} $以上的系统中，也能成功计算出无阻塞模块化监控器。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号