{"id":"https://openalex.org/W4417131472","doi":"https://doi.org/10.1109/lra.2025.3641090","title":"RoboPrec: Enabling Reliable Embedded Computing for Robotics by Providing Accuracy Guarantees Across Mixed-Precision Datatypes","display_name":"RoboPrec: Enabling Reliable Embedded Computing for Robotics by Providing Accuracy Guarantees Across Mixed-Precision Datatypes","publication_year":2025,"publication_date":"2025-12-08","ids":{"openalex":"https://openalex.org/W4417131472","doi":"https://doi.org/10.1109/lra.2025.3641090"},"language":null,"primary_location":{"id":"doi:10.1109/lra.2025.3641090","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2025.3641090","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/handle/20.500.14299/256933","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089292170","display_name":"Alp Eren Yilmaz","orcid":"https://orcid.org/0009-0004-0917-096X"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alp Eren Yilmaz","raw_affiliation_strings":["Boston University, Boston, MA, USA","Boston University, USA"],"raw_orcid":"https://orcid.org/0009-0004-0917-096X","affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA, USA","institution_ids":[]},{"raw_affiliation_string":"Boston University, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031573662","display_name":"Thomas Bourgeat","orcid":"https://orcid.org/0000-0002-8468-8409"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Thomas Bourgeat","raw_affiliation_strings":["EPFL, Lausanne, Switzerland","EPFL, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-8468-8409","affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086251333","display_name":"Lillian Pentecost","orcid":"https://orcid.org/0000-0002-6204-1938"},"institutions":[{"id":"https://openalex.org/I177605424","display_name":"Amherst College","ror":"https://ror.org/028vqfs63","country_code":"US","type":"education","lineage":["https://openalex.org/I177605424"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lillian Pentecost","raw_affiliation_strings":["Amherst College, MA, USA","Amherst College, USA"],"raw_orcid":"https://orcid.org/0000-0002-6204-1938","affiliations":[{"raw_affiliation_string":"Amherst College, MA, USA","institution_ids":["https://openalex.org/I177605424"]},{"raw_affiliation_string":"Amherst College, USA","institution_ids":["https://openalex.org/I177605424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019062457","display_name":"Brian Plancher","orcid":"https://orcid.org/0000-0002-0078-3653"},"institutions":[{"id":"https://openalex.org/I107672454","display_name":"Dartmouth College","ror":"https://ror.org/049s0rh22","country_code":"US","type":"education","lineage":["https://openalex.org/I107672454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian Plancher","raw_affiliation_strings":["Dartmouth College, Hanover, NH, USA","Dartmouth College, USA"],"raw_orcid":"https://orcid.org/0000-0002-0078-3653","affiliations":[{"raw_affiliation_string":"Dartmouth College, Hanover, NH, USA","institution_ids":["https://openalex.org/I107672454"]},{"raw_affiliation_string":"Dartmouth College, USA","institution_ids":["https://openalex.org/I107672454"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013815284","display_name":"Sabrina M. Neuman","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sabrina M. Neuman","raw_affiliation_strings":["Boston University, Boston, MA, USA","Boston University, USA"],"raw_orcid":"https://orcid.org/0000-0001-5772-5916","affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA, USA","institution_ids":[]},{"raw_affiliation_string":"Boston University, USA","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38464667,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":"2","first_page":"2234","last_page":"2241"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.2969000041484833,"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.2969000041484833,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.20360000431537628,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.11490000039339066,"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/robotics","display_name":"Robotics","score":0.8287000060081482},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6786999702453613},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5806999802589417},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5027999877929688},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4932999908924103},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4684000015258789},{"id":"https://openalex.org/keywords/microcontroller","display_name":"Microcontroller","score":0.43560001254081726},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.3953999876976013}],"concepts":[{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.8287000060081482},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7271999716758728},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6786999702453613},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5806999802589417},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5708000063896179},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.566100001335144},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5027999877929688},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4932999908924103},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4684000015258789},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.43560001254081726},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.3953999876976013},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.3889000117778778},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.3700999915599823},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.3368000090122223},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3353999853134155},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.3325999975204468},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.33169999718666077},{"id":"https://openalex.org/C60692881","wikidata":"https://www.wikidata.org/wiki/Q584529","display_name":"Humanoid robot","level":3,"score":0.31610000133514404},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.29010000824928284},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.2759000062942505}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lra.2025.3641090","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2025.3641090","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},{"id":"pmh:oai:infoscience.epfl.ch:20.500.14299/256933","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/256933","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"research article"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:20.500.14299/256933","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/256933","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"research article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Mobile":[0],"robots":[1],"demand":[2],"power":[3,29],"efficiency":[4],"as":[5,7,21,23,56,163],"well":[6],"accuracy":[8,206],"and":[9,17,33,44,73,92,114,128,137,188],"high":[10],"performance":[11],"in":[12],"their":[13],"computations.":[14],"Embedded":[15],"microcontrollers":[16],"FPGAs":[18],"can":[19,175],"consume":[20],"much":[22],"<inline-formula":[24,179,189],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[25,64,67,180,186,190,196,214],"xmlns:xlink=\"http://www.w3.org/1999/xlink\"><tex-math":[26,181,191],"notation=\"LaTeX\">$1000\\times$</tex-math></inline-formula>":[27],"less":[28],"than":[30,184,194,212],"large":[31],"CPUs":[32],"GPUs,":[34],"however,":[35],"these":[36],"power-efficient":[37],"platforms":[38],"often":[39],"lack":[40],"full":[41],"floating-point":[42,61],"support":[43],"rely":[45],"on":[46,198],"fixed-point":[47,78,145,173],"computations":[48],"to":[49,69,85,131,141,150,178],"deliver":[50],"performance.":[51],"This":[52],"is":[53,148],"a":[54,108,159,164],"challenge":[55,99],"most":[57],"robotics":[58,135,161],"software":[59],"uses":[60],"datatypes":[62],"(<italic":[63],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">double</i>,":[65],"<italic":[66,185,195,213],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">float</i>)":[68],"conservatively":[70],"ensure":[71],"accuracy,":[72],"prior":[74],"works":[75],"that":[76,110,147,170],"use":[77,155],"types":[79],"employ":[80],"unreliable":[81],"ad":[82],"hoc":[83],"approaches":[84],"select":[86],"the":[87,101],"datatype":[88],"precision":[89],"(i.e.,":[90],"quantity":[91],"allocation":[93],"of":[94],"bits).":[95],"We":[96,154,168],"address":[97],"this":[98,140],"with":[100,118,208],"RoboPrec":[102],"framework,":[103],"where":[104],"we:":[105],"(i)":[106],"develop":[107],"transpiler":[109],"integrates":[111],"code":[112,116,146,174],"transformations":[113],"robot-specific":[115],"generation":[117],"traditional":[119],"numerical":[120],"stability":[121],"analysis":[122],"methods":[123],"(which":[124],"calculate":[125],"error":[126,211],"bounds),":[127],"adapts":[129],"them":[130],"be":[132,176],"practical":[133],"for":[134],"software;":[136],"then":[138],"leverage":[139],"(ii)":[142],"generate":[143],"guaranteed-accuracy":[144],"deployable":[149],"embedded":[151,199],"computing":[152],"platforms.":[153],"rigid":[156],"body":[157],"dynamics,":[158],"fundamental":[160],"workload,":[162],"motivating":[165],"case":[166],"study.":[167],"find":[169],"RoboPrec-generated":[171],"32-bit":[172],"up":[177],"notation=\"LaTeX\">$8\\times$</tex-math></inline-formula>":[182],"faster":[183,193],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">float</i>":[187],"notation=\"LaTeX\">$122\\times$</tex-math></inline-formula>":[192],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">double</i>":[197],"processors":[200],"while,":[201],"critically,":[202],"also":[203],"providing":[204],"guaranteed":[205],"bounds":[207],"lower":[209],"worst-case":[210],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">float</i>.":[215]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-12-08T00:00:00"}