M.V.艾尔达切。;Antsaklis，P.J。 基于位置不变量的监管：一项调查。 （英语） 兹比尔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｝，离散事件Dyn。系统。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·Zbl 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.1109/TRA.2002.807555 [20] Ghaffari A，Rezg N，Xie X（2003b）标记图禁止状态问题的反馈控制逻辑：在实际制造系统中的应用。IEEE Trans Automat控制48（1）：2–17·兹比尔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·Zbl 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号 ·数字对象标识代码：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网表示的离散事件系统的分析和控制。In：Varaiyo P，Kurzhanski AB（eds）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 Trans-Automat控制器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·Zbl 0968.93052号 ·数字对象标识代码：10.1109/9.847725 [60] Park J，Reveliotis S（2001），具有多重资源获取和灵活路由的顺序资源分配系统中的死锁避免。IEEE Trans Automat控制46（10）：1572–1583·Zbl 1045.93034号 ·doi:10.1109/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网实现容错系统。《汽车故障计算机》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自动变速箱控制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网模型的错误检测和纠正。In：电路与系统国际研讨会。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·兹伯利0554.68038 ·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网反馈控制。Automatica 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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。