{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,9,4]]，“日期-时间”：“2023-09-04T19:58:33Z”，“时间戳”：1693857513165}，“引用-计数”：50，“发布者”：“爱思唯尔BV”，“问题”：“17”，“许可证”：[{“开始”：{:“日期-零件”：[2009,1]]，“时间”：”2009-01-01T00:00:00Z“，“时间戳”：123076800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}]，“content-domain”：{“域”：[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[IFAC Proceedings Volumes“]，”published-print“：{”date-parts“：[2009]}，”DOI“：”10.3182 \/20090916-3-es-3003.00065“，”类型“：“journal-article”，“created”：{“date-parts”：[[2010,9,1]]，“date-time”：“2010-09-01T19:25:09Z”，“timestamp”：1283369109000}，“page”：“376-385”，“update-policy”：”http://\/dx.doi.org\/10.10016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：9，“title”：[“Towards Computational Hybrid System Semantics for time-Based Block Diagrams”]，“前缀”：“10.3182”，“卷”：“42”，“作者”：[{“给定”：“彼得·J”，“家族”：“莫斯特曼”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“贾斯特纳”，“家庭”：“赞德”，“顺序”：“附加”，“附属关系”：[]}ckla“，”sequence“：”additional“，”affiliation“：[]}]，“member”：“78”，“reference”：[{“key”：“10.3182\/20090916-3-ES-3003.00065_bib1”，“series-title”：“关键基础设施建模与仿真未来方向研讨会\u2013最终报告。技术报告”，“author”：“Adam”，“year”：“2008”}，{“密钥”：“103182\/2000916-3-ES-3003.00065_bib2”，“series-title”：“第十一届离散事件系统分析与优化国际会议论文集”，“第一页”：“331”，“文章标题”：“混合系统的算法分析”，“作者”：“Alur”，“年份”：“1994”}，{“关键”：“10.3182\/20090916-3-ES-3003.00065_bib3”，“系列标题”：《计算机控制系统：理论与设计》，“作者“：“\u00c5str\u00f6m”，“year”：“1984”}，{“issue”：“1”，“key”：“10.3182\/20090916-3-ES-3003.00065_bib4”，“doi-asserted-by”：“crossref”，”first page“：”64“，”doi“：”10.1109\/JPROC.2002.805826“，”article-title“：”同步语言十二年后“，”volume“：“91”，”author“：”Benveniste“，”year“：”2003“，”journal-title“：”IEEE会议记录“}，{”密钥“：“10.3182\/20090916-3-ES-3003.00065_bib5”，“series-title”：“键合图的物理系统理论。博士论文”，“author”：“Breedveld”，“year”：“1984”}，{“key”：“10.3182\/20090916-2-3-ES-3003.00065_bib”，“series-title”：”高指数微分代数方程的最大加权匹配。博士论文“，”author：“Bujakiewicz”，“year”：“1994”}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib7”，“unstructured”：“Caspi，P.和Pouzet，M.（1997）.同步流函数的共同迭代表征.技术报告07，VERIMAG.”}、{“key”：”10.3182\/20090916-3-ES-3003.00065_bib 8“，”series-title“：”《控制手册》，“第一页”：“99”，“article-title”：“从物理原理建模”，“author”：“Cellier”，“year”：“1996”}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib9”，“series-title”：“使用数字计算机进行组合连续离散系统仿真：技术和工具”，博士论文，“author”：“Chellier”：“Denckla，B.和Mosterman，P.J.（2006）。作为haskell句法扩展的框图。在意大利热那亚多范式建模研讨会论文集：概念和工具。”}，{“key”：“10.3182\/2000916-3-ES-3003.00065_bi11”，“doi asserted by”：“crossref”，“unstructured”：“Denckla，B.和Mosterman，P.J.（2008）.框图中基于流和状态的层次结构语义。在第17届IFAC世界大会的会议记录中。韩国首尔。“，”DOI“：”10.3182\/20080706-5-KR-1001.01344“}，{”key“：”103182\/20090916-3-ES-3003.00065_bib12“，”unstructured“：”Engstrom，E.和Krueger，J.（2000）。元模型的工作从未完成：使用DOME构建和发展领域特定工具。摘自IEEE计算机辅助控制系统设计国际研讨会论文集，83-88。阿拉斯加州安克雷奇。“}，{”key“：”10.3182\/20090916-3-ES-3003.00065_bib13“，”series-title“：”Energie und Entropie:Eine Einf\u00fchrung in die Thermodynamik“，”author“：”Falk“，”year“：”1976“}”，{“issue”：“4”，“key”：“10.3182\20090916-3-ES-3003.0065_bin14”，“doi-asserted-by”：“crossref”，”doi“：”10.1145\/643120.643124“，“article-title”：“EIA中的元建模\/CDIF元模型和元模型“，“volume”：“12”，“author”：“Flatscher”，“year”：“2002”，“journal-title”：“ACM Transactions on Modeling and Computer Simulation”}，{“key”：《10.3182\/20090916-3-ES-3003.00065_bib15》，“doi-asserted-by”：“crossref”，“unstructured”：“Friedman，J.和Ghidella，J.（2006）.将基于模型的设计用于汽车系统工程-电动车窗示例的需求分析。《SAE 2006年世界大会暨展览会论文集》，CD-ROM:2006-01-1217。密歇根州底特律“，”DOI“：”10.4271\/2006-01-1217“}，{”key“：”10.3182\/20090916-3-ES-3003.00065_bib16“，”首页“：”345“，”article-title“：”动力系统数值分析“，”volume“：“2”，”author“：”Guckenheimer“，”year“：”2002“}”，{“key”：“10.3182\20090916-3-ES-3003.00065_bib 17”，“series-title”：“”高度自信的医疗设备：21世纪医疗保健的网络物理系统。技术报告“，”作者“：”高可信度软件和系统协调小组“，”年份“：”2009“}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib18”，“series-title”：“嵌入式系统基于模型的设计”，“article-title”：”领域特定建模语言的语义“，”author“：”Jackson“，”年“：”2009}，”问题“：”3“，”key“：”10.3182\/20090916-3-ES-3003.00065_bib19“，”doi-asserted-by“：”crossref“，”first page“：”404“，”doi“：”10.1145\/3916.3988“，”article-title“：”Virtual time“，“volume”：“7”，“author”：“Jefferson”，“year”：“1985”，“journal-title”：“ACM Trans。程序。语言系统。“}，{”key“：”10.3182\/20090916-3-ES-3003.00065_bib20“，”series-title“：”Simulink\u00ae用于电子系统设计的投资回报。技术报告“，”author“：”Jones“，”year“：”2005“}、{”key“：10.3182\/20090916-3-ES-3003.00065_bib22“，“非结构化”：“Lee，E.A.和Sangiovanni-Vincentelli，A.（1996）。标记信号模型\u2013是用于比较计算模型的指称框架的初步版本。技术报告UCB \/ERL M96\/33，加利福尼亚大学伯克利分校。}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib23”，“series-title”：“模型转换的分类法。摘自《图形与模型转换国际研讨会论文集》。《理论计算机科学电子笔记》，“首页”：“125”，“作者”：“男性”，“年份”：“2006”}，{“密钥”：“10.3182\/20090916-3-ES-3003.00065_bib24”，“doi-asserted-by”：“crossref”，“非结构化”：“Mirtich，B.（2000）。Timewarp刚体模拟。第27届计算机图形和交互技术年会（ACM SIGGRAPH）会议记录，193-200年。纽约州纽约市。“，”DOI“：”10.1145\/344779.344866“}，{”issue“：”1“，”key“：”10.3182\/20090916-3-ES-3003.00065_bib25“，”首页“：”35“，”article-title“：”HyBrSim\u2013a混合键合图建模与仿真环境“，”volume“：10.3182\/20090916-3-ES-3003.00065_bib26“，”doi-asserted-by“：”crossref“，”first page“：”908“，”doi“：”10.1115\/12712237“，”article-title“：”On the normal component of centralized friction collection sequences“，”volume“：“74”，“author”：“Mosterman”，“year”：“2007”，“journal-title”：“ASME journal of Applied Mechanics”}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib27“，“非结构化”：“Mosterman，P.J.和Biswas，G.（1996）。动态物理系统模型的验证。美国机械工程师协会会议记录\u203296，707-714。佐治亚州亚特兰大“}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib28”，“unstructured”：“Mosterman，P.J.，Bouldin，D.，and Rucinski，A.（2008）。同行评审的在线计算建模框架。载于CDEN 2008 Conference，CD-ROM.Halifax，Canada。”}，“key“：”10.3182\20090916-3-ES-3003.00065_bip29“，“unsructured“：”Mosterman，P.J.、Otter，M.和Elmqvist，H.（1998年）。使用modelica将petri网建模为混合系统的局部约束方程。南海夏季模拟会议，314-319。内华达州里诺。“}，{”issue“：”9“，”key“：”10.3182\/20090916-3-ES-3003.00065_bib30“，”doi-asserted-by“：”crossref“，”first-page“：”433“，”doi“：”10.1177\/003754970405052“，”article-title“：”计算机自动多参数建模：简介“，”volume“：“80”，“author”：“Mosterman”，“year”：“2004”，“journal-title”：“”仿真：国际建模与仿真学会学报”}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib31”，“series-title”：“嵌入式系统基于模型的设计”，“年份”：“2009”}、{“密钥”：“103182\/2000916-3-ES-3003.00065_bib22”，“系列-标题”：“应用的语义：正式介绍”，“作者”：“尼尔森”，“年”：“1992年“}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib33”，“unstructured”：“Nikoukhah，R.（2007）。模型中的混合动力学：所有事件都应被视为同步的。在基于等式的面向对象语言和工具的第一届国际研讨会论文集（EOOLT 2007），37-48。德国柏林。“}，{”key“：”10.3182\/20090916-3-ES-3003.00065_bib34“，”doi-asserted-by“：”crossref“，”unstructured“：”Otter，M.，Remelhe，M.A.P.，Engell，S.，and Mosterman，P.J.（2000）.物理系统和离散控制器的混合模型.at-Automatisierungstechnik.“，“doi”：“10.1524\/auto.2000.48.9.426”}，}“issue”：“2”，“key”：“”10.3182\/2000916-3-ES-3003.00065_bib35“，”doi断言者“：”crossref“，”首页“：”137“，”doi“：”10.1145\/232807.22809“，”文章标题“：”微分代数模型中的状态事件位置“，”卷“：”6“，”作者“：”Park“，”年份“：”1996“，”期刊标题“：”ACM建模与计算机仿真汇刊“}，｛”key“：”10.3182\/20090916-3-ES-3003.00065_bib36“，“series-title”：“工程系统的分析与设计”，“author”：“Paynter”，“year”：“1961”}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib 37”，“series-title”：”DASSL描述：微分代数系统求解器。技术报告SAND82-8637“，”author“：”Petzold“，”year“：”1982“}，”{“密钥”：“”10.3182\/2000916-3-ES-3003.00065_bib38”，“系列标题”：“函数式编程语言的实现”，“作者”：“Peyton Jones”，“年份”：“1987”｝，｛“密钥”：“10.3182\/2000916-3-ES-3003.00065_bib39”，“系列标题”：“单边接触的多体动力学”，“作者”：“Pfeiffer”，“年份”：“1996”｝，｛“密钥”：“10.3182\/2000916-3-ES-3003.00065_bib40”，“非结构化“：”波特，B.（2004）。使用mathworks工具套件开发do-178b认证代码。在ERAU\/FAA软件工具论坛中。佛罗里达州代托纳海滩。“}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib41”，“unstructured”：“President’s Information Technology Advisory Committee（2005）。计算科学：确保美国的竞争力。技术报告，美国总统执行办公室。”}，}“key:”10.3182\/20090916-3-ES-3003.00065_bib 42“，”series-title“：”在Haskell中建模异步流。技术报告94.3”，“作者”：“Reekie”，“年份”：“1994”}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib43”，“doi-asserted-by”：“crossref”，“unstructured”：“雷梅尔，M.A.P.（2001）。使用元建模和分层形式主义转换对用户定义的形式主义进行模拟和可视化支持。2001年IEEE控制应用国际会议论文集，750-755。墨西哥城，墨西哥。“，”DOI“：”10.1109\/CCA.2001.973958“}，{”key“：”10.3182\/20090916-3-ES-3003.00065_bib44“，”DOI-asserted-by“：”crossref“，”first page“：“243”，“DOI”：“10.1017\/S0962492900002282”，“article-title”：“哈密顿问题辛积分器：概述”，“volume”：“1”，“author”：“Sanz-Serna”，“year”：“1992”，“journal-title“：”数字学报“}，{”键“：”10.3182\/20090916-3-ES-3003.00065_bib45“，“非结构化”：“SC-167，R.（1992）。Do178b，机载系统和设备认证中的软件考虑因素。“}，{”key“：”10.3182\/20090916-3-ES-3003.00065_bib46“，”unstructured“：”半导体工业协会（1999）。国际半导体技术路线图：1999版\u2013设计。技术报告，德克萨斯州奥斯汀Sematech“}10.1137\/S003614459933425X“，”article-title“：”在matlab和simulink中求解index-1 daes“，”volume“：”41“，”author“：”Shampine“，”year“：”1999“，”journal title“：“SIAM Rev.”}，{“key”：“10.3182\/20090916-3-ES-3003.00065_bib48”，“series-title”：“Using simulink\u00ae”，“author”：“simulink \u00aae”，“year”：“2008”}0916-3-ES-3003.00065_bib49“，”series-title”：“战术飞机-F\/A-22和JSF采办计划及其对战术飞机现代化的影响。技术报告GAO-05-519T“，”author“：”Sullivan“，”year“：”2005“}，{”issue“：”3“，”key“：”10.3182\/20090916-3-ES-3003.00065_bib50“，”doi-asserted-by“：”crossref“，“first page”：“14”，“doi”：“10.1145\/981009.981013”，“article-title”：“编程语言语义描述框架概览”，“volume”：”39“，“author”：“Zhang”，“year”：“2004”，“journal-title“：”ACM SIGPLAN Notices“}]，“container-title”：[“IFAC Proceedings Volumes”]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1474667015307916？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“”https:\/\/api.elsevier.com/content\/article\/PII:S1474667015307916？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2022,10,25]]，“date-time”：“2022-10-25T02:16:36Z”，“timestamp”：1666664196000}，“score”：1，“resource”：{primary“：{”URL“https:\\/linkinghub.elsevier.com//retrieve\/pii\/S147466 7015307916“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2009]]}，”references-count“：50，”journal-issue“：{“issue”：“17”，“published-print”：{“date-parts”：[[2009年]]}}，“alternative-id”：[“S147667015307916”]，“URL”：“http://\/dx.doi.org\/10.3182\/20090916-3-es-3003.00065”，“relation”：{}，，“ISSN”：[”1474-6670“]，“ISSN-type”：[{“值”：“1474-6670”，“类型”：“打印”}]，“主题”：[]，“published“：{“date-parts”：[[2009]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“This article is maintained by”}，{“value”：“Towards Computational Hybrid System Semantics for Time-Based Block Diagrams”，“name:”articletite“，”label“：”article Title“}value“：”https:\/\/doi.org\/10.3182\/20090916-3-ES-3003.00065“，”name“：”articlelink“，”label“：”CrossRef doi link to publisher maintained version“}，”{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，{“value”：“Copyright\u00a9 2009 IFAC.Published by Elsevier Ltd.保留所有权利。”，“name:”Copyright“，”标签“：”Copyright