乐胖代购免代理版

{"id":"https://openalex.org/W2287932747","doi":"https://doi.org/10.1145/2873056","title":"Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures","display_name":"Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures","publication_year":2016,"publication_date":"2016-05-23","ids":{"openalex":"https://openalex.org/W2287932747","doi":"https://doi.org/10.1145/2873056","mag":"2287932747"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2873056","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01272077/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101498901","display_name":"Xin An","orcid":"https://orcid.org/0000-0003-0901-7493"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN","FR"],"is_corresponding":false,"raw_author_name":"Xin An","raw_affiliation_strings":["CTRL-A - Control for Autonomic computing systems (Centre de Recherche Inria \r\n655, avenue de l'Europe \r\n38334 Saint Ismier Cedex - France)","USTC - University of Science and Technology of China [Hefei] (Hefei, Anhui - China)"],"affiliations":[{"raw_affiliation_string":"CTRL-A - Control for Autonomic computing systems (Centre de Recherche Inria \r\n655, avenue de l'Europe \r\n38334 Saint Ismier Cedex - France)","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"USTC - University of Science and Technology of China [Hefei] (Hefei, Anhui - China)","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109055543","display_name":"\u00c9ric Rutten","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Eric Rutten","raw_affiliation_strings":["CTRL-A - Control for Autonomic computing systems (Centre de Recherche Inria \r\n655, avenue de l'Europe \r\n38334 Saint Ismier Cedex - France)"],"affiliations":[{"raw_affiliation_string":"CTRL-A - Control for Autonomic computing systems (Centre de Recherche Inria \r\n655, avenue de l'Europe \r\n38334 Saint Ismier Cedex - France)","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109056088","display_name":"Jean-Philippe Diguet","orcid":null},"institutions":[{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Philippe Diguet","raw_affiliation_strings":["Lab-STICC_UBS_CACS_MOCS (France)"],"affiliations":[{"raw_affiliation_string":"Lab-STICC_UBS_CACS_MOCS (France)","institution_ids":["https://openalex.org/I161929037"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075127320","display_name":"Abdoulaye Gamati\u00e9","orcid":"https://orcid.org/0000-0002-8326-3257"},"institutions":[{"id":"https://openalex.org/I4210101743","display_name":"Laboratoire d'Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier","ror":"https://ror.org/013yean28","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I208215962","https://openalex.org/I4210101743","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Abdoulaye Gamati\u00e9","raw_affiliation_strings":["CNRS/LIRMM, Montpellier, France"],"affiliations":[{"raw_affiliation_string":"CNRS/LIRMM, Montpellier, France","institution_ids":["https://openalex.org/I4210101743","https://openalex.org/I1294671590"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.884,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":12,"citation_normalized_percentile":{"value":0.809163,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":"15","issue":"3","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.9134245},{"id":"https://openalex.org/keywords/reconfigurable-computing","display_name":"Reconfigurable Computing","score":0.42885792}],"concepts":[{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.9134245},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.78559613},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.70471686},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.63288707},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5959912},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.54695225},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.48059106},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.47945654},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45828074},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.45329046},{"id":"https://openalex.org/C142962650","wikidata":"https://www.wikidata.org/wiki/Q240838","display_name":"Reconfigurable computing","level":3,"score":0.42885792},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3394114},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09991282},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.098524034},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2873056","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01272077","pdf_url":"https://inria.hal.science/hal-01272077/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01272077/document","pdf_url":"https://hal.inria.fr/hal-01272077/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01272077/file/tecs-clean.pdf","pdf_url":"https://hal.inria.fr/hal-01272077/file/tecs-clean.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01272077","pdf_url":"https://inria.hal.science/hal-01272077/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.88,"id":"https://metadata.un.org/sdg/7"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":37,"referenced_works":["https://openalex.org/W1529423158","https://openalex.org/W1547362982","https://openalex.org/W1579700701","https://openalex.org/W1607765501","https://openalex.org/W1979128269","https://openalex.org/W2002358894","https://openalex.org/W2016018881","https://openalex.org/W2021477284","https://openalex.org/W2025631880","https://openalex.org/W2027249925","https://openalex.org/W2039712832","https://openalex.org/W2047540651","https://openalex.org/W2059057465","https://openalex.org/W2060153299","https://openalex.org/W2066521614","https://openalex.org/W2073218284","https://openalex.org/W2097576837","https://openalex.org/W2099633337","https://openalex.org/W2103716365","https://openalex.org/W2103942479","https://openalex.org/W2104063146","https://openalex.org/W2104491791","https://openalex.org/W2106334754","https://openalex.org/W2113806879","https://openalex.org/W2120894407","https://openalex.org/W2128838486","https://openalex.org/W2130876362","https://openalex.org/W2149236729","https://openalex.org/W2151516647","https://openalex.org/W2152446226","https://openalex.org/W2170539425","https://openalex.org/W2174179302","https://openalex.org/W2202376658","https://openalex.org/W2470258099","https://openalex.org/W4234231478","https://openalex.org/W4255281607","https://openalex.org/W4298377210"],"related_works":["https://openalex.org/W4249632163","https://openalex.org/W2941434274","https://openalex.org/W2808484818","https://openalex.org/W2797161794","https://openalex.org/W2340647897","https://openalex.org/W2135053878","https://openalex.org/W2103526090","https://openalex.org/W2096938998","https://openalex.org/W1760305469","https://openalex.org/W1574948540"],"abstract_inverted_index":{"Dynamically":[0],"reconfigurable":[1,38,93],"hardware":[2,99],"has":[3],"been":[4],"identified":[5],"as":[6,77,103,105],"a":[7,45,52,90],"promising":[8],"solution":[9],"for":[10,36,89],"the":[11,56],"design":[12,24,51,85],"of":[13,55,92],"energy-efficient":[14],"embedded":[15],"systems.":[16,39],"However,":[17],"its":[18],"adoption":[19],"is":[20,31],"limited":[21],"by":[22,82],"costly":[23],"effort,":[25],"including":[26],"verification":[27],"and":[28,101],"validation,":[29],"which":[30],"even":[32],"more":[33],"complex":[34],"than":[35],"nondynamically":[37],"In":[40],"this":[41],"article,":[42],"we":[43,64],"propose":[44],"tool-supported":[46],"formal":[47],"method":[48],"to":[49,68,79],"automatically":[50],"correct-by-construction":[53],"control":[54,107],"reconfiguration.":[57],"By":[58],"representing":[59],"system":[60],"behaviors":[61],"with":[62],"automata,":[63],"exploit":[65],"automated":[66],"algorithms":[67],"synthesize":[69],"controllers":[70],"that":[71],"safely":[72],"enforce":[73],"reconfiguration":[74],"strategies":[75],"formulated":[76],"properties":[78],"be":[80],"satisfied":[81],"control.":[83],"We":[84,109],"generic":[86],"modeling":[87],"patterns":[88],"class":[91],"architectures,":[94],"taking":[95],"into":[96],"account":[97],"both":[98],"architecture":[100],"applications,":[102],"well":[104],"relevant":[106],"objectives.":[108],"validate":[110],"our":[111],"approach":[112],"on":[113,118],"two":[114],"case":[115],"studies":[116],"implemented":[117],"FPGAs.":[119]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2287932747","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3}],"updated_date":"2024-12-09T09:48:52.271982","created_date":"2016-06-24"}