×
斯坦利·巴克;波戈莫洛夫，谢尔盖;泰勒·T·约翰逊。

HYST：混合自动机模型的源代码转换和翻译工具。 （英语） Zbl 1364.68244号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3433-4）。128-133（2015年）。

引用于三文件

MSC公司：

65年第68季度 形式语言和自动机
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

形式化方法;混合系统;可达性

软件：

PHAVer公司;SMT-LIB语言;查龙;HyDI公司;海斯特;HyCreate公司;SpaceEx公司
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，第114页，第123页。
[13] Maler，O.、Manna，Z.和Pnueli，A.从定时系统到混合系统。《实时：理论与实践》，REX Workshop（1992），Springer-Verlag，第447 484页。
[14] Matsikoudis，E.和Lee，E.A.关于严格因果函数的固定点。在《时间系统形式建模和分析国际会议》（FORMATS）（阿根廷布宜诺斯艾利斯，2013年），第LNCS 8053卷，Springer-Verlag，第183 197页·Zbl 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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。