×
奎杰珀，沃特；范德波尔（Jaco van de Pol）

部分可观测系统的合成控制综合。 （英语） Zbl 1254.93075号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。《计算机科学讲义》5710、431-447（2009）。
摘要：我们提出了一种组合方法，用于推导互联、部分可观测和部分可控制设备组件网络上的控制约束。约束推导方法与基于反链的符号算法协同工作，用于计算不完全信息安全游戏中的最弱策略。我们演示了该技术如何利用问题规范中的局部性和独立性，以增量方式合成反应式控制器。
关于整个系列，请参见[Zbl 1173.68003号].

引用于三文件

MSC公司：

93亿B50 合成问题
PDF格式BibTeX公司 XML格式引用
\textit{W.Kuijper}和\textit{J.van de Pol}，莱克特。注释计算。科学。5710431-447（2009年；Zbl 1254.93075）
全文： 内政部 链接

参考文献：

[1] Asarin，E.、Bournez，O.、Dang，T.、Maler，O.和Pnueli，A.：线性系统切换控制器的有效综合。IEEE 88（7），1011–1025（2000）会议记录·数字对象标识代码：10.1109/5.871306
[2] Asarin，E.，Maler，O.，Pnueli，A.：离散和定时系统的符号控制器综合。收录人：Antsaklis，P.J.、Kohn，W.、Nerode，A.、Sastry，S.S.（编辑）HS 1994。LNCS，第999卷，第1–20页。斯普林格，海德堡（1995）·doi:10.1007/3-540-60472-3_1
[3] Beyer，D.，Henzinger，T.A.，Singh，V.：界面合成算法。摘自：Damm，W.，Hermanns，H.（编辑）CAV 2007。LNCS，第4590卷，第4-19页。斯普林格，海德堡（2007）·兹伯利05216209 ·doi:10.1007/978-3-540-73368-34
[4] Buchi，J.R.，Landweber，L.H.：通过有限状态策略解决连续条件。美国数学学会学报138，295–311（1969）·兹比尔0182.02302 ·doi:10.1090/S0002-9947-1969-0280205-0
[5] Cassez，F.：部分可观测时间博弈的高效即时算法。收录：Raskin，J.-F.，Thiagarajan，P.S.（编辑）FORMATS 2007。LNCS，第4763卷，第5-24页。斯普林格，海德堡（2007）·Zbl 1141.93377号 ·doi:10.1007/978-3-540-75454-1_3
[6] Chakrabarti，A.，de Alfaro，L.，Henzinger，T.A.，Mang，F.Y.C.：同步和双向组件接口。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002，第2404卷，第414-745页。斯普林格，海德堡（2002）·Zbl 1010.68518号 ·数字对象标识代码：10.1007/3-540-45657-0_34
[7] Chatterjee，K.，Doyen，L.，Henzinger，T.A.，Raskin，J.-F.：不完全信息的Omega正则博弈算法。收录：埃西克，Z.（编辑）CSL 2006。LNCS，第4207卷，第287–302页。斯普林格，海德堡（2006）·Zbl 1225.91012号 ·doi:10.1007/11874683_19
[8] Chatterjee，K.，Henzinger，T.，Jobstmann，B.：合成的环境假设。收录：van Breugel，F.，Chechik，M.（编辑）CONCUR 2008。LNCS，第5201卷，第147-161页。斯普林格，海德堡（2008）·Zbl 1160.68437号 ·doi:10.1007/978-3-540-85361-9_14
[9] Chatterjee，K.，Henzinger，T.A.：假设-保证综合。收录：Grumberg，O.，Huth，M.（编辑）TACAS 2007。LNCS，第4424卷，第261-275页。斯普林格，海德堡（2007）·Zbl 1186.68284号 ·doi:10.1007/978-3-540-71209-1_21
[10] Church，A.：递归算法在电路综合问题中的应用。收录于：康奈尔大学符号逻辑夏季研究所摘要，纽约州伊萨卡，第1卷，第3-50页（1957年）
[11] Clarke，E.M.，Emerson，E.A.：使用分支时间时序逻辑设计和合成同步骨架。收录：Kozen，D.（编辑）《程序逻辑》1981年。LNCS，第131卷，第52-71页。斯普林格，海德堡（1982）·Zbl 0546.68014号 ·doi:10.1007/BFb0025774
[12] de Alfaro，L.，Henzinger，T.A.：接口自动机。SIGSOFT软件。工程注释26（5），109-120（2001）·doi:10.1145/503271.503226
[13] Kuijper，W.，van de Pol，J.：计算不完全信息安全游戏的最弱策略。收录：Kowalewski，S.，Phillippou，A.（编辑）TACAS 2009。LNCS，第5505卷，第92–106页。斯普林格，海德堡（2009）·Zbl 1234.68259号 ·文件编号：10.1007/978-3-642-00768-2_10
[14] Kupferman，O.，Piterman，N.，Vardi，M.Y.：无香料成分合成。收录：Ball，T.，Jones，R.B.（编辑）CAV 2006。LNCS，第4144卷，第31-44页。斯普林格，海德堡（2006）·Zbl 1188.68193号 ·数字对象标识代码：10.1007/118179636
[15] Kupferman，O.，Vardi，M.Y.：不完全信息合成。内容：时间逻辑的进展。《应用逻辑系列》，第16卷，第109-127页。多德雷赫特·克鲁沃（2000）·Zbl 0953.68090号 ·doi:10.1007/978-94-015-9586-56
[16] Lin，F.，Wonham，W.M.：分散控制和部分观测离散事件系统的协调。IEEE自动控制汇刊35（12），1330–1337（1990）·Zbl 0723.93043号 ·doi:10.1009/9.61009
[17] Maler，O.，Nickovic，D.，Pnueli，A.：关于从有界响应特性合成控制器。摘自：Damm，W.，Hermanns，H.（编辑）CAV 2007。LNCS，第4590卷，第95-107页。斯普林格，海德堡（2007）·Zbl 1135.68477号 ·doi:10.1007/978-3-540-73368-3_12
[18] Manna，Z.，Wolper，P.：从时间逻辑规范综合通信过程。美国计算机学会程序设计语言与系统汇刊（TOPLAS）6（1），68–93（1984）·Zbl 0522.68030号 ·数字对象标识代码：10.1145/357233.357237
[19] Nam，W.，Madhusudan，P.，Alur，R.：通过学习假设进行自动符号成分验证。形式方法系统。设计。 32(3), 207–234 (2008) ·Zbl 1147.68052号 ·doi:10.1007/s10703-008-0055-8
[20] Pnueli，A.，Rosner，R.：关于反应模的合成。摘自：第16届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集，美国德克萨斯州奥斯汀，第179-190页。ACM，纽约（1989）·兹伯利0686.68015 ·doi:10.1145/75277.75293
[21] Pnueli，A.，Rosner，R.：关于异步反应模块的合成。收录：Ronchi Della Rocca，S.，Ausiello，G.，Dezani-Ciancaglini，M.（编辑）ICALP 1989。LNCS，第372卷，第652-671页。斯普林格，海德堡（1989）·兹伯利0686.68015 ·doi:10.1007/BFb0035790
[22] 拉宾，M.O.：无限对象上的自动机和丘奇问题。美国数学学会（1972）·Zbl 0315.02037号 ·doi:10.1090/cbms/013
[23] Ramadge，P.J.G.，Wonham，W.M.：离散事件系统的控制。IEEE会议记录77（1），81–98（1989）·数字对象标识代码：10.1109/5.21072
[24] 托马斯·W·：关于无限博弈中策略的综合。收录：Mayr，E.W.，Puech，C.（编辑）STACS 1995。LNCS，第900卷，第12页。斯普林格，海德堡（1995）·Zbl 1379.68233号 ·doi:10.1007/3-540-59042-0_57
[25] 托马斯·W·：《综合面：重新审视教会的问题》。收录：de Alfaro，L.（编辑）FOSSACAS 2009。LNCS，第5504卷，第1页。斯普林格，海德堡（2009）·Zbl 1234.68081号 ·doi:10.1007/978-3-642-00596-1_1
[26] De Wulf，M.，Doyen，L.，Raskin，J.-F.：解决不完全信息博弈的格理论。收录：Hespanha，J.P.，Tiwari，A.（编辑）HSCC 2006。LNCS，第3927卷，第153-168页。斯普林格，海德堡（2006）·兹比尔1178.93072 ·doi:10.1007/111730637_14
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。