...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Discrete event dynamic systems: Theory and applications >Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
【24h】

Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction

机译：可变抽象扩展有限状态机的综合限制性控制监事

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

摘要

This paper presents an algorithm that combines modular synthesis for extended finite-state machines (EFSM) with abstraction of variables by symbolic manipulation, in order to compute least restrictive controllable supervisors. Given a modular EFSM system consisting of several components, the proposed algorithm synthesises a separate supervisor for each specification component. To synthesise each supervisor, the algorithm iteratively selects components (plants and variables) from a synchronous composition until a least restrictive controllable solution is obtained. This improves on previous results of the authors where abstraction is only performed by the selection of components and not variables. The paper explains the theory of EFSM synthesis and abstraction and its algorithms. An example of a flexible manufacturing system illustrates how the proposed algorithm works to compute a modular supervisor.
机译：本文提出了一种算法，将模块化合成与符号操作的变量抽象相结合，以计算最小限制性可控监督员。 给定由多个组件组成的模块化EFSM系统，所提出的算法合成每个规范组件的单独主管。 为了合成每个主管，该算法迭代地从同步组合物中选择组件（植物和变量），直到获得最小限制性可控解决方案。 这提高了提交人的先前结果，其中仅通过选择组件而不是变量来执行抽象。 本文介绍了EFSM合成和抽象的理论及其算法。 灵活制造系统的一个示例说明了所提出的算法如何运行来计算模块化主管。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号