...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Advances in Science, Technology and Engineering Systems >Design of Petri Net Supervisor with 1-monitor place for a Class of Behavioral Constraints
【24h】

Design of Petri Net Supervisor with 1-monitor place for a Class of Behavioral Constraints

机译：一类行为约束下具有1个监控位置的Petri网主管的设计

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

摘要

This paper studies the design of supervisory controllers with a minimum number of monitor places for Manufacturing System modeled as safe Petri Nets. The proposed approach considers a class of safety specifications known as Behavioral Constraints with a restricted syntax. The set of Behavioral Constraints are represented as predicate logic formulas in normal conjunctive form. Then, each Behavioral Constraint induces a set of algebraic linear inequalities. The approach establishes an equivalence in order to minimize the number of monitor places. Thus, each Behavioral Constraint induces a single linear inequality, giving rise to a 1-monitor place Petri Net supervisor. The approach is illustrated with the design and implementation of 1-monitor place modular supervisor for an automated manufacturing prototype.
机译：本文研究了建模为安全Petri网的制造系统中具有最少监视位置的监督控制器的设计。所提出的方法考虑了一类具有受限语法的安全规范，称为行为约束。这组行为约束表示为普通合取形式的谓词逻辑公式。然后，每个行为约束都引发了一组代数线性不等式。该方法建立了等效性以最小化监视器位置的数量。因此，每个行为约束都引发一个线性不等式，从而产生了一个由1个监控器组成的Petri Net监控器。通过针对自动制造原型的1个监控器位置模块化监控器的设计和实现来说明该方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号