M.V.艾尔达切。;Antsaklis,P.J。 基于位置不变量的监管:一项调查。 (英文) Zbl 1109.93031号 离散事件动态。系统。 16,第4期,451-492(2006). 基于位置不变量的监督(SBPI)是一种有效的Petri网监督控制技术。本文通过文献调查、应用以及对使用SBPI可以解决的问题和监管设置的分析,揭示了SBPI的重要性。特别注意可以在其中形成问题的各种设置。这些设置可以根据并发类型、可控性和可观察性类型以及集中式或分散式监视进行区分。正如我们所展示的,可以以纯粹的结构方式来处理最一般的设置,而无需诉诸可达性分析。我们首先描述SBPI问题以及解决该问题或与之相关的文献方法。然后,我们继续展示可简化为SBPI问题的各类问题。在SBPI中,规范被描述为Petri网标记必须在任何时候满足的不等式系统。然而,如我们所示,涉及更通用规范的问题可以在SBPI设置中通过执行网络和/或规范转换来解决,有时在附加假设下。我们将考虑的四个规范是逻辑约束、语言规范、线性约束的析取和活性。最后,我们介绍了SBPI方法在信号量编程、容错和基于同步距离的设计中的可能应用。 引用于9文件 MSC公司: 93C55美元 离散时间控制/观测系统 关键词:Petri网;监督控制;互斥 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Iordache}和\textit{P.J.Antsaklis},离散事件动态。系统。16,第4号,451--492(2006;Zbl 1109.93031) 全文: 内政部 参考文献: [1] Achour Z,Rezg N,Xie X(2004)部分可观测标记图的监督控制。IEEE自动变速器控制49(11):2007–2011·Zbl 1365.93284号 ·doi:10.1109/TAC.2004.837558 [2] Banaszak Z,Krogh B(1990)具有并行竞争流程的柔性制造系统中的死锁避免。IEEE Trans Robot Autom 6(6):724–734·doi:10.1109/70.63273 [3] Barkaoui K,Chaoui A,Zouari B(1997)使用Petri网结构理论对离散事件系统进行监督控制。In:程序。IEEE系统、人与控制论国际会议,佛罗里达州奥兰多,第3750–3755页 [4] Basile F,Chiacchio P,Giua A(1998年A)关于Petri网监督控制的次优监测地点的选择。In:程序。IEEE系统、人与控制论国际会议,加利福尼亚州圣地亚哥,第752-757页 [5] Basile F,Chiacchio P,Giua,A(1998b)基于次优监测点的Petri网监督控制。In:程序。第四届离散事件系统国际研讨会,意大利卡利亚里,第85-87页 [6] Basile F,Chiacchio P,Giua A(2000)《带控制和观察成本的Petri网监控器的最优控制》。In:程序。第39届IEEE决策与控制国际会议,澳大利亚悉尼,第424–429页 [7] Bemporad A,Morari M(1999)集成逻辑、动力学和约束的系统控制。Automatica 35(3):407–427·Zbl 1049.93514号 ·doi:10.1016/S0005-1098(98)00178-2 [8] Boel RK,Ben-Naoum L,Breusegem VV(1995)关于一类受控Petri网的禁止状态问题。IEEE Trans Automat合同40(1):1717–1731·Zbl 0853.93058号 ·数字对象标识代码:10.1109/9.467679 [9] Chen H(1998)受控Petri网的网络结构和控制逻辑综合。IEEE Trans Automat控制43(10):1446–1450·兹比尔1056.93562 ·doi:10.1109/9.720505 [10] Chen H(2000)基于S-降维的Petri网控制综合。离散事件动态系统:理论应用10(3):233–250·Zbl 0970.90014号 ·doi:10.1023/A:1008349927281 [11] Chen H,Hu B(1991)用一类受控Petri网描述的离散事件系统的分布式控制。附:IFAC分布式智能系统国际研讨会预印本 [12] Chen H,Hu B(1994)一类受控Petri网的基于监控。In:程序。第三届自动化、机器人和计算机视觉国际会议 [13] Church A(1963)逻辑、算术和自动机。In:程序。瑞典米塔格·莱弗勒研究所国际数学家大会,第23-35页·Zbl 0116.33604号 [14] Clarke E、Grumberg O、Peled D(1999)《模型检验》。麻省理工学院、剑桥、马萨诸塞州 [15] Darondeau P,Xie X(2003)活动标记图的线性控制。Automatica 39(3):429–440·Zbl 1016.93047号 ·doi:10.1016/S0005-1098(02)00266-2 [16] Desrochers A,Al’Jaar R(1995)《Petri网在制造系统中的应用:建模、控制和性能分析》。IEEE,新泽西州皮斯卡塔韦·Zbl 0861.90062号 [17] Ezpeleta J、Colom JM、Martínez J(1995)《柔性制造系统基于Petri网的死锁预防策略》。IEEE Trans-Automat控制11(2):173–184 [18] Genrich HJ、Lautenbach K、Thiagarajan PS(1980)《一般网络理论的要素》。在:Brauer W(ed)网络理论和应用。计算机科学课堂讲稿,第84卷。施普林格,柏林-海德堡-纽约,第21-163页 [19] Ghaffari A,Rezg N,Xie X(2003a)利用区域理论设计活的最大允许Petri网控制器。IEEE Trans Robot Autom 19(1):137–142·doi:10.10109/TRA.2002.807555 [20] Ghaffari A,Rezg N,Xie X(2003b)标记图禁用状态问题的反馈控制逻辑:在实际制造系统中的应用。IEEE Trans Automat控制48(1):2–17·Zbl 1364.93500号 ·doi:10.1109/TAC.2002.806651 [21] Giua A,DiCesare F(1991)使用Petri网的监督设计。In:程序。第30届IEEE决策与控制国际会议,英国布莱顿,第92–97页 [22] Giua A,DiCesare F(1994)监督控制中Petri网的阻塞和可控性。IEEE Trans Automat控制39(4):818–823·兹比尔0812.93004 ·doi:10.1109/9.286260 [23] Giua A,DiCesare F(1995)监督控制中弱Petri网语言的可判定性和闭包性质。IEEE Trans Automat控制40(5):906–910·Zbl 0824.93008号 ·数字对象标识代码:10.1109/9.384227 [24] Giua A,DiCesare F,Silva M(1992)具有不可控转移的网络上的广义互斥约束。In:程序。IEEE系统、人与控制论国际会议,伊利诺伊州芝加哥,第974-979页 [25] Giua A,Seatzu C(2001)《用Petri网对铁路网络进行监督控制》。In:程序。第40届IEEE决策与控制会议,第5004–5009页 [26] Giua A,Seatzu C(2002)地点/过渡网的可观测性。IEEE Trans Automat控制47(9):1424–1437·Zbl 1364.93462号 ·doi:10.1109/TAC.2002.802769 [27] Giua A,Seatzu C,Basile F(2004)带死锁恢复的定时Petri网的基于观测器的状态反馈控制。IEEE自动变速器控制49(1):17–29·Zbl 1365.68341号 ·doi:10.1109/TAC.2003.821419 [28] Golaszewski CH,Ramadge PJ(1988a)具有任意控制的离散事件过程。收录:Denham MJ,Laub AJ(编辑):《控制工程中的高级计算概念和技术》,纽约柏林-海德堡施普林格出版社,第459–469页 [29] Golaszewski CH,Ramadge PJ(1988b)具有共享事件的离散事件系统的互斥问题。In:程序。第27届IEEE决策与控制会议,德克萨斯州奥斯汀,第234–239页 [30] Hadjicostis CN,Verghese GC(1999)使用Petri网嵌入监测离散事件系统。In:Petri网的应用和理论,1999年。第1639卷。计算机科学讲义,施普林格,柏林-海德堡-纽约,第188–207页·Zbl 0934.93046号 [31] He K,Lemmon M(2000)《关于最大许可标记监督员向监督员的转变》。In:程序。IEEE决策与控制会议,澳大利亚悉尼,第2657–2662页 [32] Holloway L,Guan X,Zhang L(1996)受控Petri网状态回避策略的推广。IEEE Trans Automat控制41(6):804–816·Zbl 0863.93007号 ·doi:10.1009/9500623 [33] Holloway L,Krogh B(1990)一类受控Petri网的反馈控制逻辑综合。IEEE Trans-Automat控制35(5):514–523·Zbl 0709.68035号 ·doi:10.1109/9.53517 [34] Holloway L,Krogh B(1992)关于最大允许控制下离散事件系统的闭环活性。IEEE自动变速器控制37(5):692–697·doi:10.1109/9.135519 [35] Holloway LE,Krogh BH(1994)《受控Petri网:教程调查》。第十一届系统分析与优化国际会议:离散事件系统。控制与信息科学课堂讲稿,第199卷。施普林格,柏林-海德堡-纽约,第158–168页 [36] Holloway LE,Krogh BH,Giua A(1997)受控离散事件系统的Petri网方法综述。离散事件动态系统7(2):151–190·Zbl 0968.93053号 ·doi:10.1023/A:1008271916548 [37] Ichikawa A,Hiraishi K(1988)用Petri网表示的离散事件系统的分析和控制。收录:Varaiyo P,Kurzhanski AB(编辑)Disrete事件系统:模型和应用。控制与信息科学课堂讲稿,第103卷。施普林格,柏林-海德堡-纽约,第115–134页·Zbl 0850.93029号 [38] Ichikawa A,Yokoyama K,Kurogi S(1985)用无冲突Petri网表示的离散事件系统的可达性和控制。在:电路和系统国际研讨会,会议记录,日本京都。IEEE,纽约,第487–490页 [39] Iordache M,Antsaklis P(2003a)Petri网中T-liveness执行监督员的设计。IEEE Trans Automat合同48(11):1962-1974·Zbl 1364.93468号 ·doi:10.1109/TAC.2003.819078 [40] Iordache M,Antsaklis P(2003b)在Petri网中执行一般线性向量约束的监督者的合成。IEEE Trans Automat控制48(11):2036–2039·Zbl 1364.93469号 ·doi:10.1109/TAC.2003.819298 [41] Iordache MV(2003)基于Petri网抽象的并发系统监控方法。印第安纳州圣母大学博士论文 [42] Iordache MV,Antsaklis PJ(2002年)。基于位置不变量的Petri网监控软件工具。印第安纳州圣母大学技术报告isis-2002-003 [43] Iordache MV,Antsaklis PJ(2003c)《Petri网的可容许分散控制》。In:程序。2003年美国控制委员会,科罗拉多州丹佛,第332–337页 [44] Iordache MV,Antsaklis PJ(2003d)带约束变换的Petri网分散控制。In:程序。2003年美国控制会议,科罗拉多州丹佛,第314–319页 [45] Iordache MV,Antsaklis PJ(2004)基于位置不变量的监督中的故障恢复和重新配置。In:程序。2004年美国控制会议,马萨诸塞州波士顿,第4477–4482页 [46] Iordache MV,Antsaklis PJ(2005)语言和析取约束的结构实现方法。In:程序。2005年美国控制会议,俄勒冈州波特兰,第3920–3925页 [47] Iordache MV,Moody JO,Antsaklis PJ(2002)《使用Petri网合成死锁预防监督员》。IEEE Trans Robot Autom 18(1):59–68·数字对象标识代码:10.1109/70.988975 [48] Kosaraju SR(1973)Dijkstra的信号量原语和Petri网的局限性。运营系统第7版(4):122–126·doi:10.1145/957195.808062 [49] Krogh B(1987)受控Petri网和最大允许反馈逻辑。In:程序。伊利诺伊州乌尔班纳伊利诺伊大学第25届Allerton年会,第317–326页 [50] Krogh B,Holloway L(1991)制造系统反馈控制逻辑的合成。自动化27(4):641–651·doi:10.1016/0005-1098(91)90055-7 [51] Kumar R,Holloway L(1996)用常规规范语言对Petri网进行监督控制。IEEE Trans Automat控制41(2):245–249·Zbl 0867.93045号 ·数字对象标识代码:10.1109/9.481527 [52] Lautenbach K,Thiagarajan PS(1979)使用Petri网分析资源分配问题。In:程序。第一届并行和分布式处理欧洲会议,Cepadues Editions,法国图卢兹,第260-266页 [53] Lemmon M,He K(2000)分布式软件的监控插件。收录:Pezze M,Shatz M(编辑)Proc。软件工程和Petri网研讨会,奥胡斯大学计算机科学系,丹麦奥胡斯,第155-172页 [54] Lemmon M,He K,Shatz S(2000)使用Petri网和网络展开对软件对象进行动态重新配置。In:程序。IEEE系统、人和控制论国际会议,田纳西州纳什维尔,第3069–3074页 [55] Li Y,Wonham W(1993)向量离散事件系统的控制I-基本模型。IEEE Trans Automat控制38(8):1214–1227·Zbl 0784.93007号 ·doi:10.1109/9.233154 [56] Li Y,Wonham W(1994)矢量离散事件系统的控制II-控制器综合。IEEE Trans Automat控制39(3):512–530·Zbl 0823.93003号 ·数字对象标识代码:10.1109/9.280750 [57] Li Y,Wonham W(1995)并发向量离散事件系统。IEEE自动变速器控制40(4):628–638·Zbl 0842.93028号 ·数字对象标识代码:10.1109/9.376113 [58] Moody JO,Antsaklis PJ(1998),使用Petri网对离散事件系统进行监督控制,马萨诸塞州波士顿Kluwer·Zbl 0944.93001号 [59] Moody JO,Antsaklis PJ(2000),DES的Petri网监管器,具有不可控和不可观察的过渡。IEEE Trans-Automat控制45(3):462–476·兹伯利0968.93052 ·数字对象标识代码:10.1109/9.847725 [60] Park J,Reveliotis S(2001),具有多重资源获取和灵活路由的顺序资源分配系统中的死锁避免。IEEE Trans Automat控制46(10):1572–1583·Zbl 1045.93034号 ·doi:10.1009/9.956052 [61] Park J,Reveliotis S(2002),对具有不可控制行为和禁止状态的资源分配系统的生活强制监管。IEEE Trans Robot Autom 18(2):234–240·doi:10.1109/TRA.2002.999651 [62] Peterson JL(1981)Petri网理论和系统建模。新泽西州恩格尔伍德悬崖Prentice Hall [63] Pnueli A,Rosner R(1989)关于反应性模块的合成。In:程序。美国计算机学会编程语言原理研讨会,德克萨斯州奥斯汀,179-190页·Zbl 0686.68015号 [64] Ramadge P(1989)由Büchi Automata建模的离散事件系统的一些易于处理的监督控制问题。IEEE Trans Automat控制34(1):10–19·Zbl 0666.93095号 ·数字对象标识代码:10.1109/9.8645 [65] Ramadge P,Wonham W(1987)离散事件系统的模块化反馈逻辑。SIAM J控制优化25(5):1202–1218·Zbl 0698.93035号 ·doi:10.1137/0325066 [66] Ramadge P,Wonham W(1989)离散事件系统的控制。程序。IEEE 77(1):81–98·数字对象标识代码:10.1109/5.21072 [67] Reveliotis S(2005)《资源分配系统的实时管理:离散事件系统方法》。施普林格,柏林-海德堡-纽约·Zbl 1069.93002号 [68] Sifakis J(1979)通过编码Petri网实现容错系统。J Des Autom容错计算3:93–107 [69] Sreenivas RS(2000)关于在部分受控自由选择Petri网中强制执行活性的最低限制监管政策。In:程序。第39届IEEE决策与控制会议,澳大利亚悉尼,第2651–2656页 [70] Stremersch G(2001)《Petri网监督》。马萨诸塞州波士顿Kluwer·Zbl 1052.93005号 [71] Stremersch G,Boel RK(1999)在受控状态机中强制k安全性。In:程序。第38届IEEE决策与控制会议,亚利桑那州凤凰城,第1737–1742页 [72] Stremersch G,Boel RK(2000)Petri网监督控制问题的简化。IEEE Trans Automat控制45(12):2358–2363·Zbl 0990.93077号 ·数字对象标识代码:10.1109/9.895574 [73] Stremersch G,Boel RK(2001)最大允许度下Petri网监督控制问题的分解。IEEE Trans-Automat控制器46(9):1490–1496·Zbl 1032.93046号 ·数字对象标识代码:10.1109/9.948484 [74] Stremersch G,Boel RK(2002)为可达性分析和控制构建非循环Petri网。离散事件动态系统12(1):7–41·Zbl 0995.93051号 ·doi:10.1023/A:1013331703036 [75] Suarez MS(1985)离散事件控制系统Petri网模型的错误检测和纠正。参加:电路和系统国际研讨会。IEEE,日本京都,第921–924页 [76] Suarez MS(1987),P/T网络的同步理论。收录人:Voss K、Genrich HJ、Rozenberg G(编辑)《并发与网络——Petri网的进展》,施普林格,柏林,海德堡,纽约,第435-460页 [77] Suraj Z(1980)资源分配问题。In:程序。第3次症状。关于数学。计算机基础。科学,ICS PAS报告,波兰扎博罗,第83–86页·Zbl 0441.68063号 [78] Tittus M,Egardt B(1999),间歇过程的分级监督控制。IEEE变速器控制系统技术7(5):542–554·doi:10.1109/87.784418 [79] Tricas F,Garcia-Valles F,Colom JM,Ezpeleta J(2000)并发系统中死锁预防和避免的新方法。西班牙昆卡,Jornadas de Concurrencia学报,第97–110页 [80] Valk R,Jantzen M(1985)向量集的剩余及其在Petri网可判定性问题中的应用。Acta Inform杂志21:643–674·doi:10.1007/BF00289715 [81] Williams HP(1987)应用于命题演算的线性和整数规划。国际系统科学杂志2:81–100 [82] Williams HP(1993)《数学规划建模》(第三版)。威利,奇切斯特,纽约 [83] Xing K,Hu B,Chen H(1996)具有共享资源的柔性制造系统Petri网建模的死锁避免策略。IEEE Trans-Automat控制41(2):289–295·Zbl 0845.90067号 ·doi:10.1109/9.481550 [84] Yamalidou E,Kantor J(1991)使用Petri网对离散事件化学过程进行建模和优化控制。计算机化学工程15(7):503–519·doi:10.1016/0098-1354(91)85029-T [85] Yamalidou E,Moody JO,Antsaklis PJ,Lemmon MD(1996)基于位置不变量的Petri网反馈控制。自动化32(1):15–28·Zbl 0845.93034号 ·doi:10.1016/0005-1098(95)00103-4 [86] Zhang L,Holloway LE(1995)部分观测下受控Petri网中的禁止状态回避。In:程序。第33届通信、控制和计算allerton年会,伊利诺伊州蒙蒂塞洛,第146-155页 [87] Zuberek WM(1999)进程同步机制的Petri网模型。In:程序。IEEE系统、人与控制论国际会议,日本东京,第841-847页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。