×

网络物理系统。 (英语。俄文原件) Zbl 1381.93009号

赛博。系统。分析。 53,第6号,821-834(2017); 翻译自Kibern。修女。分析。2017年第6期,第3-19页(2017年)。
摘要:对网络物理系统理论进行了回顾性分析,并对其现状进行了描述。研究了混合自动机理论中出现的一些问题。考虑了一个半群转移系统,它是将标记转移系统相互作用的代数理论推广到网络物理系统的基础。

MSC公司:

93A10号 一般系统
70年第68季度 语言代数理论与自动机
99年第68季度 计算理论

软件:

高超声速
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] E.A.Lee,“网络物理系统:设计挑战”,摘自:Proc。第11届IEEE国际研讨会。《面向对象实时分布式计算》(ISORC)(2008年5月6日,美国佛罗里达州奥兰多)(2008),第363-369页·Zbl 1380.93005号
[2] 变革中的领导:竞争世界中的信息技术研发。2007.网址:http://www.nird.gov/Pcast/reports/Pcast-NIT-FINAL.pdf。
[3] 石俊杰、万俊杰、严海宏和索海宏,“网络物理系统的调查”,摘自:Proc。国际无线通信和信号处理大会(中国南京,2011年11月9日至11日)。(2011). 网址:http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.397.4496&rep=rep1&type=pdf。
[4] 网络物理系统:当前趋势的形势分析。技术和挑战。2012.网址:http://events.energetics.com/NIST-CPSWorkshop/pdfs/CPS_Situation_Analysis.pdf。
[5] V.Gunes、S.Peter、T.Givargis和F.Vahid,“网络物理系统中概念、应用和挑战的调查”,《互联网和信息系统KSII交易》,第8卷,第12期,4242-4268(2014)。
[6] 网络物理系统创新基础。车间总结报告。2013.网址:www.nist.gov/sites/default/files/documents/el/CPS-WorkshopReport-1-30-13-Final.pdf。
[7] 创新基础。21世纪网络物理系统的战略研发机会。2016.网址:http://bookprem.com/gd-ebooks/B00U37SUBG。
[8] 《欧洲网络物理路线图与战略》(2015)。网址:www.cyphers.eu·Zbl 1069.68067号
[9] sCorPiuS-project.eu:欧洲制造业网络物理系统路线图D1.1。《网络物理系统最新进展》(2015年)。网址:http://www.scorpius.drupal.Pulsartecnalia.com/files/documents/scorpius_D1.1_SotA_v1.2.pdf。
[10] N.Wiener,《动物与机器中的控制论或控制与通信》,纽约威利出版社(1948年)·Zbl 0155.27901号
[11] S.N.Vasilyev和A.I.Malikov,“切换混杂系统稳定性的一些结果”,载于:连续介质力学的专题问题,第1卷,23-81(2011)。
[12] A.I.Kukhtenko,“复杂系统控制理论的主要问题”,《复杂控制系统》。1, 3-40 (1968).
[13] A.I.Kukhtenko,“关于系统数学理论的公理化构建”,《控制论和计算机工程:复杂控制系统》,Iss。31, 3-25 (1976).
[14] A.I.Kukhtenko,“不变性理论形成的主要阶段。基础工作。1”,《自动机》,第2期,第3-13页(1984年);“调查主题的延伸。2”,《自动化》,第2期,3-14页(1985年);“非线性不变系统。3”,《自动机》,第6期,3-14页(1985年)。
[15] A.I.Kukhtenko,《控制论和基础科学》(俄语),基辅Naukova Dumka出版社(1987年)。
[16] V.M.Kuntsevich,《脉冲自调节和极端自动控制系统》(俄语),基辅Tekhnika(1966年)。
[17] A.G.Ivakhnenko,复杂系统模型自组织的归纳方法[俄语],Naukova Dumka,基辅(1982)。
[18] A.G.Ivakhnenko和J.A.Mueller,预测模型的自组织[俄语],基辅Tekhnika(1985)。
[19] A.G.Ivakhnenko和V.S.Stepashko,建模的噪声稳定性[俄语],Naukova Dumka,基辅(1985)·Zbl 0549.68099号
[20] N.P.Buslenko,《复杂系统建模(俄语)》,瑙卡,莫斯科(1968年)。
[21] V.M.Glushkov(编辑),《连续和离散系统建模软件》(俄语),莫斯科瑙卡(1975年)。
[22] O.Maler、Z.Manna和A.Pnueli,“从定时到混合系统。实时:实践中的理论”,LNCS,第600卷,447-484(1991)。
[23] T.A.Henzinger,“混合自动机理论”,摘自:Proc。IEEE交响乐团。《计算机科学中的逻辑》(LICS 96)(1996年),第278-292页·Zbl 0959.68073号
[24] N.Lynch、R.Segala和F.Vaandrager,“混合I/O自动机”,《信息与计算》,第185卷,第页。1, 105-157 (2003). ·Zbl 1069.68067号 ·doi:10.1016/S0890-5401(03)00067-1
[25] J.F.Raskin,“混合自动机导论”,载于:《网络和嵌入式控制系统手册》,纽约州施普林格(2005),第491-518页。
[26] R.Grossman(编辑),《符号计算:科学计算的应用》,SIAM,费城(1989)·Zbl 0713.68004号
[27] A.Miola和M.Temperini(编辑),《符号计算系统设计进展》,施普林格,维恩(1997)。
[28] M.Abadi、L.Lamport和P.Wolper,“反应系统的可实现和不可实现规范”,LNCS,第372卷,1-17(1989)。
[29] L.Aceto、A.Ingolfsdottir、K.G.Larsen和J.Srba,《反应系统:建模、规范和验证》,剑桥大学出版社,剑桥(2007)·Zbl 1141.68043号 ·doi:10.1017/CBO9780511814105
[30] E.Yu。Pariyskaya,“连续离散系统模拟和分析的数学模型和方法的比较分析”,微分方程和控制过程,电子杂志,第1期(1997年)。网址:http://www.math.spbu.ru/diffjournal/ru/numbers/1997.1/issue.html。
[31] T.Henzinger和P.T.Ho,“高科技:康奈尔混合技术工具。混合系统。II”,LNCS,第999卷,265-293(1995)。
[32] N.Saeedloei和G.Gupta,“基于逻辑的CPS建模和验证”,ACM SIGBED Review,第8卷,第。2, 31-34 (2011). ·doi:10.1145/2000367.2000374
[33] S.Coleri、M.Ergen和T.K.J.Koo,“使用混合自动机建模的传感器网络寿命分析”,摘自:Proc。第一届ACM无线传感器网络和应用国际研讨会(WSNA'02)(2002年9月28日,美国佐治亚州亚特兰大)(2002),第98-104页。
[34] P.Ye、E.Entcheva、R.Grosu和S.A.Smolka,“使用混合自动机对可兴奋细胞进行有效建模”,IET系统生物学,第2卷,第2期。1, 24-32 (2008). ·doi:10.1049/iet-syb:20070001
[35] H.Abbas、K.J.Jang和R.Mangharam,《基准:可兴奋心脏组织的非线性混合自动机模型》。网址:http://repository.upenn.edu/mlab_papers/90。
[36] A.Cimatti、S.Mover和M.Sessa,“从电气交换网络到混合自动机(扩展版)”,LNCS,第9995卷,第164-181页(2016年)·Zbl 1427.94116号
[37] J.Niggemann和V.Lohweg,“关于网络物理生产系统的诊断:现状和研究”,载于《议程程序》。第29届AAAI人工智能会议(AAAI’15)(德克萨斯州奥斯汀,2015年1月25日至30日)(2015年),第4119-4126页。
[38] B.Balaji、M.A.Al Faruque、N.Dutt、R.Gupta和Y.Agarwal,“模型、抽象和架构:网络物理系统中缺失的链接”,摘自:Proc。第52届设计自动化年会(DAC’15)(加利福尼亚州旧金山,2015年6月7日至11日),纽约州ACM(2015)。网址:dx.doi.org/https://doi.org/10.1145/2744769.2747936。
[39] P.H.Nguen、S.Ali和T.Yue,“基于模型的网络物理系统安全工程”,《信息与软件技术杂志》,第83卷,第。C、 116-135(2017)。
[40] E.A.Lee和S.A.Seshia,《嵌入式系统简介:网络物理系统方法》,第2版,麻省理工学院出版社,剑桥,马萨诸塞州(2017)·Zbl 1371.68001号
[41] S.Wolfram,《数学:用计算机做数学的系统》,Addison-Wesley,马萨诸塞州波士顿(1988)·Zbl 0671.65002号
[42] R.Alur、C.Courcoubetis和D.L.Dill,“实时系统的模型检查”,摘自:Proc。第五届IEEE研讨会“计算机科学中的逻辑”(宾夕法尼亚州费城)(1990年),第414-425页·兹比尔0769.68088
[43] A.Olivero和S.Yovine,《Kronos:验证实时系统的工具》。用户指南和参考手册,VERIMAG,格勒诺布尔(1992)。
[44] G.Booch、J.Rumbaugh和I.Jacobson,《统一建模语言用户指南》,Addison-Wesley,波士顿,马萨诸塞州(1998)。
[45] M.Tiller(编辑),《Modelica物理建模导论》,《Kluwer工程与计算机科学国际丛书》,第615卷,Kluwer,Boston-Dordrecht-Longon(2001)。
[46] L.P.Carloni、R.Passerone、A.Pinto和A.L.Sangiovanni Vincentelli,“混合系统设计的语言和工具”,《电子设计自动化的基础和趋势》,第1卷,Iss。1/2, 1-193 (2005). ·Zbl 1107.68385号 ·doi:10.1561/100000001
[47] J.Lygeros,《混合系统讲义》,剑桥大学,剑桥(2003)。网址:https://fenix.tecnico.ulisboa.pt/downloadFile/3779579688470/lygeros.pdf。
[48] H.S.L.Lee、M.Althoff、S.Hoelldampf、M.Olbrich和E.Barke,“非线性模拟电路可达性分析混合系统模型的自动生成”,摘自:Proc。第20届亚洲和南太平洋设计自动化会议(ASP-DAC-2015),IEEE,千叶/东京(2015),第725-730页。
[49] V.V.Skobelev,“没有隐藏跃迁的属性跃迁系统结构分析”,《控制论与系统分析》,第53卷,第2期,165-175页(2017年)·Zbl 1380.93005号 ·doi:10.1007/s10559-017-9916-8
[50] A.A.Letichevsky,“交互代数理论和网络物理系统”,《Conrtol和信息学问题》,第5期,第37-55页(2017年)。
[51] 莱蒂切夫斯基,A。;Kudryavtsev,VB(编辑);罗森博格,IG(编辑),行为变换代数及其应用,第207、241-272号(2005),多德雷赫特·doi:10.1007/1-4020-3817-8_10
[52] A.A.Letichevsky,“插入建模”,USiM,第6期,1-21页(2012年)。
[53] A.A.Letichevsky、O.A.Letychevskyi、V.S.Peschanenko和T.Weigert,“大型系统的插入建模和符号验证”,LNCS,卷9369,3-18(2015)。
[54] A.A.Letichevsky、O.O.Letychevskyi、V.S.Peschanenko和A.A.Huba,“在插入建模系统中生成符号痕迹”,《控制论与系统分析》,第51卷,第1期,第7-19页(2015年)·Zbl 1327.93050号 ·doi:10.1007/s10559-015-9691-3
[55] 建议Z.151,用户需求符号(URN),J.:国际电信联盟(2008)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。