×

网格自动机和密集实时离散事件系统的监督控制。 (英语) Zbl 1093.93020号

摘要:我们将离散事件系统的经典监督控制理论推广到一组由Alur和Dill时间自动机建模的稠密实时系统。所涉及的主要问题是,一般来说,时间自动机的状态空间是无限的。解决方案是将稠密时间转移系统简化为一个适当的有限离散子自动机,即网格自动机,它包含足够的信息来处理时间监督控制问题(TSCP)。工厂和规格区域图的采样粒度定义为每个状态都有一个标记为相同时间量的传出转换。我们在网格自动机的背景下重新定义了可控性概念,并给出了充分必要的可解性条件,在这些条件下,可以获得完全可观测的时间离散事件系统的集中监控问题的最优解。增强的设置允许子系统组成和强制事件的概念。一个简单的例子说明了如何使用新方法求解TSCP。

MSC公司:

93元65角 离散事件控制/观测系统
第68季度第45季度 形式语言和自动机

软件:

UMDES公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] R.Alur,《实时系统自动验证技术》,技术报告STAN-CS91-1378,加州斯坦福大学计算机科学系,博士论文,1991年。;R.Alur,《实时系统自动验证技术》,技术报告STAN-CS91-1378,加州斯坦福大学计算机科学系,博士论文,1991年。
[2] 阿鲁尔(Alur,R.)。;Dill,D.,《实时系统建模的自动机》,(第17届国际学院自动机会议录,语言与编程,计算机科学讲义,第443卷)。第17届国际学院学报。《自动化、语言和编程》,计算机科学讲义,第443卷,斯普林格·弗拉格,英国沃里克(1990))·兹比尔0765.68150
[3] 阿鲁尔(Alur,R.)。;Dill,D.,《时间自动机理论》,Theor。公司。科学。,126, 183-235 (1994) ·兹比尔0803.68071
[4] Asarin,E。;马勒,O。;Pnueli,A.,离散和定时系统的符号控制器综合,混合系统II,计算机科学讲义,第999卷(1995年),Springer-Verlag,第1-20页
[5] Boimond,J.L。;Ferrier,J.L.,《内部模型控制和最大代数:控制器设计》,IEEE Trans。自动化。续,41、3、457-461(1996年)·Zbl 0846.93056号
[6] 布兰丁,B。;Wonham,W.M.,定时离散事件系统的监督控制,IEEE Trans。自动化。《续》,第39、2、329-351页(1994年)·Zbl 0801.93002号
[7] Brave,Y。;Heymann,M.,实时离散事件过程的制定和控制,(第27届IEEE决策和控制会议论文集。第27届EEE决策和控制大会论文集,纽约(1988)),1131-1132·兹比尔0704.93054
[8] 卡桑德拉斯,C.G。;Lafortune,S。;Olsder,G.J.,(Alberto,Isidori,《离散事件系统建模、控制和优化导论》,《控制趋势,欧洲视角》(1995),施普林格-弗拉格出版社:柏林施普林格出版社),217-291
[9] 科恩,G。;Dubois,D。;Quadrat,J.P。;Viot,M.,《离散事件过程的线性系统理论观点及其在制造业性能评估中的应用》,IEEE Trans。自动化。续,第30页,第210-220页(1985年)·Zbl 0557.93005号
[10] Dill,D.,有限状态并发系统的时序假设和验证,(《计算机科学讲稿》,第407卷,有限状态系统的自动验证方法,国际研讨会。《计算机科学的讲稿》
[11] A.Elqortobi,A.En-Nouaary,G.V.Bochmann,Dénombrement du nombre des régions dans un automatic temporisé,技术报告TR-1116,蒙特利尔大学IRO系,1998年1月。;A.Elqortobi,A.En-Nouaary,G.V.Bochmann,Dénombrement du nombre des régions dans un automatic temporisé,技术报告TR-1116,蒙特利尔大学IRO系,1998年1月。
[12] En-Nouaary,A。;Dssouli,R。;Khendek,F.,《定时Wp方法:测试实时系统》,IEEE Trans。柔软。工程,28,11,1023-1038(2002)
[13] A.Giua。;Dicesare,F.,监督控制的Petri网结构分析,IEEE Trans。机器人。自动。,10, 2, 185-195 (1994)
[14] Gouin,A。;Ferrier,J.L.,定时自动机的监督控制,(欧洲控制会议(ECC)论文集)。欧洲控制会议(ECC)会议记录,德国卡尔苏赫(1999))
[15] Hayes-Roth,B.,控制的黑板架构,Artif。智力。,26, 3, 251-321 (1985)
[16] Ho,Y.C.,统计实验的参数敏感性,IEEE Trans。自动化。续,24,982-983(1979)·兹比尔0419.93097
[17] Ho,T.-J.,《时间离散事件系统中合成问题的新方法》,国际期刊,第73、6、505-519页(2000)·Zbl 1015.93035号
[18] Krogh,B.H。;Magott,J。;Holloway,L.E.,关于受控标记图的禁止状态问题的复杂性,(第30届IEEE决策与控制会议论文集,第30届EEE决策与控制大会论文集,英国布莱顿(1991)),85-91
[19] Larsen,K。;Yi,W.,《时间抽象互模拟:隐式规范和可判定性》,(《编程语义数学基础学报》,计算机科学讲义第802卷)。《程序设计语义学数学基础学报》(MFPS),计算机科学讲稿第802卷,纽约斯普林格-弗拉格出版社(1993))·Zbl 0887.68068号
[20] 马勒,O。;普努利,A。;Sifakis,J.,《关于时间系统离散控制器的综合》(第12届计算机科学理论方面年度研讨会论文集,第900卷)。第十二届计算机科学理论方面年度研讨会论文集,第900卷,Springer-Verlag(1995),229-242·Zbl 1379.68227号
[21] Ostroff,J.S.,《实时离散事件系统控制器的合成》,(《第28届决策与控制会议论文集》,佛罗里达州坦帕(1990),138-144
[22] 奥斯特罗夫,J.S。;Wonham,W.M.,实时离散事件控制框架,IEEE Trans。自动化。续,35,4,386-397(1990)·Zbl 0709.68029号
[23] Ramadge,J.G。;Wonham,W.M.,一类离散事件过程的监督控制,SIAM J.Cont.Optim。,25, 206-230 (1987) ·Zbl 0618.93033号
[24] 斯普林特维尔德,J。;Vaadranger,F.,最小时间自动机(Jonsson,B。;Parrow,J.,《第四届国际学校学报和实时和容错系统形式技术研讨会》,计算机科学讲稿第1135卷。第四届国际学校会议录和实时和容错系统形式技术研讨会,计算机科学讲稿第1135卷,瑞典乌普萨拉Springer-Verlag(1996))
[25] 斯普林特维尔德,J。;Vaandrager,F。;D’Argenio,P.,《测试时间自动机》,Theor。公司。科学。,254, 225-257 (2001) ·兹伯利0972.68104
[26] H.Wong-Toi,G.Hoffmann,《密集实时离散事件系统的控制》,技术报告STA-CS-92-1411,斯坦福大学,1995年。;H.Wong-Toi,G.Hoffmann,《密集实时离散事件系统的控制》,技术报告STA-CS-92-1411,斯坦福大学,1995年。
[27] Wonham,W.M。;Ramadge,J.G.,《关于给定语言的超大型可控子语言》,Siam J.Cont.Optim.著。,25, 3, 637-659 (1987)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。