×
伊万诺夫，列夫根

抽象连续时间系统全局时间互模拟的局部特征。 （英文） 兹比尔1475.68209

Hasuo，Ichiro（编辑），计算机科学中的代数方法。2016年4月2日至3日，第13届IFIP WG 1.3国际研讨会，CMCS 2016，与ETAPS 2016在荷兰埃因霍温共同举办。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9608, 216-234 (2016).
摘要：我们考虑了连续时间动力系统状态的时间互模拟的两个概念：全局时间互模拟和局部时间互模拟。与标记转移系统的状态互模拟关系的概念类似，标记转移系统需要存在从这种关系中的状态开始的匹配转移，局部时间互模拟需要存在足够短的（局部定义的）匹配轨迹。全局时间互模拟需要存在任意长的匹配轨迹。对于连续时间系统，全局互模拟的概念比局部互模拟的含义更强，并且其定义具有非局部特征。本文给出了全局时间互模拟的局部特征。更具体地说，我们考虑了一大类抽象动力系统，称为非确定性完备马尔可夫系统（NCMS），它涵盖了各种具体的连续和离散的连续（混合）动力模型，并引入了时间互模拟的概念，其中，时间互模拟是一种所谓的可拓测度。这种观念具有地方性。我们证明了它等价于NCMS状态的全局时间互模拟。用这种方法，我们给出了全局时间互模拟概念的局部特征。
关于整个系列，请参见[Zbl 1337.68011号].

引用于4文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

互模拟;计算机物理系统;动力系统;连续时间;局部特征化

软件：

科科斯;SCADE公司;科学实验室
PDF格式BibTeX公司 XML格式引用
\textit{I.Ivanov}，莱克特。注释计算。科学。9608，216--234（2016；Zbl 1475.68209）
全文： 内政部 哈尔

参考文献：

[1] Milner，R.：沟通与并发。Prentice-Hall公司，上鞍河（1989）·Zbl 0683.68008号
[2] Park，D.：无限序列上的并发性和自动机。摘自：Deussen，P.（编辑）《理论计算机科学》。LNCS，第104卷，第167-183页。斯普林格，海德堡（1981）·doi:10.1007/BFb0017309
[3] Sangiorgi，D.：相互模拟和相互还原导论。剑桥大学出版社，纽约（2011）·Zbl 1252.68008号 ·doi:10.1017/CBO9780511777110
[4] Sangiorgi，D.：关于互模拟和共归纳的起源。ACM事务处理。程序。语言系统。31(4), 15:1–15:41 (2009) ·doi:10.1145/1516507.1516510
[5] Sangiorgi，D.：关于互模拟证明方法。数学。结构。计算。科学。8(5), 447–479 (1998) ·Zbl 0916.68057号 ·doi:10.1017/S0960129598002527
[6] Shi，J.，Wan，J.、Yan，H.、Suo，H.：网络物理系统调查。在：2011年国际无线通信和信号处理会议（WCSP），第1-6页。IEEE（2011）·doi:10.1010/WCSP.2011.6096958
[7] Baheti，R.，Gill，H.：网络物理系统。影响控制技术。12, 161–166 (2011)
[8] Lee，E.，Seshia，S.：嵌入式系统简介：网络物理系统方法。Lulu.com，伯克利（2013）·Zbl 1371.68001号
[9] Sifakis，J.：严格设计网络物理系统。2012年嵌入式计算机系统国际会议（SAMOS），第319页。IEEE（2012）·doi:10.1109/SAMOS.2012.6404193
[10] Bouissou，O.，Chapoutot，A.：Simulink仿真引擎的操作语义。摘自：第13届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器、工具和理论国际会议记录，第129-138页。ACM（2012年）·doi:10.1145/2248418.2248437
[11] Simulink-仿真和基于模型的设计。http://www.mathworks.com/products/simulink
[12] SCADE套件。http://www.esterel-technologies.com/products/scade-suite
[13] Campbell，S.、Chancelier，J.P.、Nikoukhah，R.：Scilab/Sicos与ScicosLab 4.4的建模与仿真。施普林格，纽约（2005）·Zbl 1181.65005号
[14] Feiler，P.，Gluch，D.，Hudak，J.：架构分析与设计语言（AADL）：简介。技术报告CMU/SEI-2006-TN-011，卡内基梅隆大学（2006）
[15] Alur，R.，Henzinger，T.A.，Lafferierre，G.，Pappas，G.J.：混合系统的离散抽象。程序。IEEE 88（7），971–984（2000）·数字对象标识代码：10.1109/5.871304
[16] Pappas，G.：双相似线性系统。Automatica 39（12），2035-2047（2003）·Zbl 1045.93033号 ·doi:10.1016/j.automatica.2003.07.003
[17] van der Schaft，A.：通过互模拟实现动力系统的等效性。IEEE传输。自动。控制49（12），2160–2172（2004）·Zbl 1365.93212号 ·doi:10.1109/TAC.2004.838497
[18] van der Schaft，A.：混合动力系统的等效性。2004年7月5日至9日，比利时鲁汶，第16届网络与系统数学理论国际研讨会论文集·Zbl 1365.93212号
[19] 朱利叶斯（Julius，A.）、范德沙夫特（van der Schaft，A.）：在行为环境中，相互模拟是一致的。在：第44届IEEE决策与控制会议和2005年欧洲控制会议记录，西班牙塞维利亚，2005年12月12-15日·doi:10.10109/CDC.2005.1582257
[20] Pola，G.，van der Schaft，A.，Di Benedetto，M.：通过互模拟切换线性系统的等价性。《国际期刊控制》79（1），74–92（2006）·Zbl 1122.93319号 ·doi:10.1080/00207170500380839
[21] Schmuck，A.、Raisch，J.：行为环境中多时间尺度的模拟和互模拟（2014）。CoRR abs/1402.3484公司
[22] Cuijpers，P.J.L.，Reniers，M.A.：迷失在翻译中：混合时间流与实时转换。收录：Egerstedt，M.，Mishra，B.（编辑）HSCC 2008。LNCS，第4981卷，第116-129页。斯普林格，海德堡（2008）·Zbl 1143.68480号 ·doi:10.1007/978-3-540-78929-1_9
[23] Polderman，J.，Willems，J.：数学系统理论导论：行为方法。柏林施普林格（1997）·兹伯利0940.93002
[24] Haghverdi，E.，Tabuada，P.，Pappas，G.：统一离散和连续系统的互模拟关系。摘自：MTNS2002国际研讨会论文集，南方（2002）·Zbl 1270.68215号
[25] Haghverdi，E.，Tabuada，P.，Pappas，G.：动力、控制和混合系统的互模拟关系。理论。计算。科学。342(2–3), 229–261 (2005) ·Zbl 1077.68062号 ·doi:10.1016/j.tcs.2005.03.045
[26] Davoren，J.M.，Tabuada，P.：关于一般流动系统的模拟和相互模拟。收录人：Bemporad，A.、Bicchi，A.、Buttazzo，G.（编辑）HSCC 2007。LNCS，第4416卷，第145-158页。斯普林格，海德堡（2007）·Zbl 1221.93113号 ·doi:10.1007/978-3-540-71493-4_14
[27] Tripakis，S.，Yovine，S.：使用时间抽象互模拟分析时间系统。形式方法系统。设计。18(1), 25–68 (2001) ·Zbl 0971.68096号 ·doi:10.1023/A:1008734703554
[28] Ivanov，I.：非确定性马尔科夫系统全局实时轨迹存在的标准。Commun公司。计算。信息科学。（CCIS）347111-130（2012）·doi:10.1007/978-3-642-35737-47
[29] Ivanov，I.：关于具有部分输入和输出的抽象系统的表示。收件人：Gopal，T.V.，Agrawal，M.，Li，A.，Cooper，S.B.（编辑）TAMC 2014。LNCS，第8402卷，第104-123页。施普林格，海德堡（2014）·Zbl 1405.68119号 ·doi:10.1007/978-3-319-06089-78
[30] Ivanov，I.，Nikitchenko，M.，Abraham，U.：关于抽象连续时间动力系统的可判定形式理论。Commun公司。计算。信息科学。（CCIS）469，78–99（2014）·doi:10.1007/978-3-319-13206-8_4
[31] Ivanov，I.：工程系统的抽象块形式主义。摘自：CEUR研讨会记录，ICTERI，第1000卷，第448-463页。CEUR-WS.org（2013）
[32] Ivanov，I.：关于抽象时间系统总输入-输出对的存在性。Commun公司。计算。信息科学。（CCIS）412308–331（2013）·doi:10.1007/978-3-319-03998-5_16
[33] Hájek，O.：过程理论，I.捷克斯洛伐克数学。J.17，159–199（1967）·Zbl 0155.50702号
[34] Hájek，O.：过程理论，II。捷克斯洛伐克数学。J.17（3），372–398（1967）·Zbl 0155.50702号
[35] Alur，R.，Courcoubetis，C.，Dill，D.：密集实时模型检查。Inf.计算。104, 2–34 (1993) ·Zbl 0783.68076号 ·doi:10.1006/inco.1993.1024
[36] Liberzon，D.：切换系统和控制（系统和控制：基础和应用）。Birkhauser Boston Inc.，波士顿（2003）·Zbl 1036.93001号 ·doi:10.1007/978-1-4612-0017-8
[37] Alur，R.，Courcoubetis，C.，Halbwachs，N.，Henzinger，T.，Ho，P.H.，Nicollin，X.，Olivero，A.，Sifakis，J.，Yovine，S.：混合系统的算法分析。理论。计算。科学。138(1), 3–34 (1995) ·Zbl 0874.68206号 ·文件编号：10.1016/0304-3975（94）00202-T
[38] Goebel，R.、Sanfelice，R.G.、Teel，A.：混合动力系统。IEEE控制系统。29(2), 28–93 (2009) ·Zbl 1395.93001号 ·doi:10.1109/MCS.2008.931718
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。