纪尧姆·费伊莱德;苏菲·平奇纳特 离散事件系统控制理论的模态规范。 (英语) Zbl 1116.93037号 离散事件动态。系统。 17,第2期,211-232(2007)。 摘要:我们提出了一个由离散事件系统建模的反应系统控制理论的逻辑框架。逻辑是合取演算,是强大的演算的一个表达片段。结合演算拥有一种基于模态规范的替代表示,具有简单的图形表示。我们利用模态规范来指定和解决基本的集中式控制问题:我们的控制目标类严格包含正则语言类,正则语言类通常用于离散事件系统的经典控制理论,但最大允许解的存在性得到了保留。 引用于9文件 MSC公司: 93元65角 离散事件控制/观测系统 03B70号 计算机科学中的逻辑 关键词:无功系统;控制理论;逻辑;\(\mu\)-微积分;连接\(nu\)-演算;模态规格;最大许可解决方案 软件:UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Feuillade}和\textit{S.Pinchinat},离散事件动态。系统。17,第2号,211--232(2007;Zbl 1116.93037) 全文: 内政部 参考文献: [1] Arnold A,Niwinski D(2001)《微积分基础》。荷兰北部·Zbl 0968.03002号 [2] 阿诺德,A。;文森特,A。;Walukiewicz,I.,部分观测控制器合成游戏,理论计算机科学,303,1,7-34(2003)·Zbl 1175.93148号 ·doi:10.1016/S0304-3975(02)00442-5 [3] Briand X(2006)《控制综合问题研究》,波尔多大学博士论文,6月 [4] 卡桑德拉斯,CG;Lafortune,S.,《离散事件系统导论》(1999),马萨诸塞州波士顿:Kluwer,波士顿·Zbl 0934.93001号 [5] 戈哈里,P。;Murray Wonham,W.,《关于RW框架中监督控制设计的复杂性》,IEEE系统、人与控制论汇刊,B部分,30,5,643-652(2000)·doi:10.1109/3477.875441 [6] Harel,D。;Pnueli,A。;Apt,Krzysztof R.,《关于反应系统、逻辑和并发系统模型的开发》,北约ASI,第13卷,477-498(1984),柏林-海德堡纽约:施普林格,柏林-海德堡纽约·Zbl 0581.68046号 [7] Jiang S,Kumar R(2005)具有ctl*时序逻辑规范的离散事件系统的监督控制。SIAM控制与优化杂志44(6),1月 [8] 库马尔,R。;Garg,VK,逻辑离散事件系统的建模与控制(1995),马萨诸塞州波士顿:Kluwer,马萨诸塞州波士顿·Zbl 0875.68980号 [9] Kozen,D.,命题Mu-calculus的结果,理论计算机科学,27333-354(1983)·Zbl 0553.03007号 ·doi:10.1016/0304-3975(82)90125-6 [10] Larsen,KG,模态规范,Proc。有限状态系统的车间自动验证方法,格勒诺布尔,LNCS 407,232-246(1989),柏林-海德堡纽约:施普林格,柏林-海德堡纽约 [11] Pinchinat,S。;Riedweg,S.,部分观测下的可判定控制问题,《信息处理快报》,95,4,454-460(2005)·Zbl 1177.93059号 ·doi:10.1016/j.ipl.2005.04.11 [12] Riedweg S,Pinchinat S(2003)控制合成的量化微积分。摘自:布拉迪斯拉发计算机科学数学基础。斯洛伐克共和国,8月·Zbl 1124.68388号 [13] Riedweg S,Pinchinat S(2004)所有情况下的最大允许控制器。参加:离散事件系统研讨会,法国兰斯,9月 [14] Raclet JB,Pinchinat S(2005)《非确定性系统的控制:逻辑方法》。收件人:Pavel Piztek,编辑,第16届国际会计师联合会世界大会会议记录,捷克共和国布拉格,阿姆斯特丹爱思唯尔,7月 [15] 拉马奇,PJG;Wonham,WM,离散事件系统的控制,IEEE会议录,77,81-98(1989)·数字对象标识代码:10.1109/5.21072 [16] Tabuada,P。;帕帕斯,GJ;马勒,O。;Pnueli,A.,可控线性系统上的模型检验ltl是可判定的,HSCC,计算机科学讲义,第2623卷,498-513(2003),柏林-海德堡纽约:施普林格,柏林-海德堡纽约·Zbl 1032.68104号 [17] WM Wonham,《关于离散事件系统的控制》(1989),美国纽约州纽约市:Springer New York,Inc,纽约州纽约·Zbl 0705.93056号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。