{“id”：“https://openalex.org/W4238034907“，”doi“：”https://doi.org/10.109/emsoft.2013.6658592“，”title“：”Time-aware relational abstrations for hybrid systems“，”display_name“：”Time-aware relateal abstractions for hybid systems”，“publication_year”：2013，“publiction_date”：“2013-09-01”，“ids”：{“openalex”：“https://openalex.org/W4238034907“，”doi“：”https://doi.org/10.1109/emsoft.2013.66658592“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/emsoft.2013.6658592“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://www.csl.sri.com/users/tiwari/papers/emsoft13b.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：”https://orcid.org/0000-0003-1029-9547“｝，”机构“：[]，”国家“：[]，”is_correresponsing“：false，”raw_author_name“：”Sergio Mover“，”raw_affiation_strings“：[”FBK，Trento“]，”附属机构“：[｛”raw_affiation_string“：”FBK，Trento“，”机构id“：[]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _ afiliation_strings“：[”FBK，Trento“]，”从属关系“：[{”raw_ afiliation _string“：”FBK、Trento”，“institution_ids”：[]}，{“author_position”：“middle”，“author”：{“id”https://openalex.org/A5086308451“，”display_name“：”Ashish Tiwari“，”orcid“：”https://orcid.org/0000-0002-5153-2686“｝，”机构“：[｛”id“：”https://openalex.org/I1298353152“，”display_name“：”SRI International“，”ror“：”https://ror.org/05s570m15“，”country_code“：”US“，”type“：“非营利”，”世系“：[”https://openalex.org/I1298353152“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Ashish Tiwari“，”raw _ afiliation_strings“：[“CSL，SRI International”]，”affiliations“：[{”raw_ afiliation _string“：”CSL，SCRI International“，”institution_ids“：[https://openalex.org/I1298353152“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Stefano Tonetta“，”raw _ afiliation_strings“：[”FBK，Trento“]，”从属关系“：[{”raw_ afiliation _string“：”FBK、Trento ng_author_id“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：2.557，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：12，”citation_normalized_percentile“：{”value“：0.784537，”is_in_top_1_percent“：false，”is.in_top_10_percennt“：false}，”citted_by_percentile_year“：{”min“：86，”max“：87}，“biblio“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9978，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9978，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/关键字/抽象“，”display_name“：”抽象“，”分数“：0.87725204}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.578943}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.518013}，{”id“：”https://openalex.org/keywords/hard-real-time系统“，”display_name“：”硬实时系统“，”score“：0.500164}，{”id“：”https://openalex.org/keywords/continuous-variable网站“，”display_name“：”连续变量“，”score“：0.4667535}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.44169205}，{”id“：”https://openalex.org/keywords/网络物理系统“，”display_name“：”网络物理系统“，”score“：0.42589062}]，”concepts“：[{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661（网址：https://www.wikidata.org/wiki/Q673661）“，”display_name“：”抽象“，”级别“：2，”分数“：0.87725204}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.79417336}，{”id“：”https://openalex.org/C50897621，“wikidata”：https://www.wikidata.org/wiki/Q2665508“，”display_name“：”混合动力系统“，”level“：2，”score“：0.655815705｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5750211}，{”id“：”https://openalex.org/C99436015，“wikidata”：https://www.wikidata.org/wiki/Q1722436“，”display_name“：”关系演算“，”level“：4，”score“：0.57411474}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.5415154}，{”id“：”https://openalex.org/C25343380，“wikidata”：https://www.wikidata.org/wiki/Q277521“，”display_name“：”关系（数据库）“，”级别“：2，”分数“：0.51648545}，{”id“：”https://openalex.org/C2983394010，“wikidata”：https://www.wikidata.org/wiki/Q19885330“，”display_name“：”连续变量“，”level“：2，”score“：0.4667535}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.45040897}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4495628}，{”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.44169205}，{”id“：”https://openalex.org/C179768478，“wikidata”：https://www.wikidata.org/wiki/Q1120057“，”display_name“：”网络物理系统“，”level“：2，”score“：0.42589062}，{”id“：”https://openalex.org/C182365436，“wikidata”：https://www.wikidata.org/wiki/Q50701“，”display_name“：”变量（数学）“，”level“：2，”score“：0.41926083}，{”id“：”https://openalex.org/C5655090，“wikidata”：https://www.wikidata.org/wiki/Q192588“，”display_name“：”关系数据库“，”level“：2，”score“：0.36925378}，{”id“：”https://openalex.org/C40207289，“wikidata”：https://www.wikidata.org/wiki/Q755662“，”display_name“：”关系模型“，”level“：3，”score“：0.3145644}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.28289002}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491网址“，”display_name“：”数据挖掘“，”level“：1，”score“：0.187163｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.13381949}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.08761832}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/emsoft.2013.6658592“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.685.4400，“pdf_url”：http://www.csl.sri.com/users/tiwari/papers/emsoft13b.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.685.4400，“pdf_url”：http://www.csl.sri.com/users/tiwari/papers/emsoft13b.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：31，“referrenced_works”：https://openalex.org/W10653132","https://openalex.org/W1481397690","https://openalex.org/W1495266209","https://openalex.org/W1552280794","https://openalex.org/W1566132409","https://openalex.org/W1569146343","https://openalex.org/W1607353007","https://openalex.org/W1708780353","https://openalex.org/W1787074469","https://openalex.org/W1965965053","https://openalex.org/W1967091946","https://openalex.org/W1977444293","https://openalex.org/W1986264093","https://openalex.org/W1994348879","https://openalex.org/W1994475353","https://openalex.org/W1998778815","https://openalex.org/W2011495999","https://openalex.org/W2026612342","https://openalex.org/W2033455284","https://openalex.org/W2056549180","https://openalex.org/W2060095702","https://openalex.org/W2060369194","https://openalex.org/W2094530979","https://openalex.org/W2119907432","https://openalex.org/W2131395649","https://openalex.org/W2140129938","https://openalex.org/W2144010346","https://openalex.org/W2147340401","https://openalex.org/W2176215692","https://openalex.org/W2259853674","https://openalex.org/W81626549“]，”related_works“：[”https://openalex.org/W60748262","https://openalex.org/W2991080411","https://openalex.org/W2378275298","https://openalex.org/W2243465518","https://openalex.org/W2150575980","https://openalex.org/W2089781037","https://openalex.org/W2085988990","https://openalex.org/W2056340443","https://openalex.org/W2005835473","https://openalex.org/W1516375613“]，”abstract_inverted_index“：{”Hybrid“：[0]，”Systems“：[1]，”model“：[2]，”both“：[3]，”discrete“：[4,17]，”switch“：[5]，”and“：[6,9112]，”continuous“：[7,38,60118]，”dynamics“：+8,39]，”are“：[10,70100]，”appropriate“：[11]，”to“：[12130]，”representation“：[13]，”embedded“：[14]，”Systems“：[15]，其中“：[16]，”控制器“：[18]，”交互“：[19]，”与“：[20,62]，”a“：[21,27,50,73128132]，”物理“：[22]，”植物。“：[23]，”关系“：[24]，”抽象“：[25135151]，”是“：[26,47,81]，”新“：[28150]，”方法“：[29]，”用于“：[30,96136]，”验证“：[31137]，”混合“：[32,45]，”系统。“：[33143]，”In“：[34]，”relational“：[35,98134]，”abstration“：[36]，”the“：[37,44,55,59,6710911317146149158]，”In“：[40]，”each“：[41]，”location“：[42]，”of“：[43,58,66141148]，”system“：[C6,80]，”substracted“：[48]，”by“：[49]，”binary“:[51]，”responsion“：[52]，”that“：[53,69]，”elated“：[54]，”当前“：[56]，”值“：[57]，”变量“：[61,68111]，”全部“：[63]，”未来“：[64]，”值“：[65]，”可达“：[71]，”之后“：[72]，”时间“：[74114]，”消逝“：[75]，”（连续）“：[76]，”转换。“：[77]，“The”：[78]，“abstract”：[79,92]，“an”：[82]，“infine-state”：[83]，“system”，“：[84]，“which”：[85157]，“can”：[86]，“be”：[87]，“verified”：[88]，“using”：[89]，“k-induction”：[90]，“or”：[91]，“interprelation”。“：[93]，“现有”：[94]，“技术”：[95160]，“计算”：[97]，“抽象”：[99121]，“时间无关：”：[101]，“它们”：[102]，“做”：[103]，“不”：[104]，“构造”：[105]，“任何”：[106]，“关系”：[107]，“介于”：[108]，“状态”：[110]，“消逝”：[115]，“期间”：[116]，“进化。“：[119]，”Time-agnostic“：[120]，”cannot“：[122]，”verify“：[123]，”timing“：[124]，”properties。“：[125]，“We”：[126144]，“present”：[127]，“technology”：[129]，“compute”：131]，“time-aware”：[133]，“（timing-related）”：[138]，“safety”：[139]，“properties”：[140]，“cyber-physical”：%142]，“show”：[145]，“effectivity”：[147]，“on”：[152156]，“several”：[153]，“case”：[154]，“studies”：[155]，“period”：[159]，“fail”。“：[161]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4238034907“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：1}，{“年度”：2018，”“引用_by_cunt”：2}，}“年份“：2017，”“援引_by_cont”：1}，”“年份”“：2016，”“引述_by_cust”：4}，“年份”（year）：2015，”“引述_by-count”“：3}，“创建日期”：“2022-05-12”}