{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,11]]，“日期-时间”：“2024-07-11T02:19:49Z”，“时间戳”：1720664389573}，“引用-计数”：23，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts”：[2018,11]】，“日期时间”：”2018-11-01T00:00Z“，”timestamp“：1541030400000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2018,6,27]]，“date-time”：“2018-06-27T00:00:00Z”，“timestamp”：153005760000}，“content-version”：“vor”，“delay-in-days”：“0”，“URL“http://creativecommons.org\/licenses\/by”\/4.0\/“}]，“出资人”：[{“DOI”：“10.13039\/501100003170”，“名称”：“Knowledge Foundation”，“doi-asserted-by”：“publisher”，“id”：[{“id”:“10.13039\/50110003170”，“id-type”：“doi”，“asserted-by”：“publisher”}]}，{“doi“：”10.13039\/100000001“，”name“：”NSF“，”doi-assert-by“：”publisher“断言者”：“publisher”}]}，{“name”：“ELLIIT”}，}“doi”：“10.13039\/501100003170”，“name”：“Knowledge Foundation”，“doi-asserted-by”：“publisher”，“id”：[{“id”:“10.13029\/5011000003170”，“id-type”：“doi”，“asserted-by”：“publisher”}]}]，“content-domain”：{“domain”:[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“理论计算机科学”]，”published print“：{“date-parts”：[[2018,11]]}，“DOI”：“10.1016\/j.tcs.2018.06.20”，“type”：“journal-article”，“created”：{（日期-部件）：[[2018，8,10]]，“date-time”：“2018-08-10T00:51:57Z”，“timestamp”：1533862317000}，”page“：”75-99“update-policy”：”http://\/dx.DOI.org\/101016\/elsevier_cm_policy“，“source”：“Crossref”，“is-referenced-by-count”：10，“special_numbering”：“C”，“title”：[“混合系统的安全可靠可达性分析”]，“前缀”：“10.1016”，“卷”：“747”，“作者”：[{“ORCID”：“http://\/ORCID.org\/0000-0001-8018-6543”，“authenticated-ORCID”：false，“给定”：“Eugenio”，“family”：“Moggi”，“sequence”：“first”，“affiliation”：[]}，{“ORCID”:“http://\ORCID.org\/000-0002-1879-0763”，“authenticated-ORCID“：false，“given”：“Amin”，“family”：“Farjudian”，“sequence”：“additional”，“affiliation”：[]}，{“ORCID”：“http://\/ORCID.org\/0000-0003-4175-4020”，“authenticated-ORCID”：false，“given”：”Adam“，”family“：”Duracz“，”sequence“：”additional参考“：[{”键“：“10.1016\/j.tcs.2018.06.20_br0010”，“首页”：“1”，“文章标题”：“领域理论”，“卷”：“第三卷”，“作者”：“阿布拉姆斯基”，“年份”：“1994”}，{“问题”：“一”，“关键”：“10.106\/j-tcs.2018.020_br0020”，”doi-asserted-by“：”crossref“，”首页“：”3“，”doi“：”10.1016\/0304-975（94）00202-T“，“article-title”：“混合系统的算法分析”，“volume”：“138”、“author”：“Alur”，“year”：“1995”，“journal-title”：“Theoret.Compute.Sci.”}，{“key”：“10.1016\/j.tcs.2018.06.20_br0030”，“series-title”：《类别、类型和结构：工作计算机科学家的范畴理论导论》，“author:“Asperti”，“年份”：“1991”}、{“key”：”10.1016\/j.tc.2018.06.020_br0040“，”series-ttle“：“范畴理论”，“author”：“Awodey”，“year”：“2010”}，{“key”：“10.1016\/j.tcs.2018.06.20_br0050”，“series-tics”：“TACAS”，“first page”：”192“，“article-title”：“基于反例引导的抽象求精的混合系统验证”，“author”:“Clarke”，“year”：”2003“}”，{”key“：”10.1016\/j.tc.2018.06.020_br0060“，”series-title“：“计算机辅助验证”，“首页”：“154”，“article-title”：“反例引导的抽象求精”，“author”：“Clarke”，“year”：“2000”}，{“key”：“10.1016\/j.tcs.2018.06.20_br0070”，“series-title”：《函数分析教程》，“audor”：《Conway》，“year:“1990”}被插入“：“crossref”，“first page”：“511”，“DOI”：“10.1093\/logcom\/2.4.511”、“article-title”：“抽象解释框架”，“卷”：“2”，“作者”：“Cousot”，“年份”：“1992”，“日志标题”：“J.Logic Compute.”}，{“key”：”10.1016\/J.tcs.2018.06.020_br0090“，”series-title“：”混合系统：计算与控制“，”first page“：”676“，”article-title“：“关于双连续双模拟和稳定性的保持”，“卷”：“第4416卷”，“作者”：“Cuijpers”，“年份”：“2007”}，{“键”：“10.1016\/j.tcs.2018.06.20_br0100”，“doi-asserted-by”：“crossref”，“首页”：“49”，“doi”：“101016\/j.entcs.2004.08.017”，“article-title”：“拓扑（bi-）模拟”，“体积”：“100”，“作家”：“崔ers”，“年份”：“2004”，“journal-title”：“Electron.Notes Theor.Comput.Sci.”}，{“issue”：“01”，“key”：“10.1016\/j.tcs.2018.06.20_br0110”，“doi-asserted-by”：“crossref”，“first page”：”63“，“doi”：“101142\/S0129054107004577”，“article-title“非线性鲁棒离散时间混合系统LTL特性验证中的保证终止”，“volume”:“18”，“author”：“Damm”，“year”：“2007”，“journal-title”：“Internat.J.Found.Comput.Sci.”}，{“issue”：“1”，“key”：“10.1016\/J.tcs.2018.06.20_br0120”，“doi-asserted-by”：“crossref”，“first page”：”32“，”doi“：”10.1006\/inco.1995.1096，“年份”：“1995年”，“新闻标题”：“Inform.and Compute.”}，{“key”：“10.1016\/j.tcs.2018.06.20_br0130”，“series-title”：“计算机科学逻辑”，“首页”：“126”，“文章标题”：“混合系统分析：一盎司现实主义可以保存无限状态”，“author”：“Fr\u00e4nzle”，“year”：“1999”}：“Continuous Lattices and Domains”，“volume”：“vol.93”，“author”：“Gierz”，“year”：“2003”}，{“issue”：“2”，“key”：”10.1016\/j.tcs.2018.06.20_br0150“，”doi-asserted-by“：”crossref“，”first page“：”28“，”doi“：”10.1109\/MCS.2008.931718“，”article-title“：”Hybrid dynamical systems“，”volume“29”，“author”“：”Goebel“，“year:”“2009”，“新闻标题”：“IEEE Control Syst.Mag.”}，{“issue”：“4”，“key”：“10.1016\/j.tcs.2018.06.020_br0160”，“doi-asserted-by”：“crossref”，“first-pages”：“540”，”doi“：”10.1109\/9.664156“，”article-title“：”非线性混合系统的算法分析“，”volume“：“43”，“author”：“Henzinger”，“year”：“1998”，“journal-title”：“IEEE-Trans.Automato.Control”}、{“issue”：“Suppl.C”，“key”：“10.1016\/j.tcs.2018.06.20_br0170”，“doi-asserted-by”：“crossref”，“first page”：“3”，“doi”：“10.106\/j.entcs.2017.08.002”，“article-title”：“领域理论及其分支和相互作用”，“volume”：”333“，“author”：“Keimel”，“year”：“2017”，“journal-title“：”Electron.Notes.Theor.Comput.Sci.“}，{”key“：”10.1016//j.tcs.2018.08 6.020_br0180“，”系列标题“：“一般拓扑”，“author”：“Kelley”，“year”：“1975”}，{“key”：“10.1016\/j.tcs.2018.06.20_br0190”，“series-title”：“系统构造和分析工具和算法国际会议”，“first page”：”200“，“article-title”：”dReach:\u03b4-混合系统可达性分析“，”author“：”Kong“，”year“：”2015“}，“key“：“10.1016\/j.tcs.2018.06.20_br0200”，“series-title”：“第十一届IEEE面向对象实时分布式计算国际研讨会”，“首页”：“363”，“文章-标题”：“网络物理系统：设计挑战”，“作者”：“Lee”，“年份”：“2008”}，{“问题”：“2”，“密钥”：“10.116\/j-tcs.2018.66.20_br0210”，“doi-asserted-by”：“crossref”，“第一页”：”143，“DOI”：“10.1007\/s10817-008-9103-8”，“article-title”：“混合系统的微分动态逻辑”，“volume”：“41”，“author”：“Platzer”，《年份》：“2008”，“journal-title》：“J.Automat.Reason.”}，{“key”：《10.1016\/J.tcs.2018.06.20_br0220》，“series-title”：《第47届设计自动化会议论文集》，“首页”：“731”，“article-title”：“Cyber-physical systems:the next computing revolution”，“author”：“Rajkumar”，“year”：“2010”}，{“key”：“10.1016\/j.tcs.2018.06.20_br0230”，“series-title”：“混合系统国际研讨会：计算与控制”，“首页”：“451”，“article-title”：《动力系统重访：Zeno执行的混合系统》，“au作者”：“Zhang”，“年份”：“2000”}]，“container-title”：[“Theoryal Computer Science”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397518304365？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397518304365？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2021,3,13]]，“date-time”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0304397518304365”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2018,11]]}，，“references-count”：23，“alternative-id”：[“S03043975 18304365”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.tcs.2018.06.020”，“relation”：{}，ISSN“：[”0304-3975“]，”ISSN-type“：[{”value“：”0304-975“，”type“:”print“}]，“subject”：[]，“published”：{“date-parts”：[[2018,11]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“This article is maintained by”}，{“value”：“Safe&robust reachailability analysis of hybrid systems”，“name:”articletite“，”label“：”article Title，{“value”：“https:\/\/doi.org\/101016\/j.tcs.2018.06.020”，“name”：“articlelink”，“label”：“CrossRef doi link to publisher maintained version”}，{”value“：”article“，”name“：”content_type“，”label“：”content-type