• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IFAC PapersOnLine >Guard extraction for modeling and control of a collaborative assembly station ?
【24h】

Guard extraction for modeling and control of a collaborative assembly station ?

机译：保护和控制协作装配站的建模和控制 ？

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A transition system represented by guards and actions can be amended by new guards computed in order to satisfy some specification. If the transition system is the result of composing smaller state machines, guard extraction can be used to put the new guards onto the guards the original state machines. Planning and verification can then be performed directly on the system with additional guards. In this paper we discuss the benefits of applying guard extraction as part of the modeling work in a modular control architecture, where reusable resources are composed using specifications. We show with an example from the development of an industrial demonstrator that even if the specification language is limited to invariant propositions, in practice many common safety specifications can be expressed when combined with a notion of which transitions are allowed to be restricted.
机译：由后卫和操作代表的过渡系统可以通过计算的新警卫来修改，以满足一些规范。如果过渡系统是构成较小的状态机的结果，可以使用防护装置将新警卫放在原始状态机上。然后可以使用额外的防护装置直接执行规划和验证。在本文中，我们讨论了作为模块化控制架构中的模型工作的一部分应用保护提取的好处，其中使用规范组成可重用资源。我们展示了一个示例，从开发工业示威者，即使规范语言仅限于不变的命题，在实践中，可以在与允许受到过渡的概念时表达许多常见的安全规范。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号