×

部分观测下无限过渡系统的符号监督控制。 (英语) Zbl 1242.93074号

摘要:我们提出了用符号转换系统建模的无限状态离散事件系统的部分观测状态反馈控制器的综合算法。我们为潜在死锁和无死锁受控系统提供了安全无记忆控制器的模型。使用抽象解释技术确保了解决这些问题的算法的终止,该技术提供了要禁用的过度近似转换。然后,我们将算法扩展到具有内存的控制器和在线控制器。我们还提出了有限情况下控制器综合的改进方案,据我们所知,该方案提供了比文献中先前提出的更为宽松的解决方案。我们的工具SMACS通过显示其可行性、可用性和效率,对我们的方法进行了实证验证。

MSC公司:

93元65角 离散事件控制/观测系统
93亿B50 合成问题
93B52号 反馈控制
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Balemi S,Hoffmann G,Wong-Toi H,Franklin G(1993)快速热多处理机的监控。IEEE Trans Automat控制38(7):1040–1059·Zbl 0800.93035号 ·数字对象标识代码:10.1109/9.231459
[2] Bourdoncle F(1992)《国际秩序和国际抽象语言规范》。Ecole Polytechnology博士论文
[3] Brandt RD、Garg VK、Kumar R、Lin F、Marcus SI、Wonham WM(1990)《计算最高和正常子语言的公式》。系统控制快报15(8):111–117·Zbl 0715.93044号 ·doi:10.1016/0167-6911(90)90004-E
[4] Bryant R(1986)布尔函数操作的基于图的算法。IEEE传输计算C-45(8):677–691·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819
[5] Cassandras C,Lafortune S(2008)离散事件系统导论,第2版。施普林格·兹比尔1165.93001
[6] Chatterjee K,Doyen L,Henzinger TA,Raskin JF(2007)具有不完全信息的omega正则对策的算法。计算机科学中的逻辑方法3(3-4):1–23·Zbl 1125.91028号
[7] Cousot P,Cousot R(1977)抽象解释:通过构造或近似不动点对程序进行静态分析的统一格模型。收录:POPL'77,第238-252页
[8] Cousot P,Halbwachs N(1978)程序变量之间线性约束的自动发现。收录:POPL’78,第84-96页。http://doi.acm.org/10.1145/512760.512770
[9] De Wulf M,Doyen L,Raskin JF(2006)解决不完全信息博弈的格理论。收录于:Hespanha J,Tiwari A(编辑),计算机科学讲稿,第3927卷。圣巴巴拉施普林格,第153-168页·Zbl 1178.93072号
[10] Fixpoint(2009)Fixpoint:实现通用固定点引擎的OCaml库。http://pop-art.inrialpes.fr/people/bjeannet/bjeanet-forge/fixpoint/ . 2011年3月访问
[11] Halbwachs N,Proy Y,Roumanoff P(1997)使用线性关系分析验证实时系统。表格方法系统设计11(2):157–185·doi:10.1023/A:1008678014487
[12] Henzinger T、Majumdar R、Raskin JF(2005)《符号过渡系统的分类》。ACM事务计算逻辑6(1):1–32。http://doi.acm.org/10.1145/1042038.1042039 ·doi:10.1145/1042038.1042039
[13] Hespanha J,Tiwari A(eds)(2006)《混合系统:计算和控制》。参加:2006年HSCC第九届国际研讨会。计算机科学课程记录,第3927卷。圣巴巴拉·斯普林格·Zbl 1103.68006号
[14] Hill R、Tilbury D、Lafortune S(2008),部分观测离散事件系统的基于覆盖的监督控制,用于状态规避。摘自:第九届离散事件系统国际研讨会,第2-8页
[15] Jeannet B(2003)线性关系分析中的动态划分。用于验证反应系统。表格方法系统设计23(1):5–37·Zbl 1067.68091号 ·doi:10.1023/A:1024480913162
[16] Jeannet B,MinéA(2009)《围裙:静态分析的数值抽象域库》。收录于:Bouajjani A,Maler O(eds)CAV,计算机科学课堂讲稿,第5643卷。施普林格,第661-667页
[17] Jeannet B,Jéron T,Rusu V,Zinovieva E(2005)基于近似分析的符号测试选择。In:TACAS'05,LNCS第3440卷。苏格兰爱丁堡,第349-364页·Zbl 1087.68594号
[18] Kalyon G,T LG,Marchand H,Massart T(2009)部分观测下无限符号跃迁系统的控制。在:欧洲控制会议。匈牙利布达佩斯,第1456-1462页
[19] Kumar R,Garg V(2005)关于分配程序模型中无限状态系统的状态回避控制的计算。IEEE跨汽车科学工程2(2):87–91·doi:10.1109/TASE.2004.829432
[20] Kumar R,Garg V,Marcus S(1993)离散事件动态系统监督控制的谓词和谓词变换器。IEEE Trans Automat控制38(2):232–247。网址:citeseer.ist.psu.edu/kumar95predicates.html·Zbl 0774.93003号 ·doi:10.1109/9.250512
[21] Kupferman O,Madhusudan P,Thiagarajan P,Vardi M(2000)《反应环境中的开放系统:控制与合成》。In:程序。第11届国际会议,关于并发理论。计算机科学课堂讲稿,第1877卷。Springer-Verlag,第92–107页·Zbl 0999.68124号
[22] Le Gall T,Jeannet B,Marchand H(2005)使用抽象解释对无限符号系统进行监督控制。In:决策与控制,2005年和2005年欧洲控制会议。CDC-ECC’05,第30–35页
[23] Lin F,Wonham W(1988)关于离散事件系统的可观测性。信息科学44(3):173-198·Zbl 0644.93008号 ·doi:10.1016/0020-0255(88)90001-1
[24] Marchand H、Bournai P、Le Borgne M、Le Guernic P(2000)基于信号环境的离散事件控制器合成。离散事件动态系统:理论与应用10(4):347–368·Zbl 0976.93057号 ·doi:10.1023/A:1008363704766
[25] MinéA(2001)八角形抽象域。In:程序。分析、切片和转换研讨会(AST’01)。IEEE CS出版社,斯图加特,IEEE,Gernamy,第310-319页
[26] Miremadi S、Akesson K、Fabian M、Vahidi A、Lennartson B(2008a)使用supremica解决两个监督控制基准问题。摘自:第九届离散事件系统国际研讨会,第131-136页
[27] Miremadi S,Akesson K,Lennartson B(2008b)使用扩展有限自动机中的保护提取和表示主管。摘自:第九届离散事件系统国际研讨会,第193-199页
[28] OCaml(2005)编程语言Objective CAML。网址:http://caml.inia.fr/ . 2010年8月访问
[29] Pnueli A,Rosner R(1989)关于异步反应模块的合成。收录人:Ausiello G,Dezani-Ciancaglini M,Rocca SD(eds)ICALP,Springer,计算机科学讲稿,第372卷,第652-671页·兹伯利0686.68015
[30] Ramadge P,Wonham W(1987)离散事件系统的模块化反馈逻辑。SIAM J控制优化25(5):1202–1218·Zbl 0698.93035号 ·doi:10.1137/0325066
[31] Ramadge P,Wonham W(1989)离散事件系统的控制。Proc IEEE(离散事件系统动力学专刊)77(1):81–98
[32] Reif J(1984a)不完全信息的两人博弈的复杂性。计算机系统科学杂志29(2):274–301·Zbl 0551.90100号 ·doi:10.1016/0022-0000(84)90034-5
[33] Reif J(1984b)不完全信息两层博弈的复杂性。计算机系统科学杂志29(2):274–301·Zbl 0551.90100号 ·doi:10.1016/0022-0000(84)90034-5
[34] SMACS(2010)SMACS工具。http://www.smacs.be网站/ . 2011年3月访问
[35] Takai S,Kodama S(1998)给定谓词的所有M-可控子谓词的特征。国际J控制70(9):541–549·Zbl 0930.93055号 ·doi:10.1080/002071798222190
[36] Takai S,Ushio T(2003)监督控制中产生的L m(G)-封闭、可控和可观察子语言的有效计算。系统控制快报49(3):191-200·Zbl 1157.93444号 ·doi:10.1016/S0167-6911(02)00322-5
[37] Tarski A(1955)格理论不动点定理及其应用。Pac J数学5:285–309·Zbl 0064.26004号 ·doi:10.2140/pjm.1955.5.285
[38] Thistle J,Lamouchi H(2009),部分观测离散事件系统的有效控制合成。SIAM J控制优化48(3):1858–1887·Zbl 1282.93178号 ·doi:10.1137/060673862
[39] Wonham W,Ramadge P(1988)离散事件系统的模块化监控。数学控制信号系统1(1):13–30·Zbl 0661.93053号 ·doi:10.1007/BF02551233
[40] Yoo T,Lafortune S(2006)部分观测下集中监控的可解性。离散事件动态系统16:527–553·Zbl 1103.93015号 ·doi:10.1007/s10626-006-0023-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。