Linear control of live marked graphs

被引：17
作者：
Darondeau, P
Xie, X [1 ]
机构：
[1] INRIA, MACST Team, F-57045 Metz 1, France
[2] Inst Rech Informat & Syst Aleatoires, F-35042 Rennes, France
[3] LGIPM, ENIM, F-57045 Metz 1, France
来源：
AUTOMATICA | 2003年 / 39卷 / 03期
关键词：
marked graphs; firing vectors; linear constraints; supervision; liveness; polyhedra; linear programming;
D O I：
10.1016/S0005-1098(02)00266-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Given a linear constraint on the firing vectors of a live marked graph with uncontrollable/unobservable transitions, bounded or unbounded, we apply linear programming techniques to compute the most liberal controller enforcing this constraint. (C) 2002 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码：429 / 440
页数：12
相关论文
共 16 条
[1]   Net structure and control logic synthesis of controlled Petri nets [J].
Chen, HX .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (10) :1446-1450
[2]   Control synthesis of Petri nets based on S-decreases [J].
Chen, HX .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2000, 10 (03) :233-249
[3]  
DROSTE M, 1992, B EUROPEAN ASS COMPU, V48, P172
[4]  
Giua A., 1992, P IEEE INT C SYST MA, P974
[5]   ON CLOSED-LOOP LIVENESS OF DISCRETE-EVENT SYSTEMS UNDER MAXIMALLY PERMISSIVE CONTROL [J].
HOLLOWAY, LE ;
KROGH, BH .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1992, 37 (05) :692-697
[6]  
Iordache MV, 2001, P AMER CONTR CONF, P4943, DOI 10.1109/ACC.2001.945768
[7]   CONTROL OF VECTOR DISCRETE-EVENT SYSTEMS .1. THE BASE MODEL [J].
LI, Y ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (08) :1214-1227
[8]   CONTROL OF VECTOR DISCRETE-EVENT SYSTEMS-II - CONTROLLER SYNTHESIS [J].
LI, Y ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (03) :512-531
[9]   Petri net supervisors for DES with uncontrollable and unobservable transitions [J].
Moody, JO ;
Antsaklis, PJ .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (03) :462-476
[10]   CIRCUIT THEORETIC ANALYSIS AND SYNTHESIS OF MARKED GRAPHS [J].
MURATA, T .
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1977, 24 (07) :400-405
12