首页> 外文期刊>IFAC PapersOnLine >Supervisory Control based on Behavioral Constraints using a Class of Linear Inequalities
【24h】

Supervisory Control based on Behavioral Constraints using a Class of Linear Inequalities

机译:基于行为约束的一类线性不等式监督控制

获取原文
           

摘要

This paper studies the design of supervisory controllers with a minimum number of monitor places for safe Petri Nets using a class of specification modeled as Behavioral Constraints. A logic equivalence is established between the set of linear inequalities induced by the Behavioral Constraint and a single inequality which, using the Invariant Based Control Design method, leads to a Petri Net supervisor with a single monitor place. The approach is illustrated with the synthesis of a supervisory controller for a section of a manufacturing system.
机译:本文使用模型化为行为约束的一类规范,研究了具有最少监视位置的安全Petri网的监督控制器的设计。在由行为约束引起的线性不等式集合与单个不等式之间建立了逻辑等价关系,使用基于不变的控制设计方法,该不等式导致了具有单个监控器位置的Petri网管理程序。通过综合制造系统一部分的监督控制器来说明该方法。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号