×
克里希南德·查特吉；鲁帕克·马朱姆达尔

欧米伽规则目标的最小注意力控制器综合。 （英语） Zbl 1348.68096号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，145-159（2011）。
摘要：如果直观地需要测量状态并从当前的控制动作切换，那么具有\（\omega\）-规则目标的离散游戏的控制器需要关注。在现代共享实现的网络物理系统中，注意力最少的控制器更可取，因为它们对系统资源（如处理器时间或通信带宽）的负担最小。我们给出了不完全信息离散双层对策中（ω）-正则目标的最小注意控制器的计算算法。在不完全信息博弈中，我们给出了从最小注意控制器综合到平均对偶目标控制器综合的多项式时间约简。这给出了一个最优的EXPTIME-完全综合算法。我们证明了对于具有有限互模拟商的无限状态系统，最小注意控制器问题是可判定的。特别是，这个问题对于时间自动机和矩形自动机来说是可以判定的。
关于整个系列，请参见[Zbl 1223.68006号].

引用于2文件

MSC公司：

65年第68季度 形式语言和自动机
91A80型 博弈论的应用

软件：

马蒂斯；PESSOA公司
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{R.Majumdar}，莱克特。注释计算。科学。6919、145--159（2011年；Zbl 1348.68096）
全文： 内政部

参考文献：

[1] Alur，R.，Dill，D.：时间自动机理论。理论计算机科学126（2），183-236（1994）·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[2] Anta，A.，Tabuada，P.：关于非线性系统的最小关注和任意关注问题。收件人：CDC 2010。IEEE，洛斯阿拉米托斯（2010）·Zbl 1368.93355号
[3] 布罗克特·R.W.：最小注意力控制。收录：CDC 1997。IEEE，洛斯阿拉米托斯（1997）
[4] Brockett，R.W.：在运动控制环境中最小化注意力。收录：CDC 2003。IEEE，洛斯阿拉米托斯（2003）
[5] Büchi，J.R.，Landweber，L.H.：用有限状态策略求解序列条件。AMS 138、295–311的交易（1969）·兹比尔0182.02302 ·doi:10.1090/S0002-9947-1969-0280205-0
[6] Cassez，F.，Tripakis，S.：使用静态和动态观测器进行故障诊断。芬丹。通知。 88(4), 497–540 (2008) ·Zbl 1167.68011号
[7] Chatterjee，K.，Doyen，L.，Henzinger，T.A.，Raskin，J.F.：不完全信息的欧米伽规则游戏算法。收录：埃西克，Z.（编辑）CSL 2006。LNCS，第4207卷，第287–302页。斯普林格，海德堡（2006）·Zbl 1225.91012号 ·doi:10.1007/11874683_19
[8] Chatterjee，K.，Henzinger，T.A.，Jurdzinénski，M.：平均支付平价游戏。收录于：LICS 2005，第178-187页。IEEE，洛斯阿拉米托斯（2005）
[9] Chatterjee，K.、Majumdar，R.、Henzinger，T.A.：预算约束下的控制者综合。收录：Egerstedt，M.，Mishra，B.（编辑）HSCC 2008。LNCS，第4981卷，第72–86页。斯普林格，海德堡（2008）·Zbl 1144.93312号 ·doi:10.1007/978-3-540-78929-1_6
[10] Church，A.：逻辑、算术和自动机。摘自：《国际数学家大会议事录》，第23-35页。Mittag-Lefler研究所（1962年）
[11] Degorre，A.，Doyen，L.，Gentilini，R.，Raskin，J.-F.，Toruñczyk，S.：不完全信息下的能量和平均支付游戏。在：Dawar，A.，Veith，H.（编辑）CSL 2010。LNCS，第6247卷，第260-274页。斯普林格，海德堡（2010）·Zbl 1287.91028号 ·doi:10.1007/978-3642-15205-422
[12] Emerson，E.A.，Jutla，C.：树自动机、微积分和确定性。收录于：FOCS 1991，第368–377页。IEEE，洛斯阿拉米托斯（1991）
[13] Girard，A.：使用近似双相似抽象的合成：用于安全规范的状态反馈控制器。参见：HSCC，第111-120页。ACM，纽约（2010年）·Zbl 1361.68147号 ·doi:10.1145/1755952.1755969
[14] Girard，A.、Julius，A.A.、Pappas，G.J.：混合系统的近似模拟关系。离散事件动态系统18（2），163-179（2008）·Zbl 1395.93113号 ·doi:10.1007/s10626-007-0029-9
[15] Gurevich，Y.，Harrington，L.：树、自动机和游戏。收录于：STOC 1982，第60-65页。ACM，纽约（1982）
[16] Henzinger，T.A.，Kopke，P.W.：矩形混合自动机的离散时间控制。理论计算机科学221，369–392（1999）·Zbl 0930.68086号 ·doi:10.1016/S0304-3975（99）00038-9
[17] Jobstmann，B.：LTL合成的应用和优化。格拉茨科技大学博士论文（2007年3月）
[18] Kechris，A.：经典描述集理论。斯普林格，海德堡（1995）·Zbl 0819.04002号 ·doi:10.1007/978-1-4612-4190-4
[19] Kloetzer，M.，Belta，C.：从时序逻辑规范控制线性系统的全自动框架。IEEE自动控制汇刊53（1），287–297（2008）·Zbl 1367.93202号 ·doi:10.10109/TAC.2007.914952
[20] Kress-Gazit，H.、Fainekos，G.E.、Pappas，G.J.：基于时间逻辑的反应性任务和运动规划。IEEE机器人学报25（6），1370–1381（2009）·doi:10.1109/TRO.2009.2030225
[21] Kupferman，O.，Vardi，M.Y.：{\（\mu\）}-演算合成。收录：Nielsen，M.，Rovan，B.（编辑）MFCS 2000。LNCS，第1893卷，第497-507页。斯普林格，海德堡（2000）·Zbl 0996.68107号 ·doi:10.1007/3-540-44612-5_45
[22] Kupferman，O.，Vardi，M.Y.：不完全信息的合成。摘自：《时间逻辑进展》，第109-127页。Kluwer学术出版社，多德雷赫特（2000）·Zbl 0953.68090号 ·doi:10.1007/978-94-015-9586-56
[23] Kupferman，O.，Vardi，M.Y.：无安全决策程序。收录于：FOCS 2005:计算机科学基础，第531-540页（2005）·doi:10.1109/SFCS.2005.66
[24] Maler，O.，Pnueli，A.，Sifakis，J.：关于定时系统离散控制器的综合。收录：Mayr，E.W.，Puech，C.（编辑）STACS 1995。LNCS，第900卷，第229-242页。斯普林格，海德堡（1995）·兹比尔1379.68227 ·doi:10.1007/3-540-59042-076
[25] Martin，D.A.：Borel确定性。数学年鉴102（2），363–371（1975）·Zbl 0336.02049号 ·doi:10.2307/1971035
[26] Mazo，M.、Davidian，A.、Tabuada，P.：Pessoa：嵌入式控制器综合工具。收录：Touili，T.、Cook，B.、Jackson，P.（编辑）CAV 2010。LNCS，第6174卷，第566–569页。斯普林格，海德堡（2010）·Zbl 05772662号 ·doi:10.1007/978-3-642-14295-649
[27] Montestruque，L.，Antsaklis，P.：关于网络系统的基于模型的控制。Automatica 39（10），1837-1843（2003）·Zbl 1027.93023号 ·doi:10.1016/S0005-1098（03）00186-9
[28] 普努利：程序的时序逻辑。收录于：FOCS 1977，第46–57页（1977）·doi:10.1109/SFCS.1977.32
[29] Pnueli，A.，Rosner，R.：关于反应模的合成。收录于：POPL 1989，第179-190页。ACM，纽约（1989）·Zbl 0686.68015号
[30] Pola，G.，Girard，A.，Tabuada，P.：非线性控制系统的近似双相似符号模型。Automatica 44（10），2508–2516（2008）·Zbl 1155.93322号 ·doi:10.1016/j.automatica.2008.02.021
[31] M.O.拉宾：无限对象上的自动机和教会问题。数学系列会议，第13卷。美国数学学会，普罗维登斯（1969）·Zbl 0315.02037号
[32] Ramadge，P.J.G.，Wonham，W.M.：离散事件系统的控制。IEEE控制理论汇刊77，81–98（1989）
[33] Reif，J.H.：不完全信息两层博弈的复杂性。《计算机与系统科学杂志》29，274–301（1984）·兹比尔0551.90100 ·doi:10.1016/0022-0000（84）90034-5
[34] Safra，S.：关于{\（\omega\）}-自动机的复杂性。摘自：第29届计算机科学基础年度研讨会论文集，第319-327页。IEEE计算机学会出版社，洛斯·阿拉米托斯（1988）
[35] 托马斯·W·：语言、自动机和逻辑。收录于：形式语言手册。超越语言。第7章，第3卷，第389–455页。斯普林格，海德堡（1997）·doi:10.1007/978-3-642-59126-67
[36] Thorsley，D.，Teneketzis，D.：为离散事件系统的诊断和监控主动获取信息。离散事件动态系统17，531–583（2007）·Zbl 1125.93322号 ·doi:10.1007/s10626-007-0027-y
[37] Zielonka，W.：有限色图上的无限游戏，应用于无限树上的自动机。理论计算机科学200（1-2），135–183（1998）·Zbl 0915.68120号 ·doi:10.1016/S0304-3975（98）00009-7
[38] Zwick，U.，Paterson，M.S.：图上平均回报游戏的复杂性。理论计算机科学158，343–359（1996）·Zbl 0871.68138号 ·doi:10.1016/0304-3975（95）00188-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。