Please wait a minute...
J4  2013, Vol. 47 Issue (11): 2051-2056    DOI: 10.3785/j.issn.1008-973X.2013.11.025
电气工程、电信技术     
基于约束转换的Petri网最优监控器设计
罗继亮1, 王飞1,邵辉1,赵良煦2
1.华侨大学 信息科学与工程学院,福建 厦门 361021;2.浙江工商大学 信息与电子工程学院,浙江 杭州 310018
Optimal Petri-net supervisor synthesis based on the constraint transformation
LUO Ji-Liang1, WANG Fei1,SHAO Hui1,ZHAO Liang-Xu2
1.College of Information Science and Engineering, Huaqiao University, Xiamen  361021, China;
2.School of Information & Electronic Engineering,Zhejiang Gongshang University, Hangzhou 310018, China
 全文: PDF  HTML
摘要:

针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价转换为一组“逻辑或”的允许的广义互斥约束;根据允许约束的性质,得到允许监控器存在性的充要条件和最大允许状态反馈控制策略的表达式,分析结果表明,该策略的在线计算能够在多项式时间内完成,及它能够满足实时性的要求;利用一个制造系统的实例演示了该监控方法.

Abstract:

The optimal supervisor synthesis approach is proposed for a class of generalized mutual exclusion constraints (GMECs) on Petri nets where the influence uncontrollable subnets are backward concurrent and forward conflict free (BCFCF) nets. Firstly, the net structure of BCFCF nets is studied by the path algebra approach. Then, several properties about reachability analysis are given. Secondly, a constraint transformation algorithm, by which a given GMEC can be equivalently transformed into a disjunctive of admissible GMECs, is designed based on these properties. Thirdly, these calculated admissible constraints are utilized to derive the necessary and sufficient condition of the existence of any admissible supervisor and the expression of the maximally permissive control policy. The on-line calculation of this control policy can be completed within polynomial times, so it can meet the real time requirement. Lastly, the theoretic results are illustrated by a manufacturing system.

出版日期: 2013-11-01
:  TP 273  
基金资助:

国家自然科学青年基金计划资助项目(61203040);福建省高等学校新世纪优秀人才支持计划资助项目(11FJRC01); 福建省高校杰出青年科研人才培养计划资助项目(JA10004);福建省教育厅科技计划项目(JA11002); 工业控制技术国家重点实验室开放课题资助资助项目(ICT1317);浙江省科技计划项目(2013C31111).

通讯作者: 赵良煦,男,副教授.     E-mail: hzbz@zjgsu.edu.cn
作者简介: 罗继亮(1977-),男,副教授,从事离散事件系统和程序验证等方向研究.E-mail:jlluo@hqu.edu.cn
服务  
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章  

引用本文:

罗继亮, 王飞,邵辉,赵良煦. 基于约束转换的Petri网最优监控器设计[J]. J4, 2013, 47(11): 2051-2056.

LUO Ji-Liang, WANG Fei,SHAO Hui,ZHAO Liang-Xu. Optimal Petri-net supervisor synthesis based on the constraint transformation. J4, 2013, 47(11): 2051-2056.

链接本文:

http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2013.11.025        http://www.zjujournals.com/eng/CN/Y2013/V47/I11/2051

[1] MOODY J O, ANTSAKLIS P J. Petri net supervisors for DES with uncontrollable and unobservable transitions [J]. IEEE Transactions on Automatic Control, 2000,45(3):462-476.
[2] CHEN H X. Control synthesis of Petri nets based on S-decrease [J]. Discrete Event Dynamic Systems: Theory and Application, 2000, 10(3):233249.
[3] 邢科义,席裕庚,胡保生. 具有不可控变迁离散事件系统的Petri网控制器[J]. 自动化学报, 2001,27(2):180-185.
XING Ke-yi, GENG Xi-yu, HU Bao-sheng. Petri net controller for discrete event systems with uncontrollable transitions [J]. Acta Automatica Sinica,2001,27(2):180-185.
[4] HOLLOWAY L E, KROGH B H. On closed-loop liveness of discrete-event systems under maximally permissive control[J]. IEEE Transactions on Automatic Control, 1992, 37(5):692-697.
[5] GHAFFARI A, REZG N, XIE X. Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system[J].IEEE Transactions on Automatic Control, 2003,48(1):18-29.
[6] 罗继亮,吴维敏,苏宏业,等.事件图的混合控制器设计 [J].自动化学报, 2007,33(2):218-221.
LUO Ji-liang, WU Wei-min, SU Hong-ye, et al. Combined controller synthesis for marked graphs[J]. Acta Automatica Sinica, 2007,33(2):218221.
[7] 罗继亮,吴维敏,苏宏业,等.一类离散事件系统的监控器综合[J].控制理论与应用, 2007,24(4):621-624.
LUO Ji-liang, WU Wei-min, SU Hong-ye, et al.Supervisor synthesis for a class of discrete event systems [J].Control Theory and Applications,2007,24(4):621-624.
[8] BASILE F, CARBONE C, CHIACCHIO P. Feedback control logic for backward conflice free choice nets[J].IEEE Transactions on Automatic Control, 2007,52(3):387-400.
[9] LUO J L, WU W M, SU H Y, et al. Supervisor synthesis for enforcing a class of GMECs on Petri nets[J].IEEE Transactions on Systems, Man and Cybernetics-Part A:Systems and Humans, 2009,39(6):1237-1246.
[10] LUO J L, NONAMI K. Approach for transforming linear constraints on Petri nets[J]. IEEE Transactions on Automatic Control, 2011,56(11):2751-2765.
[11] CHERIF A Y, NOUREDDINE Z, ABDELLAH E M, et al. Some subclasses Petri nets and the analysis of their structural properties: a new approach[J]. IEEE Transaction of Systems, Man and Cybernetics-Part A: Systems and Humans, 1999,29(2):164-172. 

[1] 程森林,李雷,朱保卫,柴毅. WSN定位中的RSSI概率质心计算方法[J]. J4, 2014, 48(1): 100-104.
[2] 方强, 陈利鹏, 费少华, 梁青霄, 李卫平, 赵金锋. 定位器模型参考自适应控制系统设计[J]. J4, 2013, 47(12): 2234-2242.
[3] 李奇安, 金鑫. 对角CARIMA模型多变量广义预测近似解耦控制[J]. J4, 2013, 47(10): 1764-1769.
[4] 任雯, 胥布工. 基于FI-SNAPID算法的经编机多速电子送经系统开发[J]. J4, 2013, 47(10): 1712-1721.
[5] 孟德远,陶国良,钱鹏飞,班伟. 气动力伺服系统的自适应鲁棒控制[J]. J4, 2013, 47(9): 1611-1619.
[6] 叶凌云,陈波,张建,宋开臣. 基于最少拍无波纹算法的高精度动态标准源反馈控制[J]. J4, 2013, 47(9): 1554-1558.
[7] 叶凌箭,马修水. 基于软测量技术的化工过程优化控制策略[J]. J4, 2013, 47(7): 1253-1257.
[8] 黄晓烁,何衍,蒋静坪. 基于互联网无刷直流电机传动系统的控制策略[J]. J4, 2013, 47(5): 831-836.
[9] 贺乃宝, 高倩, 徐启华, 姜长生. 基于自适应观测器的飞行器抗干扰控制[J]. J4, 2013, 47(4): 650-655.
[10] 朱予辰,冯冬芹,褚健. 基于EPA的块数据流通信调度与控制[J]. J4, 2012, 46(11): 2097-2102.
[11] 刘志鹏, 颜文俊. 预粉磨系统的智能建模与复合控制[J]. J4, 2012, 46(8): 1506-1511.
[12] 朱康武, 顾临怡, 马新军, 胥本涛. 水下运载器多变量鲁棒输出反馈控制方法[J]. J4, 2012, 46(8): 1397-1406.
[13] 费少华,方强,孟祥磊,柯映林. 基于压脚位移补偿的机器人制孔锪窝深度控制[J]. J4, 2012, 46(7): 1157-1161.
[14] 于晓明, 蒋静坪. 基于神经网络延时预测的自适应网络控制系统[J]. J4, 2012, 46(2): 194-198.
[15] 邹涛, 李海强. 具有积分环节多变量系统的双层结构预测控制[J]. J4, 2011, 45(12): 2079-2087.