斯坦利·巴克;塞尔吉·博戈莫洛夫;Johnson,Taylor T。 HYST:混合自动机模型的源代码转换和翻译工具。 (英语) 兹比尔1364.68244 第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。128-133 (2015). 引用于三文件 MSC公司: 65年第68季度 形式语言和自动机 第68季度第60季度 规范和验证(程序逻辑、模型检查等) 关键词:形式化方法;混合系统;可达性 软件:PHAVer公司;SMT-LIB公司;查龙;HyDI公司;海斯特;HyCreate公司;太空探索技术公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人,in:第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)。128-133(2015年;Zbl 1364.68244) 全文: 内政部 参考文献: [1] Bliudze,S.和Furic,S.。涉及行为抽象的混合系统的操作语义。Modelica会议(瑞典隆德,2014)。 [2] Broman,D.、Greenberg,L.、Lee,E.A.、Masin,M.、Tripakis,S.和Wetter,M.对杂交组合标准的要求。《混合系统:计算与控制》(HSCC)(西雅图,2015)·Zbl 1366.68352号 [3] Cassandras,C.G.离散事件系统,建模与性能分析。欧文,1993年。 [4] Cellier,F.E.和Kofman,E.连续系统仿真。斯普林格,2006年·Zbl 1112.93004号 [5] Fishman,G.S.离散事件仿真:建模、编程和分析。斯普林格-Verlag,2001年·Zbl 0973.93001号 [6] Floros,X.、Cellier,F.E.和Kofman,E.离散时间或状态?dassl和qss的比较研究-进行中的论文-。在基于等式的面向对象建模语言和工具(EOOLT)研讨会上(奥斯陆,2010),Link“{}oping University。 [7] Kofman,E.和Junco,S.量化状态系统:用于连续系统仿真的DEVS方法。国际建模与仿真学会学报18,1(2001),2 8。 [8] Lee,E.A.使用离散事件建模并发实时流程。《软件工程年鉴》7(1999),25 45。 [9] Lee,E.A.离散和连续物理现象的构造模型。IEEE接入2,1(2014),1 25。 [10] Lee,E.A.和Tripakis,S.Modal在托勒密的模型。第三届基于等式的面向对象建模语言和工具国际研讨会(EOOLT)(挪威奥斯陆,2010),第47卷,Link“{}oping oping University Electronic Press,Link”{}University,pp.11 21。 [11] Lee,E.A.和Zheng,H.混合系统的操作语义。《混合系统:计算与控制》(HSCC)(苏黎世,2005年),M.Morari和L.Thiele,Eds.,第LNCS 3414卷,Springer-Verlag,第25 53页·Zbl 1078.93535号 [12] Lee,E.A.和Zheng,H。利用同步语言原则进行嵌入式系统的异构建模和设计。EMSOFT(奥地利萨尔茨堡,2007年),ACM,第114123页。 [13] Maler,O.、Manna,Z.和Pnueli,A.从定时系统到混合系统。《实时:理论与实践》,REX研讨会(1992年),施普林格出版社,第447 484页。 [14] Matsikoudis,E.和Lee,E.A.关于严格因果函数的固定点。在《时间系统形式建模和分析国际会议》(FORMATS)(阿根廷布宜诺斯艾利斯,2013年),第LNCS 8053卷,Springer-Verlag,第183 197页·兹伯利1318.68114 [15] Migoni,G.、Bortolotto,M.、Kofman,E.和Cellier,F.E.,sti的基于线性隐式量化的集成方法。普通di.erential方程。模拟建模实践与理论35(2013),118 136。 [16] Modelisar联盟和Modelica协会。用于模型交换和联合仿真的功能模拟接口。报告版本2.0,2014年7月25日。https://www.fmi-standard.org/downloads。 [17] 托勒密二世的系统设计、建模和仿真。Ptolemy.org,加州伯克利,2014年。 [18] Savicks,V.、Butler,M.和Colley,J.通过FMI共同模拟事件B和连续模型。《夏季模拟多会议》(SummerSim)(圣地亚哥,2014),第259-256页。 [19] Zeigler,B.P.和Lee,J.S.《量化系统理论:DEVS/HLA分布式仿真环境的形式基础》。在SPIE仿真科学赋能技术会议(奥兰多,1998),第3369卷,第49 58页。 [20] Zeigler,B.P.、Praehofer,H.和Kim,T.G.《建模与仿真理论》,第二版,学术出版社,2000年。302 ·Zbl 1011.93031号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。