×

数学ZBZ-数学第一资源

混合系统的过程计算的严格离散化。(英语) Zbl 1348.68109
Fahrenberg,Uli(ed.)等人,《时间系统的形式化建模与分析》。2011年9月21-23日,丹麦奥尔堡,第9届国际会议,格式2011。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919301-316(2011)。
摘要:在混合过程演算的背景下,我们提出了一种形式化的离散化过程,它将一类混合系统抽象为简单的时间系统,同时保持观测同余。结果项不是完全离散的,因为需要保持并发混合进程之间的时间同步。在本文中,我们(i)定义混合过程演算HCCS作为CCS的一个适当的最小扩展[R、 米尔纳通信和并发。纽约等:普伦蒂斯·霍尔(1989年;68006ZB83)],(ii)研究其元理论,包括行为一致性和zenoness之间的重要联系,(iii)陈述和证明严格分析离散化所需的性质,以及(iv)应用我们的方法来证明混合坦克系统的正确性。
整个系列请参见[Zbl 1223.68006].
理学硕士:
68Q45号 形式语言与自动机
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
引文:
Zbl 0683.68008
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Agrawal,M.,Thiagarajan,P.S.:惰性线性混合自动机的离散时间行为。在:Morari,M.,Thiele,L.(编辑)2005年HSCC。LNCS,第3414卷,第55-69页。(海德堡,2005)·Zbl 1078.68069
[2] Alur,R.,Henzinger,T.A.,Lafferriere,G.,Pappas,G.J.:混合系统的离散抽象。IEEE论文集88(7),971–984(2000)
[三] Baeten,J.C.M.,van Beek,D.A.,Cuijpers,P.J.L.等人:使用混合过程代数{\(\chi\)}对嵌入式系统进行基于模型的工程。ENTCS 209,21–53(2008年)·兹布1279.68245
[4] Beohar,H.,Cuijpers,P.J.L.,Baeten,J.C.M.:异步监控器的设计。更正,abs/0910.0868(2009)
[5] Bergstra,J.A.,Middelburg,C.A.:混合系统的过程代数。理论。计算机。科学。335(2-3),215-280(2005年)·Zbl 1080.68073
[6] Brinksma,E.,Krilavičius,T.:行为混合过程演算。TR-CTIT-05.45,CTIT,特温特大学(2005)
[7] 过程代数手册。第12章。爱思唯尔科学公司,阿姆斯特丹(2001)·Zbl 1062.68079
[8] Cuijpers,P.J.L.:混合过程代数。博士论文(2004)·Zbl 1090.68071
[9] Cuijpers,P.J.L.,Reniers,M.A.:拓扑(双-)模拟。ENTCS 100,49–64(2004年)·Zbl 1271.68177
[10] Cuijpers,P.J.L.,Reniers,M.A.,Heemels,W.P.M.H.:混合过渡系统。TR,计算机科学系,TU/e(2002)
[11] Davoren,J.M.,Moor,T.,Nerode,A.:混合控制回路、A/d图和动态规范。在:Tomlin,C.J.,Greenstreet,M.R.(编辑),HSCC 2002。LNCS,第2289卷,第149-163页。斯普林格,海德堡(2002)·Zbl 1049.93048号
[12] Fränzle,M.,Herde,C.:Hysat:混合动力系统有界模型检验的有效证明引擎。FMSD 30(3),179–198(2007年)·Zbl 1116.68048
[13] Galpin,V.,Bortolussi,L.,Hillston,J.:Hype:组合流和涌现行为的过程代数。In:Bravetti,M.,Zavattaro,G.(编辑)CONCUR 2009年。LNCS,第5710卷,第305-320页。斯普林格,海德堡(2009)·Zbl 1254.68170号
[14] Henzinger,T.A.:数字和混合系统的验证。北约ASI系列F 170265–292(2000)·Zbl 0959.68073
[15] Henzinger,T.A.,Ho,P.,Wong Toi,H.:Hytch:混合动力系统的模型检验器。In:Grumberg,O.(编辑)CAV 1997。LNCS,第1254卷,第460-463页。斯普林格,海德堡(1997)·Zbl 1060.68603
[16] Henzinger,T.A.,Horowitz,B.,Majumdar,R.,Wong Toi,H.:Beyond hytech:使用区间数值方法的混合系统分析。在:林奇,N.A.,Krogh,B.H.(编辑)HSCC 2000。LNCS,第1790卷,第130-144页。斯普林格,海德堡(2000)·Zbl 0938.93552
[17] 美国阿拉巴马州安得拉格朗格朗格朗格朗格朗格朗格朗格朗格朗格朗格朗格。信息计算机。185(1),105–157(2003年)·Zbl 1069.68067
[18] 米尔纳:沟通与并发。普伦蒂斯霍尔公司,恩格尔伍德悬崖(1989)·Zbl 0683.68008
[19] Moor,T.,Raisch,J.,O'Young,S.:基于l-完全近似的混合系统离散监督控制。DEDS 12(1),83–107(2002年)·Zbl 1002.93016
[20] Platzer,A.:混合系统的微分动态逻辑。J、 自动驾驶。推理41(2),143–189(2008)·Zbl 1181.03035
[21] Puri,A.,Varaiya,P.:使用抽象验证混合系统。在:Antsaklis,P.J.,Kohn,W.,Nerode,A.,Sastry,S.S.(编辑)HS 1994。LNCS,第999卷,第359-369页。斯普林格,海德堡(1995)
[22] Raisch,J.,Moor,T.:多产品间歇装置的递阶混合控制。LN99,第322卷,第216页。斯普林格,海德堡(2005)·Zbl 1124.93340
[23] Rounds,W.C.:混合{(\pi\)}微积分的空间逻辑。在:Alur,R.,Pappas,G.J.(编辑),HSCC 2004。LNCS,第2993卷,第508-522页。斯普林格,海德堡(2004)·Zbl 1135.93342
[24] Stauner,T.:混合自动机的离散时间精化。在:Tomlin,C.J.,Greenstreet,M.R.(编辑),HSCC 2002。LNCS,第2289卷,第407-420页。斯普林格,海德堡(2002)·Zbl 1044.93522
[25] Tiwari,A.:混合动力系统的抽象。FMSD 32(1),57–83(2008)·Zbl 1133.68368号
[26] van Beek,D.A.,Reniers,M.A.,Schiffelers,R.R.H.等人:混合系统组合交换格式的基础。在:Betemad,A.,Bicchi,A.,Buttazzo,G.(编辑)HSCC 2007。LNCS,第4416卷,第587-600页。斯普林格,海德堡(2007)·Zbl 1221.68152号
[27] De Wulf,M.,Doyen,L.,Raskin,J.:几乎尽快语义:从定时模型到定时实现。正式Asp。计算机。17(3),319–341(2005年)·Zbl 1101.68670
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。