{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,8,5]]，“日期时间”：“2024-08-05T07:17:23Z”，“时间戳”：1722842243856}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”value“9783540418665”，“type”：“print”}，{“value”：“9783540453512”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2001]]}，”DOI“：”10.1007\/3-540-45351-2_8“，”type“：”book-capter“，”created“：”{“date-part”：[2007,13]]，“date-time”：“2007-11-13T18:27:49 Z“，”时间戳“：1194978469000}，”页面“：”49-62“，”源“：“Crossref”，“被计数引用”：134，“title”：[“加权时间自动机中的最优路径”]，“prefix”：“10.1007”，“author”：[{“given”：“Rajeev”，“family”：“Alur”，“sequence”：“first”，“affiliation”：[]｝，{“given”：“Salvatore”，“family”：“La Torre”，“sequence”：“additional”，“affiliation”：[]｝，{“given”：“George J.”，“family”：“Pappas”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2001,3,21]]}，“reference”：[{“key”：“8_CR1”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，《首页》：“181”，‘doi’：“10.1007\/3-540-56922-7_16”，“volume-title”：《第五届计算机辅助验证国际会议议事录》，CAV \u201993“，”作者“：”R。Alur”，“年份”：“1993年”，“非结构化”：“R.Alur、C.Courcoubetis和T.A.Henzinger。计算实时系统中的累积延迟。过程中。第五届计算机辅助验证国际会议，CAV\u201993，LNCS 697，第181\u2013193页，1993年。“}，{”key“：”8_CR2“，”doi-asserted-by“：”publisher“，”first page“：“183”，”doi“：”10.1016\/0304-3975（94）90010-8“，”volume“：。小茴香。时间自动机理论。理论计算机科学，126:183\u20132351994。”，“期刊标题”：“理论计算机科学”}，{“key”：“8_CR3”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“publisher”，“first page”：”19“，“doi”：“10.1007\/3-540-48983-5_6”，“volume-title”：《第二届混合系统国际研讨会论文集：计算与控制》，“author”：“E。Asarin，“年份”：“1999年”，“非结构化”：“E.Asarin和O.Maler。尽快：时间自动机的时间最优控制。过程中。第二届混合系统国际研讨会：计算与控制，LNCS 1569，第19\u201330页，1999。“}，{“key”：“8_CR4”，“series-title”：“Lect Notes Compute Sci”，“first page”：第1页，“volume-title”：《第二届国际混合系统研讨会议事录》，“author”：“E.Asarin”，“year”：“1995”，“unstructured”：“E.Asarin，O.Maler，and A。普努利。离散和定时系统的符号控制器综合。过程中。第二届混合系统国际研讨会，LNCS 999，第1\u201320页，1995年。教堂。逻辑、算术和自动机。过程中。国际数学大会，第23\u201335页，1962年。亚纳卡基斯。实时系统中的最小和最大延迟问题。过程中。第三届计算机辅助验证国际会议，LNCS 575，第399\u20134091991页。“｝，｛”键：“8_CR8”，“doi断言者”：“出版商”，“第一页”：“37”，“doi”：“10.1016\0166-218X（81）90026-3”，“卷”：“3”，“作者”：“R.M.Karp”，“年份”：“1981”，“非结构化”：“R.M.Karp和J.R。奥林。参数最短路径算法及其在循环人员配置中的应用。离散应用数学。，3:37\u2013451981.”，“期刊标题”：“离散应用数学。“}，{”issue“：”3“，”key“：”8_CR9“，”doi-asserted-by“：”publisher“，”first page“：“349”，”doi“：”10.1016\/S0005-1098（98）00193-9“，“volume”：“35”，“author”：“J.Lygeros”，“year”：“1999”，“unstructured”：“J·Lygeros，C.Tomlin，and S.S.S.Sastry。混合系统可达性规范的控制器。Automatica，35（3）：349\u20133701999年3月。”，“journal al标题“：”Automatica“}，{“key”：“8_CR10”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“首页”：“229”，“doi”：“10.1007\/3-540-59042-0_76”，“volume-title”：《第十二届计算机科学理论专题讨论会议事录》，STACS\u201995，“author”：“O.Maler”，“year”：“1995”，“unstructured”：“O.Maler，A.Pnueli，and J。锡法基斯。关于定时系统离散控制器的综合。过程中。第十二届计算机科学理论方面年度研讨会，STACS\u201995，LNCS 900，第229\u2013242页，1995年series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”publisher“，”first page“：”407“，”doi“：”10.1007\/3-540-46430-1_34“，”volume-title“：“Proc。第三届混合系统国际研讨会：计算与控制，HSCC\u201900”，“作者”：“O.Shakernia”，“年份”：“2000”，“非结构化”：“O.Shakerinia，G.J.Pappas和S.Sastry。一类线性系统的可判定控制器综合。过程中。第三届混合系统国际研讨会：计算与控制，HSCC\u201900，LNCS 1790，第407页\u20134202000}，｛“键”：“8_CR13”，“系列标题”：“Lect Notes Comput Sci”，“doi断言”：“crossref”，“首页”：“1”，“doi”：“10.1007\/3-540-60255-5”，“卷标题”：“第十二届计算机科学理论方面年度研讨会，STACS\u201995”，“作者”：“W.托马斯”，“年份”：“1995”，“非结构化”：“W.托马斯”。关于无限对策中策略的综合。Ernst W.Mayr和Claude Puech编辑，第12届计算机科学理论方面年度研讨会，STACS\u201995，LNCS 900，第1\u201313页，1995年。“}，{“key”：“8_CR14”，“unstructured”：“H.Wong-Toi.线性混合自动机控制器的合成。第36届IEEE CDC会议记录，加利福尼亚州圣地亚哥，1997年12月。”}，}“issue”：“2”，“key“8_CR15“，”doi-asserted-by“：”publisher“，”first page“：”205“，“doi”：“10.1002\/net.323010206”，“volume”：“21”，“author”：“N.E.Young”，“year”：“1991”，“unstructured”：“N.E.Young，R.Tarjan，and J.Orlin。更快的参数最短路径和最小平衡算法。Networks，21（2）：205\u20132211991。“，”journal-title“：”Networks“}]，”container-title”：[“计算机科学课堂讲稿”，“混合系统：计算与控制”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-45351-2_8”，“content-type”：“未指定”，“内容版本”：“vor”，“intended-application”：“相似性检查“}]，“存放”：{“日期部分”：[[2018,10,4]]，“日期时间”：“2018-10-04T14:04:06Z”，“时间戳”：1538661846000}，“分数”：1，“资源”：{-“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/3-540-45351-2_8”}，“ISBN”：[“9783540418665”，“978354453512”]，“references-count”：15，“URL“：”http://\/dx.doi.org\/10.1007\/3-540-45351-2_8“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”value“：”0302-7743“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[2001]]}}}}