{“id”:“https://openalex.org/W2152295777“,”doi“:”https://doi.org/10.1007/978-3-540-75596-8_15“,”title“:”基于观察和口吃不变策略的定时控制“,”display_name“:”基于观察和口吃不变策略的定时控制“,”publication_year“:2007,”publication_date“:”2007-01-01“,”ids“:{”openalex“:”https://openalex.org/W2152295777“,”doi“:”https://doi.org/10.1007/978-3-540-75596-8_15“,”mag“:”2152295777“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-540-75596-8_15“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S106296714“,”display_name“:”计算机科学讲义“,”issn_l“:”0302-9743“,”isn“:[”0302-7743“、”1611-3349“],”is_oa“:false、”is_in_doaj“:false、”is_core“:true、”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“book-series”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”book-chapter“,”type_crossref“:“book-chapter”,”indexed_in“:[“crossref”],“open_access”:{“is_oa”:true,“oa_status”:“green”,“oa_url”:https://hal.science/hal-00218336/document“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5000548831“,”display_name“:”Franck Cassez“,”orcid“:”https://orcid.org/0000-0002-4317-5025“},”机构“:[{”id“:”https://openalex.org/I1294671590“,”display_name“:”国家科学中心“,”ror“:”https://ror.org/02feahw73“,”country_code“:”FR“,”type“:“政府”,”世系“:[”https://openalex.org/I1294671590“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Franck Cassez“,”raw _ afiliation_strings“:[“IRCCyN,CNRS,Nantes,France”],“affiliations”:[{“raw _ ffiliation_string”:“IRCCy N,CNNS,Nante,France“,”institution_ids“:[https://openalex.org/I1294671590“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5024475534“,”display_name“:”Alexandre David“,”orcid“:”https://orcid.org/0009-0000-9422-6315“},”机构“:[{”id“:”https://openalex.org/I891191580“,”display_name“:”奥尔堡大学“,”ror“:”https://ror.org/04m5j1k67“,”country_code“:”DK“,”type“:“教育”,”世系“:[”https://openalex.org/I891191580“]}],”国家“:[”DK“],”is_corresponding“:false,”raw_author_name“:”Alexandre David“,”raw _affiliation_strings“:[“CISS,CS,奥尔堡大学,丹麦”],”affiliations“:[{”raw _affiliation_string“:”CISS,CS,奥尔堡学院,丹麦”,“institution_ids”:[“https://openalex.org/I891191580“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5069362159“,”display_name“:”Kim G.Larsen“,”orcid“:”https://orcid.org/0000-0002-5953-3384“},”机构“:[{”id“:”https://openalex.org/I891191580“,”display_name“:”奥尔堡大学“,”ror“:”https://ror.org/04m5j1k67“,”country_code“:”DK“,”type“:“教育”,”世系“:[”https://openalex.org/I891191580“]}],”国家“:[”DK“],”is_corresponding“:false,”raw_author_name“:”Kim G.Larsen“,”raw _affiliation_strings“:[“CISS,CS,奥尔堡大学,丹麦”],”affiliations“:[{”raw _affiliation_string“:”CISS,CS,奥尔堡学院,丹麦”,“institution_ids”:[“https://openalex.org/I891191580“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5045071943“,”display_name“:”Didier Lime“,”orcid“:”https://orcid.org/0000-0001-9429-7586“},”机构“:[{”id“:”https://openalex.org/I1294671590“,”display_name“:”国家科学中心“,”ror“:”https://ror.org/02feahw73“,”country_code“:”FR“,”type“:“政府”,”世系“:[”https://openalex.org/I1294671590“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Didier Lime“,”raw _affiliation_strings“:[“IRCCyN,CNRS,Nantes,France”],“affiliations”:[{“raw_affiliation _string”:“IRCCy N,CNSS,Nante,France“,”institution_ids“:[https://openalex.org/I1294671590“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5050196522“,”display_name“:”Jean-Fran\u00e7ois Raskin“,”orcid“:”https://orcid.org/0000-0002-3673-1097“},”机构“:[{”id“:”https://openalex.org/I132053463“,”display_name“:”布鲁塞尔自由大学\u00e9“,”ror“:”https://ror.org/01r9htc13“,”country_code“:”BE“,”type“:“教育”,”世系“:[”https://openalex.org/I132053463“]}],”国家“:[”BE“],”is_corresponding“:false,”raw_author_name“:”Jean-Fran\u00e7ois Raskin“,”raw _ afiliation_strings“:[“比利时布鲁塞尔自由大学计算机科学系”],“afliations”:[{“raw_affiliation_string”:“比利时布鲁塞尔大学计算机科学部”机构ID“:[”https://openalex.org/I132053463“]}]}],”institution_assertions“:[],”countries_distiction_count“:3,”institutions_disticent_count”:3,“corresponding_author_ids”:[]、“correspending_institution_ids“:[[],”apc_list“:{“value”:5000,“currency”:“EUR”,“value_usd”:5392,“provenance”:“doaj”},“apc_payed”:null,“fwci”:3.049,“has_fulltext”:false,“cited_b y_count“:36,”引文规范化百分比“:{”value“:0.929141,”is_in_top_1_percent“:false,”is_in_top_10_percennt“:true},”cited_by_percentile_year“:{”min“:92,”max“:93},“biblio”:{“volume”:null,”issue“:null”,“first_page”:“192”,“last_page”:“206”}、“is_retracted”:false、“is_paratext”:false,“primary_topic”:{“id”:“https://openalex.org/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9998,“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.9998,“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/T10791“,”“display_name”:“工业过程中的模型预测控制”,“score”:0.9887,“subfield”:{“id”:“https://openalex.org/subfields/2207“,”display_name“:”控制与系统工程“},”字段“:{”id“:”https://openalex.org/fields/22“,”display_name“:”Engineering“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9843,“subfield”:{“id”:“https://openalex.org/subfields/s702“,”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/keywords/stuttering网站“,”display_name“:”口吃“,”score“:0.8451992},{”id“:”https://openalex.org/keywords/constructional网站“,”display_name“:”Constructive“,”score“:0.7907933},{”id“:”https://openalex.org/keywords/constraint-handling“,”display_name“:”约束处理“,”score“:0.563984},{”id“:”https://openalex.org/keywords/statibility-annalysis(https://openalex.org/keywords/statibility-annalysis)“,”display_name“:”稳定性分析“,”score“:0.540738},{”id“:”https://openalex.org/keywords/static-analysis网站“,”display_name“:”静态分析“,”score“:0.509556},{”id“:”https://openalex.org/keywords/real-time优化“,”display_name“:”实时优化“,”score“:0.508691},{”id“:”https://openalex.org/keywords/optimization网站“,”display_name“:”优化“,”score“:0.507413},{”id“:”https://openalex.org/keywords/perfect信息“,”display_name“:”完美信息“,”score“:0.47151506}],”concepts“:[{”id“:”https://openalex.org/C2781371259,“wikidata”:https://www.wikidata.org/wiki/Q186676“,”display_name“:”口吃“,”level“:2,”score“:0.8451992},{”id“:”https://openalex.org/C2780310539,“wikidata”:https://www.wikidata.org/wiki/Q12547192“,”display_name“:”不完美“,”级别“:2,”分数“:0.8314841},{”id“:”https://openalex.org/C2778701210,“wikidata”:https://www.wikidata.org/wiki/Q28130034“,”display_name“:”Constructive“,”level“:3,”score“:0.7907933},{”id“:”https://openalex.org/C190470478,“wikidata”:https://www.wikidata.org/wiki/Q2370229“,”display_name“:”不变量(物理)“,”level“:2,”score“:0.6555675},{”id“:”https://openalex.org/C153269930,“wikidata”:https://www.wikidata.org/wiki/Q430001“,”display_name“:”Decidability“,”level“:2,”score“:0.6236017},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.568737},{”id“:”https://openalex.org/C123676819,“wikidata”:https://www.wikidata.org/wiki/Q1074338“,”display_name“:”完美信息“,”level“:2,”score“:0.47151506},{”id“:”https://openalex.org/C204241405,“wikidata”:https://www.wikidata.org/wiki/Q461499“,”display_name“:”Transformation(genetics)“,”level“:3,”score“:0.43766952},{”id“:”https://openalex.org/C203479927,“wikidata”:https://www.wikidata.org/wiki/Q5165939“,”display_name“:”控制器(灌溉)“,”level“:2,”score“:0.4300279},{”id“:”https://openalex.org/C2775924081,“wikidata”:https://www.wikidata.org/wiki/Q55608371“,”display_name“:”Control(management)“,”level“:2,”score“:0.41311294},{”id“:”https://openalex.org/C11413529,“wikidata”:https://www.wikidata.org/wiki/Q8366“,”display_name“:”Algorithm“,”level“:1,”score“:0.39997438},{”id“:”https://openalex.org/C47446073,“wikidata”:https://www.wikidata.org/wiki/Q5165890“,”display_name“:”控制理论(社会学)“,”level“:3,”score“:0.37814844},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.34031862},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.30265915},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.26933444},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.16174841},{”id“:”https://openalex.org/C15744967,“wikidata”:https://www.wikidata.org/wiki/Q9418“,”display_name“:”心理学“,”等级“:0,”分数“:0.14425027},{”id“:”https://openalex.org/C144237770,“wikidata”:https://www.wikidata.org/wiki/Q747534网址“,”display_name“:”数理经济学“,”level“:1,”score“:0.09830955},{”id“:”https://openalex.org/C41895202,“wikidata”:https://www.wikidata.org/wiki/Q8162“,”display_name“:”语言学“,”level“:1,”score“:0.078831404},{”id“:”https://openalex.org/C138885662,“wikidata”:https://www.wikidata.org/wiki/Q5891“,”display_name“:”哲学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C55493867,“wikidata”:https://www.wikidata.org/wiki/Q7094“,”display_name“:”生物化学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C185592680,“wikidata”:https://www.wikidata.org/wiki/Q2329“,”display_name“:”Chemistry“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C6557445,“wikidata”:https://www.wikidata.org/wiki/Q173113“,”display_name“:”农学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C37914503,“wikidata”:https://www.wikidata.org/wiki/Q156495网址“,”display_name“:”数学物理“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C104317684,“wikidata”:https://www.wikidata.org/wiki/Q7187“,”display_name“:”Gene“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C138496976,“wikidata”:https://www.wikidata.org/wiki/Q17502“,”display_name“:”发展心理学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C98045186,“wikidata”:https://www.wikidata.org/wiki/Q205663“,”display_name“:”Process(computing)“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C86803240,“wikidata”:https://www.wikidata.org/wiki/Q420“,”display_name“:”Biology“,”level“:0,”score“:0.0}],”mesh“:[],”locations_count“:9,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-540-75596-8_15“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S106296714“,”display_name“:”计算机科学讲义“,”issn_l“:”0302-9743“,”isn“:[”0302-7743“、”1611-3349“],”is_oa“:false、”is_in_doaj“:false、”is_core“:true、”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“book-series”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.science/hal-00218336,“pdf_url”:https://hal.science/hal-00218336/document“,”source“:null,”license“:”other-oa“,”licence_id“:”https://openalex.org/licenses/other-oa网站“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false},{”is_oa“:false,”landing_page_url“:”https://hal.archives-ouvertes.fr/hal-00218336“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”Centre National de la Recherche Scientifique“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.science/hal-00218336/file/atva-07.pdf,“pdf_url”:https://hal.science/hal-00218336/file/atva-07.pdf,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”Centre National de la Recherche Scientifique“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.inia.fr/inia-00363028,“pdf_url”:https://inria.hal.science/inria-00363028/document(英文),“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”Centre National de la Recherche Scientifique“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.archives-ouvertes.fr/hal-00218336/file/atva-07.pdf,“pdf_url”:https://hal.archives-ouvertes.fr/hal-00218336/file/atva-07.pdf,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”Centre National de la Recherche Scientifique“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.inia.fr/inia-00363028/document,“pdf_url”:https://hal.inia.fr/inia-00363028/document,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”Centre National de la Recherche Scientifique“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.archives-ouvertes.fr/hal-00218336/document,“pdf_url”:https://hal.archives-ouvertes.fr/hal-00218336/document,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”Centre National de la Recherche Scientifique“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.inia.fr/inia-00363028/file/atva-07.pdf,“pdf_url”:https://hal.inia.fr/inia-00363028/file/atva-07.pdf,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”Centre National de la Recherche Scientifique“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“https://hal.science/hal-00218336,“pdf_url”:https://hal.science/hal-00218336/document“,”source“:null,”license“:”other-oa“,”licence_id“:”https://openalex.org/licenses/other-oa网站“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false},”sustainable_development_goals“:[],”grants“:[],”datasets“:],”versions“:[https://openalex.org/W1482233117","https://openalex.org/W1554260731","https://openalex.org/W1567707156","https://openalex.org/W1589082502","https://openalex.org/W1596903331","https://openalex.org/W1599995366","https://openalex.org/W1606824214","https://openalex.org/W1772179977","https://openalex.org/W1863150103","https://openalex.org/W1962072139","https://openalex.org/W2069888227","https://openalex.org/W2092977061","https://openalex.org/W2101508170","https://openalex.org/W2106923343","https://openalex.org/W2139101939","https://openalex.org/W2144965436","https://openalex.org/W2157223994","https://openalex.org/W2159433799","https://openalex.org/W2163080024","https://openalex.org/W2398303742“],”related_works“:[”https://openalex.org/W3122057932","https://openalex.org/W3088364074","https://openalex.org/W2900431508","https://openalex.org/W2610227658","https://openalex.org/W2395295193","https://openalex.org/W2360321812","https://openalex.org/W2145796981","https://openalex.org/W2113798763","https://openalex.org/W2050340470","https://openalex.org/W2004230228“]”,“abstract_inverted_index”:{“In”:[0],“this”:[1],“paper”:[2],“we”:[3],“consider”:[4],“the”:[5,21,41,50],“problem”:[6],“of”:[7,33,80],“controller”:[8],“synthesis”:[9],“for”:[10,70],“timed”:[11],“games”:[12,60],“under”:[13],“defectived”:[14],“information”:[15],“新颖”:[16],“到”:[17,23,57],“我们的”:[18],“方法”:[19],“是”:[20],“要求”:[22],“策略:“:[24],”他们“:[25],”应该“:[26],”是“:[27,37],”基于“:[28],”在“:[29,78],”a“:[30,54],”有限“:[31,59],”集合“:[32],”观察“:[34,46],”和“:[35],”必须“:[36],”结巴“:[38],”不变“:[39],”in“:[40],”意义“:[42],”that“:[43],”重复“:[44],”相同“:[45],”将“:[47],”不“:[48],”更改“:[49],”策略。“:[51],“我们”:[52,76],“提供”:[53],“建设性”:[55],“转换”:[56],“等价物”:[58],“with”:[61],“完美”:[62],“信息”:[63],“给予”:[64],“可判定性”:[P5],“as”:[66,68],“well”:[67],“允许”:[69],“an”:[71,81],“有效”:[72],“飞行中”:[73],“向前”:[74],“算法。“:[75],”报告“:[77],”应用程序“:[79],”初始“:[82],”实验“:[83],”实现。“:[84]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2152295777“,”“counts_by_year”:[{“年份”:2022,”“cited_by_count”:1},{“年度”:2021,”“cited_by_cunt”:1},}“年份“:2019,”“cited_by-count”“:2},”“年份”“:2018,”“cuted_by_count”(引用_计数):3},(年份):2017,”“:2013,”cited_by_count“:7},{“年份”:2012,”cited_by_count”:5}],”updated_date“:”2024-09-26T14:22:12.311491“,”创建日期“:”2016-06-24“}