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