汉斯·贝勒；朱尔斯·德沙奈斯；理查德·圣丹尼斯 参数化离散事件系统的控制。 （英语） Zbl 1169.93018号 离散事件动态。系统。 第213-265号第19页（2009年）。 摘要：本文研究了当规范以谓词形式给出并满足相似性假设时，参数化离散事件系统的控制。这项研究的动机是当前合成方法的一个弱点，它不能很好地扩展到大型系统。对于在完全或部分观测下由相似过程组成的系统，给出了从具有（ngeqn{0}）个过程（有界大小）的系统的性质推导（n）个过程系统（任意大小）的性质的条件。此外，还显示了如何从后者推断前者的控制策略，同时考虑到过程之间的互连。 引用于三文件 MSC公司： 93元65角 离散事件控制/观测系统 93B52号 反馈控制 93亿B50 合成问题 93甲15 大型系统 39甲13 差分方程，缩放（（q\）-差分） 关键词：参数化离散事件系统；状态反馈控制；可扩展控制策略；互连关系；弱稳健性和强稳健性 软件：UMDES公司；CalcCheck（计算检查） PDF格式BibTeX公司 XML格式引用 \textit{H.Bherer}等人，离散事件动力学。系统。19，第2号，213--265（2009；Zbl 1169.93018） 全文： 内政部 参考文献： [1] Attie PC，Emerson EA（1998）《具有许多类似过程的并发系统的合成》。ACM Trans程序语言系统20（1）：1–65·doi:10.145/271510.271519 [2] Balemi S、Hoffmann GJ、Gyugyi P、Wong-Toi H、Franklin GF（1993）《快速热多处理机的监控》。IEEE Trans Autom控制38（7）：1040–1059·兹比尔0800.93035 ·数字对象标识代码：10.1109/9.231459 [3] Barbeau M，Kabanza F，St-Denis，R（1997）全观测条件下控制器综合的有效算法。J算法25（1）：144–161·Zbl 0888.68064号 ·doi:10.1006/jagm.1997.0877 [4] Barrett G，Lafortune S（1998）《相互模拟，有限状态机的监督控制问题和强模型匹配》。离散事件动态系统理论应用8（4）：377–429·Zbl 0919.93005号 ·doi:10.1023/A:1008301317459 [5] Ben Hadj-Alouane N，Lafortune S，Lin F（1994），带状态信息的变量前瞻监控。IEEE Trans Autom Contr 39（12）：2398–2410·Zbl 0812.93003号 ·doi:10.1109/9.362854 [6] Ben Hadj-Alouane N，Lafortune S，Lin F（1996）局部观测下最大控制策略在线综合的集中式和分布式算法。离散事件动态系统理论应用6（4）：379–427·Zbl 0880.93016号 ·doi:10.1007/BF01797138 [7] Bherer H、Desharnais J、Frappier M、St-Denis R（2003）《参数系统控制程序的集成技术验证》。在：Méry D，Rezg N，Xie X（编辑）《制度改革》（MSR 2003），第553–566页 [8] Bherer H，Desharnais J，Frappier M，St-Denis R（2004）参数化离散事件系统状态反馈控制器的综合。In：Wang F（ed）验证和分析自动化技术（ATVA’2004）。计算机科学讲义，第3299卷。施普林格，柏林-海德堡，纽约，第487–490页·Zbl 1108.93311号 [9] Bherer H，Desharnais J，St-Denis R（2005）部分观测下参数化离散事件系统的状态反馈控制器综合。摘自：2005年第44届IEEE决策与控制会议和欧洲控制会议记录。IEEE，塞维利亚，第3499–3506页 [10] Bherer H，Desharnais J，St-Denis R（2006a）部分观测下的参数化离散事件系统。摘自：第八届IASTED控制和应用国际会议记录。IASTED，Montréal，第273-280页 [11] Bherer H，Desharnais J，St-Denis R（2006b）关于参数化离散事件系统的可达性和非阻塞性。摘自：第八届离散事件系统国际研讨会论文集。密歇根州安娜堡，2006年7月10日至12日，第113–118页 [12] Cassandras CG，Lafortune S（1999）离散事件系统简介。波士顿Kluwer·Zbl 0934.93001号 [13] Chung S-L，Lafortune S，Lin F（1992）离散事件系统监督控制中的有限前瞻策略。IEEE Trans Autom Contr 37（12）：1921–1935·兹比尔0773.93004 ·数字对象标识代码：10.1109/9.182478 [14] Davey BA，Priestley HA（1990）《格与序导论》。剑桥大学出版社·Zbl 0701.06001号 [15] de Queiroz MH，Cury JER（2000）大型离散事件系统的模块化监控。收录：Boel R，Stremersch G（eds）《离散事件系统：分析与控制》。工程与计算机科学国际丛书，第569卷。施普林格，柏林-海德堡-纽约，第103–110页·Zbl 1051.93066号 [16] Dreschsler R，Sieling D（2001）《理论与实践中的二元决策图》。国际J Softw Tools Technol Transf 3（2）：112–136·Zbl 1002.68583号 [17] Emerson EA，Kahlon V（2000）将模型检查从多到少进行简化。In：McAllester DA（ed）自动扣除（CADE’2000）。计算机科学课堂讲稿，第1831卷。施普林格，柏林-海德堡-纽约，第236–354页·Zbl 0963.68109号 [18] Emerson EA，Sistla AP（1997），在公平假设下进行模型选择时利用对称性：自动机理论方法。ACM Trans程序语言系统19（4）：617–638·doi:10.1145/262004.262008 [19] Eyzell JM，Cury JER（2001）《利用离散事件系统监督合成中的对称性》。IEEE Trans Autom Contr 46（9）：1500–1505·Zbl 1011.93070号 ·doi:10.1109/9.948486 [20] Frappier M，St Denis R（2001）《反应系统的计算机辅助设计》。收录：Moreno-Díaz R、Buchberger B、Freire J-L（编辑）计算机辅助系统理论–EUROCAST 2001。计算机科学课堂讲稿，第2178卷。施普林格，柏林-海德堡，纽约，421-436页·Zbl 1023.93511号 [21] Gohari P，Wonham WM（2005）使用队列在离散事件系统中高效实现公平。IEEE Trans Autom Contr 50（11）：1845–1849·Zbl 1365.93289号 ·doi:10.1109/TAC.2005.858658 [22] Gries D，Schneider FB（1995）离散数学的逻辑方法。施普林格，柏林-海德堡-纽约 [23] Giua A，DiCesare F（1994）监管控制的Petri网结构分析。IEEE Trans Robot Autom 10（2）：185–195·Zbl 0812.93004号 ·数字对象标识代码：10.1109/70.282543 [24] Harel D（1987）状态图：复杂系统的可视化形式主义。科学计算程序8（3）：231–274·Zbl 0637.68010号 ·doi:10.1016/0167-6423（87）90035-9 [25] Heymann M，Lin F（1994）部分观测离散事件系统的在线控制。离散事件动态系统4（3）：221–236·Zbl 0811.93004号 ·doi:10.1007/BF01438708 [26] Holloway LE，Krogh BH，Giua A（1997）受控离散事件系统的Petri网方法综述。离散事件动态系统理论应用7（2）：151–190·Zbl 0968.93053号 ·doi:10.1023/A:1008271916548 [27] Kerjean S、Kabanza F、St-Denis R、Thiébaux S（2006），分析用于计划合成和控制器合成的LTL模型检查技术。计算机科学电子笔记149（2）：91–104·doi:10.1016/j.entcs.2005.07.028 [28] Komenda J，van Schuppen JH（2005）《离散事件系统模块化控制中产生的通用规范语言的最高级子语言》。摘自：2005年第44届IEEE决策与控制会议和欧洲控制会议记录。IEEE，塞维利亚，第2275–2780页 [29] Komenda J、van Schuppen JH、Gaudin B、Marchand H（2005）《通用不可分解规范语言的模块化监控》。摘自：2005年第44届IEEE决策与控制会议和欧洲控制会议记录。IEEE，塞维利亚，第3474–3479页 [30] Kumar R，Garg VK（1995）逻辑离散事件系统的建模和控制。波士顿Kluwer·Zbl 0875.68980号 [31] Kumar R，Garg V，Marcus SI（1993）离散事件动态系统监督控制的谓词和谓词变换器。IEEE Trans Autom控制38（2）：232–247·Zbl 0774.93003号 ·doi:10.1109/9.250512 [32] Leduc RJ、Brandin BA、Lawford M、Wonham WM（2005）《基于层次接口的监控——第一部分：串行案例》。IEEE跨自动控制50（9）：1322–1335·Zbl 1365.93296号 ·doi:10.1109/TAC.2005.854586 [33] 李毅（1991）向量离散事件系统的控制。多伦多大学博士论文 [34] Li Y，Wonham WM（1988）离散事件系统状态反馈控制中的可控性和可观测性。摘自：第27届IEEE决策与控制会议记录。IEEE，奥斯汀，第203-208页 [35] Li Y，Wonham WM（1993）矢量离散事件系统的控制I–基本模型。IEEE Trans Autom控制38（8）：1214–1227·Zbl 0784.93007号 ·doi:10.1109/9.233154 [36] Li Y，Wonham WM（1994）矢量离散事件系统的控制II–控制器综合。IEEE Trans Autom Contr 39（3）：512–531·Zbl 0823.93003号 ·doi:10.1009/9.280750 [37] Ma C，Wonham WM（2005）状态树结构的非阻塞监督控制。控制与信息科学课堂讲稿，第317卷。施普林格，柏林-海德堡-纽约·Zbl 1114.93002号 [38] Makungu M，Barbeau M，St-Denis R（1999）建模为有色Petri网的过程控制器的合成。应用程序9的离散事件动态系统（2）：147–169·Zbl 0952.93040号 ·doi:10.1023/A:1008371814442 [39] Pena PN、Cury JER、Lafortune S（2006）《测试本地监督员的模块化：基于抽象的方法》。摘自：第八届离散事件系统国际研讨会论文集。密歇根州安娜堡，2006年7月10日至12日，第107–112页 [40] Pnueli A，Ruah S，Zuck L（2001）使用不可见不变量进行自动演绎验证。In：Margaria T，Yi W（eds）用于构建和分析系统的工具和算法。计算机科学课堂讲稿，第2031卷。施普林格，柏林-海德堡-纽约，第82–97页·Zbl 0978.68539号 [41] Prosser JH，Kam M，Kwatny HG（1998），部分观测离散事件系统的在线监督合成。IEEE Trans Autom Contr 43（11）：1630–1634·Zbl 0981.93044号 ·doi:10.1109/9.728885 [42] Ramadge PJG，Wonham WM（1987），离散事件系统的模块化反馈逻辑。SIAM J控制优化25（5）：1202–1218·兹伯利0698.93035 ·doi:10.1137/0325066 [43] Schmidt K，Marchand H，Gaudin B（2006）使用简化系统模型对并发离散事件系统进行模块化和分散监督控制。摘自：第八届离散事件系统国际研讨会论文集。密歇根州安娜堡，2006年7月10日至12日，第149-154页 [44] Song R，Leduc RJ（2006）基于监控的分层接口的符号合成和验证。摘自：第八届离散事件系统国际研讨会论文集。密歇根州安娜堡，2006年7月10日至12日，第419–426页 [45] St-Denis R（2002）《设计反应系统：将抽象技术集成到合成过程中》。系统软件杂志60（2）：103–112·Zbl 05433809号 ·doi:10.1016/S0164-1212（01）00083-8 [46] Takai S，Kodama S（1997），离散事件系统状态反馈控制中出现的M-可控子预测。国际J合同67（4）：553–566·Zbl 0883.93034号 ·doi:10.1080/02071797224072 [47] Takai S，Kodama，S（1998）给定谓词的所有M-可控子谓词的特征。国际J合同70（4）：541–549·Zbl 0930.93055号 ·doi:10.1080/002071798222190 [48] Takai S，Ushio T，Kodama S（1995）部分观测下离散事件系统的静态反馈控制。IEEE Trans Autom Contr 40（11）：1950–1954·Zbl 0841.93023号 ·数字对象标识代码：10.1109/9.471222 [49] Thistle JG，Nazari S（2005）《离散事件系统任意大型网络的分析》。摘自：2005年第44届IEEE决策与控制会议和欧洲控制会议记录。IEEE，塞维利亚，第3468–3473页 [50] Wonham WM（2006）离散通风系统的监督控制。ECE 1636F/1637S，系统控制组。多伦多大学 [51] Wonham WM，Ramadge PJG（1988）离散事件系统的模块化监督控制。数学控制信号系统1（1）：13–30·Zbl 0661.93053号 ·doi:10.1007/BF02551233 [52] Zhong H，Wonham WM（1990）关于离散事件系统中分级监督的一致性。IEEE Trans Autom Contr 35（10）：1125–1134·Zbl 0724.93051号 ·doi:10.1009/9.58555 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。