{"id":"https://openalex.org/W4404520434","doi":"https://doi.org/10.1109/tac.2024.3502314","title":"Remote State Estimation and Blum\u2013Shub\u2013Smale Machines\u2014A Computability Analysis With Applications to Virtual Twinning","display_name":"Remote State Estimation and Blum\u2013Shub\u2013Smale Machines\u2014A Computability Analysis With Applications to Virtual Twinning","publication_year":2024,"publication_date":"2024-11-19","ids":{"openalex":"https://openalex.org/W4404520434","doi":"https://doi.org/10.1109/tac.2024.3502314"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2024.3502314","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tac.2024.3502314","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1109/tac.2024.3502314","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000732219","display_name":"Holger Boche","orcid":"https://orcid.org/0000-0002-8375-8946"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Holger Boche","raw_affiliation_strings":["Chair of Theoretical Information Technology, Technical University of Munich, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8375-8946","affiliations":[{"raw_affiliation_string":"Chair of Theoretical Information Technology, Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032791971","display_name":"Yannik B\u00f6ck","orcid":"https://orcid.org/0000-0001-7640-6988"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Yannik B\u00f6ck","raw_affiliation_strings":["Chair of Theoretical Information Technology, Technical University of Munich, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7640-6988","affiliations":[{"raw_affiliation_string":"Chair of Theoretical Information Technology, Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041594348","display_name":"Christian Deppe","orcid":"https://orcid.org/0000-0002-2265-4887"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Deppe","raw_affiliation_strings":["Institute for Communications Technology, Technische Universit&#x00E4;t Braunschweig, Braunschweig, Germany","Institute for Communications Technology, Technische Universit&#x00E1;t Braunschweig, Braunschweig, Germany"],"raw_orcid":"https://orcid.org/0000-0002-2265-4887","affiliations":[{"raw_affiliation_string":"Institute for Communications Technology, Technische Universit&#x00E4;t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Institute for Communications Technology, Technische Universit&#x00E1;t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023936439","display_name":"Frank H. P. Fitzek","orcid":"https://orcid.org/0000-0001-8469-9573"},"institutions":[{"id":"https://openalex.org/I4210093367","display_name":"Deutsche Telekom (Germany)","ror":"https://ror.org/00m8prc86","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210093367"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Frank H. P. Fitzek","raw_affiliation_strings":["Deutsche Telekom Chair of Communication Networks, BMBF Research Hub 6G-life, Cluster of Excellence &#x201C;Centre for Tactile Internet with Human-in-the-Loop&#x201D; (CeTI), 5G Lab Germany, Technische Universit&#x00E4;t Dresden, Dresden, Germany","Deutsche Telekom Chair of Communication Networks, the BMBF Research Hub 6G-life, the Cluster of Excellence &#x201C;Centre for Tactile Internet with Human-in-the-Loop&#x201D; (CeTI), and the 5G Lab Germany, Technische Universit&#x00E4;t Dresden, Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0001-8469-9573","affiliations":[{"raw_affiliation_string":"Deutsche Telekom Chair of Communication Networks, BMBF Research Hub 6G-life, Cluster of Excellence &#x201C;Centre for Tactile Internet with Human-in-the-Loop&#x201D; (CeTI), 5G Lab Germany, Technische Universit&#x00E4;t Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I4210093367"]},{"raw_affiliation_string":"Deutsche Telekom Chair of Communication Networks, the BMBF Research Hub 6G-life, the Cluster of Excellence &#x201C;Centre for Tactile Internet with Human-in-the-Loop&#x201D; (CeTI), and the 5G Lab Germany, Technische Universit&#x00E4;t Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I4210093367"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000732219"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":1.6306,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86024767,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"70","issue":"5","first_page":"3165","last_page":"3180"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.734499990940094,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.734499990940094,"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.7287999987602234,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.7083826065063477},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6008794903755188},{"id":"https://openalex.org/keywords/crystal-twinning","display_name":"Crystal twinning","score":0.5582942962646484},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5411325097084045},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38810789585113525},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3519129157066345}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.7083826065063477},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6008794903755188},{"id":"https://openalex.org/C6840138","wikidata":"https://www.wikidata.org/wiki/Q109856","display_name":"Crystal twinning","level":3,"score":0.5582942962646484},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5411325097084045},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38810789585113525},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3519129157066345},{"id":"https://openalex.org/C191897082","wikidata":"https://www.wikidata.org/wiki/Q11467","display_name":"Metallurgy","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C87976508","wikidata":"https://www.wikidata.org/wiki/Q1498213","display_name":"Microstructure","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tac.2024.3502314","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tac.2024.3502314","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1762956","is_oa":false,"landing_page_url":"https://mediatum.ub.tum.de/1762956","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/tac.2024.3502314","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tac.2024.3502314","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1933938177","display_name":null,"funder_award_id":"EXC 2050/1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2334127266","display_name":null,"funder_award_id":"STA 864/9-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3380831066","display_name":null,"funder_award_id":"BO 1734/20-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3841782451","display_name":null,"funder_award_id":"BO 1734/35-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7441992534","display_name":null,"funder_award_id":"DE1915/2-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1485161910","https://openalex.org/W1544103096","https://openalex.org/W1976455285","https://openalex.org/W1988217708","https://openalex.org/W1995875735","https://openalex.org/W2005201105","https://openalex.org/W2022731279","https://openalex.org/W2023778211","https://openalex.org/W2028074152","https://openalex.org/W2095216716","https://openalex.org/W2104866660","https://openalex.org/W2126160338","https://openalex.org/W2133209493","https://openalex.org/W2155024125","https://openalex.org/W2156216606","https://openalex.org/W2159535726","https://openalex.org/W2163356902","https://openalex.org/W2164684058","https://openalex.org/W2461236129","https://openalex.org/W2989682596","https://openalex.org/W3021198511","https://openalex.org/W3205700614","https://openalex.org/W3207722348","https://openalex.org/W3216689810","https://openalex.org/W4210357113","https://openalex.org/W4214946348","https://openalex.org/W4220730257","https://openalex.org/W4226148504","https://openalex.org/W4232277851","https://openalex.org/W4233121052","https://openalex.org/W4298936804","https://openalex.org/W4323530307","https://openalex.org/W4382365940","https://openalex.org/W4385194807","https://openalex.org/W6609912839"],"related_works":["https://openalex.org/W1493431192","https://openalex.org/W1513594922","https://openalex.org/W284763200","https://openalex.org/W2006487241","https://openalex.org/W2135757558","https://openalex.org/W3198758544","https://openalex.org/W1989646587","https://openalex.org/W1587257582","https://openalex.org/W2374327657","https://openalex.org/W4385737837"],"abstract_inverted_index":{"This":[0],"article":[1,188],"analyzes":[2],"aspects":[3],"of":[4,7,36,57,70,79,95,103,122,129,137,158,181,184,200,210,214,224],"the":[5,51,68,76,86,111,127,131,139,155,167,208,222],"problem":[6],"<italic":[8,14,22,104,196],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[9,15,23,105,197],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">remote":[10],"state":[11,109],"estimation</i>":[12],"(RSE)":[13],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">via":[16],"noisy":[17],"communication":[18,140],"channels</i>":[19],"for":[20,50,193],"their":[21],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Blum\u2013Shub\u2013Smale</i>":[24],"(BSS)":[25],"computability,":[26],"motivated":[27],"by":[28],"an":[29],"exemplary":[30],"application":[31],"to":[32,40,126,153],"a":[33,47,91,100,108,191,194],"formal":[34,52,77,101,164],"model":[35,94,168,180],"virtual":[37,112],"twinning":[38],"subject":[39],"stringent":[41],"integrity":[42,123],"requirements.":[43],"Computability":[44],"theory":[45,64],"provides":[46],"unique":[48],"framework":[49],"and":[53,59,72,144,227],"mathematically":[54],"rigorous":[55],"analysis":[56],"algorithms":[58],"computing":[60,138],"machines.":[61,170],"Therefore,":[62],"computability":[63],"is":[65,82,124,135,151],"essential":[66],"in":[67,207,221],"domain":[69],"safety-":[71],"life-critical":[73],"technology,":[74],"where":[75,110],"verification":[78],"automated":[80],"systems":[81,97,226],"necessary.":[83],"Based":[84],"on":[85],"RSE":[87],"problem,":[88],"we":[89,161],"establish":[90],"simple":[92],"mathematical":[93],"virtual-twin":[96],"that":[98],"entails":[99],"notion":[102,121],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">integrity</i>":[106],"(i.e.,":[107],"entity":[113],"accurately":[114],"mirrors":[115],"its":[116,163],"physical":[117],"counterpart).":[118],"The":[119],"model's":[120],"related":[125],"question":[128],"whether":[130],"system":[132],"under":[133],"consideration":[134],"capable":[136],"channel's":[141],"zero-error":[142,146],"capacity":[143],"corresponding":[145],"codes.":[147],"While":[148],"this":[149,187],"task":[150],"known":[152],"exceed":[154],"theoretical":[156,195],"capabilities":[157],"Turing":[159],"computers,":[160],"prove":[162],"feasibility":[165],"within":[166],"BSS":[169,176],"As":[171],"different":[172],"authors":[173],"have":[174],"proposed":[175],"machines":[177],"as":[178,190],"potential":[179],"some":[182],"forms":[183,213],"analog":[185,215],"computing,":[186],"serves":[189],"proof-of-concept":[192],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">analog":[198],"supremacy</i>":[199],"unconventional":[201],"information-processing":[202],"hardware.":[203],"Considering":[204],"recent":[205],"advances":[206],"development":[209],"such":[211],"hardware,":[212],"supremacy":[216],"will":[217],"likely":[218],"become":[219],"relevant":[220],"future":[223],"cyber-physical":[225],"information":[228],"technology.":[229]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-02T09:04:35.204637","created_date":"2025-10-10T00:00:00"}