加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔文·马尔坎德;蒂埃里·马萨特 无限系统的分散控制。 (英语) Zbl 1226.93013号 离散事件动态。系统。 21,第3期,359-393(2011). 摘要:我们提出了用符号转换系统建模的具有部分观测的无限状态系统的分散状态反馈控制器的综合算法。我们首先考虑确保避免一组禁止状态的安全控制器的计算,然后将此结果推广到无死锁的情况。通过使用抽象解释技术来确保解决这些问题的算法的终止,但代价是过度逼近,特别是在必须避免的状态计算中。然后,我们将算法扩展到由一系列子系统(模块)给定要控制的系统的情况。该结构用于为每个模块本地计算控制器。我们的工具小型计算机通过展示其可行性、可用性和效率,对我们的方法进行了实证评估。 引用于2文件 MSC公司: 93甲14 分散的系统 93B52号 反馈控制 93亿B50 合成问题 关键词:符号转换系统;分散控制器综合;部分观测;抽象解释;模块化系统的控制器综合 软件:UMDES公司;固定点;SMACS系统;停机坪 PDF格式BibTeX公司 XML格式引用 \textit{G.Kalyon}等人,离散事件动力学。系统。21,第3号,359--393(2011;Zbl 1226.93013) 全文: 内政部 链接 参考文献: [1] Akesson K、Flordal H、Fabian M(2002)《利用模块化合成和验证监督员》。In:程序。国际会计师联合会。西班牙巴塞罗那 [2] APRON(2009)APRON图书馆。网址:http://围裙.cri.ensmp.fr/ [3] Brandin B、Malik R、Dietrich P(2000)《最小限制行为的增量系统验证和合成》。摘自:美国控制会议记录。伊利诺伊州芝加哥市,第4056–4061页 [4] Cassandras C,Lafortune S(2008)《离散事件系统导论》,第2版。施普林格·Zbl 1165.93001号 [5] Cousot P,Cousot R(1977)抽象解释:通过构造或近似不动点对程序进行静态分析的统一格模型。收录:POPL'77,第238-252页 [6] Cousot P,Halbwachs N(1978)程序变量之间线性约束的自动发现。收录:POPL’78,第84-96页 [7] FixPoint(2009)FixPoint:实现通用固定点引擎的OCaml库。http://pop-art.inrialpes.fr/people/bjeannet/bjeanet-forge/fixpoint/ [8] Gaudin,B,Deussen P(2007)带变量的并发离散事件系统的监督控制。参加:2007年ACC第26届美国控制会议 [9] Gaudin B,Marchand H(2005)松散同步离散事件系统监管器的高效计算:基于状态的方法。参加:第六届国际会计师联合会世界大会。捷克共和国布拉格 [10] Gaudin B,Marchand H(2007)并发离散事件系统控制的有效模块化方法:基于语言的方法。离散事件动态系统17(2):179–209·兹伯利1116.93038 ·doi:10.1007/s10626-006-0007-7 [11] Halbwachs N,Proy Y,Roumanoff P(1997)使用线性关系分析验证实时系统。表格方法系统设计11(2):157–185·doi:10.1023/A:1008678014487 [12] Jeannet B(2003)线性关系分析中的动态划分。用于验证反应系统。表格方法系统设计23(1):5–37·Zbl 1067.68091号 ·doi:10.1023/A:1024480913162 [13] Jeannet B,Jéron T,Rusu V,Zinovieva E(2005)基于近似分析的符号测试选择。In:TACAS'05,LNCS第3440卷。爱丁堡,第349-364页·Zbl 1087.68594号 [14] Kalyon G,Le Gall T,Marchand H,Massart T(2009)部分观测下无限符号过渡系统的控制。In:欧洲控制会议。匈牙利,第1456-1462页·兹比尔1242.93074 [15] Kumar R,Garg V(2005)关于分配程序模型中无限状态系统的状态回避控制的计算。IEEE Trans Automat科学工程2(2):87–91·doi:10.1109/TASE.2004.829432 [16] Kumar R,Garg V,Marcus S(1993)离散事件动态系统监督控制的谓词和谓词变换器。IEEE Trans Automat控制38(2):232–247·Zbl 0774.93003号 ·doi:10.1109/9250512 [17] Le Gall T,Jeannet B,Marchand H(2005)使用抽象解释对无限符号系统进行监督控制。收录:CDC/ECC’05,第31–35页 [18] MinéA(2001)八角形抽象域。In:程序。分析、切片和转换研讨会(AST’01)。电气与电子工程师协会。IEEE CS出版社,德国斯图加特,第310-319页 [19] OCaml(2009)编程语言Objective CAML。网址:http://caml.inia.fr/ [20] Ramadge P,Wonham W(1989)离散事件系统的控制。Proc IEEE 77(1):81–98(离散事件系统动力学专刊)·数字对象标识代码:10.1109/5.21072 [21] Rudie K,Wonham W(1992a)《全球化思考,地方行动:分散的监管控制》。IEEE Trans Automat控制31(11):1692-1708·Zbl 0778.93002号 ·数字对象标识代码:10.1109/9.173140 [22] Rudie K,Wonham WM(1992b)自动程序验证的自动机理论方法。收录:IEEE决策与控制会议(CDC)会议记录。亚利桑那州图森,第3770–3777页 [23] SMACS(2010)SMACS工具。http://www.smacs.be网站/ [24] Takai S(1998)关于在完全分散监督下产生的语言。IEEE自动变速器控制43(9):1253–1256·Zbl 0957.93055号 ·doi:10.1109/9.718609 [25] Takai S,Kodama S(1997)离散事件系统状态反馈控制中出现的M-可控子预测。国际J控制67(4):553–566·Zbl 0883.93034号 ·网址:10.1080/002071797224072 [26] Takai S,Kodama S(1998)给定谓词的所有m可控子谓词的特征。国际J控制70(9):541–549·Zbl 0930.93055号 ·doi:10.1080/002071798222190 [27] Takai S、Kodama S、Ushio T(1994)离散事件系统的分散状态反馈控制。系统控制快报22(5):369–375·Zbl 0827.93004号 ·doi:10.1016/0167-6911(94)90034-5 [28] Tarski A(1955)格理论不动点定理及其应用。Pac J数学5:285–309·Zbl 0064.26004号 ·doi:10.2140/pjm.1955.5.285 [29] Willner Y,Heymann M(1991)并发离散事件系统的监督控制。国际J控制54(5):1143–1169·兹比尔0752.93043 ·doi:10.1080/00207179108934202 [30] Wonham W,Ramadge P(1988)离散事件系统的模块化监督控制。数学控制信号系统1(1):13–30·Zbl 0661.93053号 ·doi:10.1007/BF02551233 [31] Yoo T-S,Lafortune S(2002)离散事件系统分散监督控制的一般架构。离散事件动态系统12:335–377·Zbl 1048.93067号 ·doi:10.1023/A:1015625600613 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。