×

监督控制和反应合成:比较介绍。 (英语) Zbl 1379.93068号

摘要:本文介绍了离散事件系统的综合问题及其之间的形式联系,这两个研究团体在很大程度上分别考虑了这些问题监督控制在控制工程和反应合成在计算机科学中。通过在一篇尽可能独立的论文中使这种联系在数学上精确,我们希望向非专业读者介绍这两个研究领域,同时强调如何在经典综合问题的背景下将它们桥接起来。在对监督控制理论和反应合成进行了一般介绍之后,我们将基本的监督控制问题(非阻塞情况)新地简化为具有最大允许性要求的植物反应合成问题。减少是针对由单个主管/控制器控制的完全观察到的系统。它补充了先前探索监督控制和反应合成界面问题的工作。本文中构建的正式桥梁应该是新研究方向的灵感来源,新研究方向将利用这两个领域中开发的合成技术的力量。

MSC公司:

93立方65 离散事件控制/观测系统
93亿B50 合成问题
93甲13 层次系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abadi M,Lamport L,Wolper P(1989)可实现和不可实现的并发程序规范。在:《计算机科学讲义》第372卷第25届自动机、语言和程序设计国际学术讨论会论文集。施普林格,第1-17页
[2] Asarin E,Maler O,Pnueli A(1995)离散和定时系统的符号控制器综合。In:混合动力系统II·Zbl 0884.68050号
[3] Arnold A、Vincent A、Walukiewicz I(2003)《部分观测控制器综合游戏》。《计算机科学》303(1):7-34·Zbl 1175.93148号 ·doi:10.1016/S0304-3975(02)00442-5
[4] Büchi JR,Landweber LH(1969)通过有限状态策略求解序列条件。事务处理。AMS 138:295-311标准·Zbl 0182.02302号 ·doi:10.1090/S0002-9947-1969-0280205-0
[5] Barrett G,Lafortune S(1998)关于离散事件系统的具有分散信息结构的通信控制器的综合。In:IEEE决策与控制会议
[6] Clarke EM,Emerson EA(1981)使用分支时间时序逻辑设计和合成同步骨架。摘自:《程序逻辑会议录》,计算机科学讲稿第131卷,第52-71页。施普林格·Zbl 0666.93095号
[7] Clarke EM、Emerson EA、Sistla AP(1986)使用时序逻辑规范对有限状态并发系统进行自动验证。ACM Trans程序语言系统8(2):244-263·Zbl 0591.68027号 ·doi:10.1145/5397.5399
[8] Clarke E、Grumberg O、Peled D(2000)《模型检查》。麻省理工学院出版社·Zbl 1423.68002号
[9] Cassez F、Henzinger T、Raskin J-F(2002)《定时和混合系统控制问题的比较》。In:HSCC’02,LNCS第2289卷。Springer-Verlag公司·Zbl 1044.93518号
[10] Church A(1957)递归算法在电路综合问题中的应用。摘自:符号逻辑暑期学院演讲摘要,3-50。国防分析研究所通信研究部·Zbl 0591.68027号
[11] Church A(1963)《逻辑、算术和自动机》。摘自:国际数学大会论文集·Zbl 0116.33604号
[12] Cassandras CG,Lafortune S(2008)《离散事件系统导论》,第2期。波士顿斯普林格·Zbl 1165.93001号 ·doi:10.1007/978-0-387-68612-7
[13] Dill DL(1989)速度无关电路自动分层验证的跟踪理论。麻省理工学院出版社·Zbl 1132.93032号
[14] de Queiroz MH,Cury JER,Wonham WM(2005)离散事件系统的多任务监督控制。离散事件动态系统。理论应用15(4):375-395·Zbl 1101.93052号
[15] Emerson EA,Clarke EM(1982)使用分支时间逻辑合成同步骨架。科学计算程序2:241-266·Zbl 0514.68032号 ·doi:10.1016/0167-6423(83)90017-5
[16] Emerson EA,Halpern JY(1986)《有时与不永远重温:关于分支与线性时间时序逻辑》。美国医学会期刊33(1):151-178·Zbl 0629.68020号 ·doi:10.1145/4904.4999
[17] Ehlers R(2013)对称高效合成。萨尔兰大学博士论文
[18] Ehlers R、Lafortune S、Tripakis S、Vardi M(2014)《跨越监督控制和反应合成之间的差距:全面观察和集中控制案例》。附:第十二届离散事件系统国际研讨会论文集(WODES 2014)·Zbl 0591.68027号
[19] Francez N(1992)计划验证。国际计算机科学。艾迪森·韦弗利·兹比尔0820.68073
[20] Green CC(1969)定理证明在问题解决中的应用。摘自:第一届国际人工智能联合会议,第219-240页·Zbl 0591.68027号
[21] Henzinger T,Kopke P(1997)矩形混合自动机的离散时间控制。In:1997年ICALP·Zbl 0930.68086号
[22] Harel D,Marelly R(2003)《来吧,让我们玩》。施普林格·Zbl 1175.93148号
[23] Harel D,Pnueli A(1985)《反应系统的发展》。收录于:《并行系统的逻辑与模型》,北约高级暑期研究所F-13卷。施普林格,第477-498页·Zbl 0854.93005号
[24] Hoffmann G,Wong Toi H(1992)监管控制器的符号合成。In:美国控制会议·Zbl 0182.02302号
[25] Jackson D(2009)可靠软件的直接途径。Commun公司。ACM 52(4):78-88·数字对象标识代码:10.1145/1498765.1498787
[26] Jiang S,Kumar R(2006)《离散事件系统的监控与CTL*时序逻辑规范》。SIAM J控制优化44(6):2079-2103·Zbl 1132.93032号 ·doi:10.1137/S0363012902409982
[27] Kress-Gazit H,Fainekos GE,Pappas GJ(2007)waldo在哪里?基于传感器的时序逻辑运动规划。摘自:IEEE机器人与自动化国际会议,ICRA,第3116-3121页
[28] Kumar R,Garg VK(1995)逻辑离散事件系统的建模与控制。Kluwer学术出版社·Zbl 0875.68980号
[29] Kumar R、Garg V、Marcus SI(1992)《顺序行为的监督控制》。IEEE Trans Autom Control 37(12):1978年至1985年·Zbl 0788.93029号 ·数字对象标识代码:10.1109/9.182487
[30] Kupferman O、Madhusudan P、Thiagarajan PS、Vardi MY(2000)《反应环境中的开放系统:控制和合成》。在:第11届并行理论国际会议,CONCUR’00。施普林格,第92-107页·Zbl 0999.68124号
[31] Komenda J、Masopust T、van Schuppen JH(2012),使用协调方案对离散事件系统进行监控合成。Automatica 48(2):247-254·兹比尔1260.93112 ·doi:10.1016/j.automatica.2011.07.008
[32] Kupferman O,Vardi M(1996)《模块检查》。In:Alur R,Henzinger T(eds)计算机辅助验证,LNCS第1102卷。施普林格,第75-86页·Zbl 0988.93055号
[33] Kupferman O,Vardi M(1999)《教会的问题重新审视》。Bull Symb日志5(2)·Zbl 0932.03029号
[34] Kupferman O,Vardi MY(2000)《信息不完整的合成》。时间逻辑进展,第109-127页。Kluwer学术出版社·Zbl 0953.68090号
[35] Lin F(1993)使用时序逻辑分析和合成离散事件系统。控制理论高级技术9:341-350
[36] Lichtenstein O,Pnueli A(1985)检查有限状态并发程序是否满足其线性规范。摘自:第12届ACM编程语言原理研讨会论文集,第97-107页·Zbl 1260.93112号
[37] Lamouchi H,Thistle J(2000)部分观察下DES的有效控制合成。摘自:第39届IEEE决策与控制会议,第22-28页·Zbl 0182.02302号
[38] Lustig Y,Vardi M(2009),组件库合成,软件科学和计算结构基础,第395-409页·Zbl 1234.68260号
[39] Madhusudan P(2001)《开放反应系统的控制与合成》。马德拉斯大学博士论文·兹比尔0853.93008
[40] Maler O,Pnueli A,Sifakis J(1995)关于定时系统离散控制器的综合。包含:STACS’95·Zbl 1379.68227号
[41] Manna Z,Wolper P(1984)从时序逻辑规范合成通信过程。ACM TOPLAS 6(1)·Zbl 0522.68030号
[42] Overkamp A,van Schuppen JH(2000)分散监督控制中的最大解决方案。SIAM J控制优化39(2):492-511·Zbl 0963.93056号 ·doi:10.1137/S0363012997321139
[43] Pnueli A(1977)程序的时序逻辑。摘自:第18届IEEE计算机科学基础研讨会论文集,第46-57页·Zbl 0629.68020号
[44] Piterman N,Pnueli A,Saar Y(2006)反应性(1)设计的合成。收录于:《计算机科学讲义》第3855卷,《第七届验证、模型检查和抽象解释国际会议论文集》。施普林格,第364-380页·Zbl 1176.68126号
[45] Pnueli A,Rosner R(1989年A)关于反应性模块的合成。参加:ACM POPL研讨会·Zbl 0686.68015号
[46] Pnueli A,Rosner R(1989年b)关于异步反应模块的合成。收录于:第16届国际自动化、语言和程序设计学院学报,计算机科学讲稿第372卷。施普林格,pp 652-671·Zbl 0686.68015号
[47] Pnueli A,Rosner R(1990)分布式反应系统很难合成。摘自:第31届IEEE计算机科学基础研讨会论文集,第746-757页·Zbl 0629.68020号
[48] Pinchinat S,Riedweg S(2005)当存在部分观测时,始终可以计算出最大允许控制器。摘自:《2005年美国控制会议记录》,第2287-2292页
[49] Queille JP,Sifakis J(1982)《塞萨尔并发系统的规范和验证》。摘自:第八届ACM程序设计语言原理研讨会论文集,计算机科学讲稿第137卷。施普林格,第337-351页·Zbl 0482.68028号
[50] Rabin MO(1972)关于无限对象和Church问题的自动机。阿默尔。数学学会·Zbl 0315.02037号
[51] Ramadge PJ(1989)用Büchi自动机建模的离散事件系统的一些易处理的监督控制问题。IEEE Trans Autom Control 34(1):10-19·Zbl 0666.93095号 ·数字对象标识代码:10.1109/9.8645
[52] Riedweg S,Pinchinat S(2003)控制合成的量化微积分。收录于:Rovan B,Vojas P(eds)《2003年计算机科学数学基础》,计算机科学讲稿第2747卷。柏林施普林格,第642-651页·Zbl 1124.68388号
[53] Riedweg S,Pinchinat S(2004)所有情况下的最大允许控制器。收录于:2004年离散事件系统国际研讨会论文集
[54] Ricker SL,Rudie K(2000)知道意味着不:将知识纳入离散事件控制系统。IEEE Trans Autom Control 45(9):1656-1668·Zbl 0988.93055号 ·数字对象标识代码:10.1109/9.880616
[55] Ramadge P,Wonham W(1987)一类离散事件过程的监督控制。SIAM J控制优化25(1):206-230·Zbl 0618.93033号 ·doi:10.1137/0325013
[56] Ramadge P,Wonham W(1989)《离散事件系统的控制》,In:IEEE会议录·Zbl 0595.93047号
[57] Rudie K,Wonham W(1992)《全球思考,局部行动:分散的监管控制》。IEEE Trans Autom控制:37·兹比尔0778.93002
[58] Seatzu C、Silva M、van Schuppen J(eds)(2013)《离散事件系统控制》。自动机和Petri网视角。施普林格·Zbl 1254.93007号
[59] Thistle JG(1995),关于确定性拉宾自动机系统的控制。离散事件动态系统5(4):357-381·Zbl 0853.93008号 ·doi:10.1007/BF01439153
[60] Thistle JG(1996)离散事件系统的监督控制。数学计算建模23(11/12):25-53·Zbl 0854.93005号 ·doi:10.1016/0895-7177(96)00063-5
[61] Thistle JG,MalhaméRP(1998)《州公平假设下的欧米伽自发性控制》。系统控制通知:33·Zbl 0902.93039号
[62] Tripakis S(2004)正则语言的分散观察和控制的不确定问题。Inf过程Lett 90(1):21-28·Zbl 1178.68327号 ·doi:10.1016/j.ipl.2004.01.004
[63] Thistle JG,Wonham WM(1986)《时序逻辑框架中的控制问题》,《国际控制杂志》44(4):943-976·Zbl 0606.93002号 ·doi:10.1080/00207178608933645
[64] Thistle J,Wonham W(1994a)有限自动机无限行为的控制。SIAM J控制优化32(4):1075-1097·Zbl 0925.93233号
[65] Thistle J,Wonham W(1994b)离散事件系统无限行为的监督。SIAM J控制优化32(4):1098-1113·Zbl 0925.93234号
[66] Vardi MY(1995)公平实现和综合的自动机理论方法。摘自:《第七届计算机辅助验证国际会议论文集》,《计算机科学讲稿》第939卷。施普林格,第267-292页
[67] van Hulst AC、Reniers MA、Fokkink WJ(2014)《Hennessy-Milner逻辑与盒子模态的最大综合》。摘自:2014年离散事件系统国际研讨会论文集
[68] Vardi MY,Wolper P(1986)自动程序验证的自动机理论方法。摘自:第一届IEEE计算机科学逻辑研讨会论文集,第332-344页·Zbl 0618.93033号
[69] Wonham WM(2015)《离散事件系统的监督控制》。可在作者网站上找到
[70] Wonham W,Ramadge P(1987)关于给定语言的上可控子语言。SIAM J.控制优化。25(3):637-659·doi:10.1137/0325036
[71] Wong-Toi H,Dill DL(1991)从时间规范合成进程和调度器。收件人:Clarke EM,Kurshan RP(eds)Proc。第二届计算机辅助验证国际会议,离散数学和理论计算机科学DIMACS系列第3卷,第177-186页。AMS公司·Zbl 0786.68070号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。