{"id":"https://openalex.org/W4417272695","doi":"https://doi.org/10.1109/newcas64648.2025.11107029","title":"Efficient Hardware Primitives for Interval Contractors in Robotics and Integration to a Custom RISC-V ISA Extension","display_name":"Efficient Hardware Primitives for Interval Contractors in Robotics and Integration to a Custom RISC-V ISA Extension","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4417272695","doi":"https://doi.org/10.1109/newcas64648.2025.11107029"},"language":"en","primary_location":{"id":"doi:10.1109/newcas64648.2025.11107029","is_oa":false,"landing_page_url":"https://doi.org/10.1109/newcas64648.2025.11107029","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 23rd IEEE Interregional NEWCAS Conference (NEWCAS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000537224","display_name":"Pierre Filiol","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"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Filiol","raw_affiliation_strings":["Labsticc, Ensta-Bretagne","Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Labsticc, Ensta-Bretagne","institution_ids":["https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048077564","display_name":"Th\u00e9otime Bollengier","orcid":"https://orcid.org/0009-0006-7315-2736"},"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"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Th\u00e9otime Bollengier","raw_affiliation_strings":["Labsticc, Ensta-Bretagne","Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Labsticc, Ensta-Bretagne","institution_ids":["https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053641817","display_name":"Luc Jaulin","orcid":"https://orcid.org/0000-0002-0938-0615"},"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"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luc Jaulin","raw_affiliation_strings":["Labsticc, Ensta-Bretagne","Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Labsticc, Ensta-Bretagne","institution_ids":["https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049336540","display_name":"Jean-Christophe Le Lann","orcid":"https://orcid.org/0000-0003-2555-1805"},"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"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Christophe Le Lann","raw_affiliation_strings":["Labsticc, Ensta-Bretagne","Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Labsticc, Ensta-Bretagne","institution_ids":["https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"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.36114888,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"548","last_page":"552"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9847999811172485,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9847999811172485,"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/T10142","display_name":"Formal Methods in Verification","score":0.0020000000949949026,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8281999826431274},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.7343999743461609},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.6898000240325928},{"id":"https://openalex.org/keywords/porting","display_name":"Porting","score":0.6244999766349792},{"id":"https://openalex.org/keywords/novelty","display_name":"Novelty","score":0.5401999950408936},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.49810001254081726},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.46160000562667847},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.44839999079704285}],"concepts":[{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.8281999826431274},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.7343999743461609},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.6898000240325928},{"id":"https://openalex.org/C106251023","wikidata":"https://www.wikidata.org/wiki/Q851989","display_name":"Porting","level":3,"score":0.6244999766349792},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6040999889373779},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5651999711990356},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.5401999950408936},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.49810001254081726},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.46160000562667847},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.44839999079704285},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.40849998593330383},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3984000086784363},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.39430001378059387},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3472999930381775},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.3312000036239624},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C2982832238","wikidata":"https://www.wikidata.org/wiki/Q5531640","display_name":"General purpose","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C150415221","wikidata":"https://www.wikidata.org/wiki/Q40687","display_name":"Robotic arm","level":2,"score":0.29159998893737793},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.28690001368522644},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.26100000739097595},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.2597000002861023},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.251800000667572}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/newcas64648.2025.11107029","is_oa":false,"landing_page_url":"https://doi.org/10.1109/newcas64648.2025.11107029","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 23rd IEEE Interregional NEWCAS Conference (NEWCAS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05410321v1","is_oa":false,"landing_page_url":"https://hal.science/hal-05410321","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2025 23rd IEEE Interregional NEWCAS Conference (NEWCAS), Jun 2025, Paris, France. pp.548-552, ⟨10.1109/NewCAS64648.2025.11107029⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W220440441","https://openalex.org/W1513088138","https://openalex.org/W1588693185","https://openalex.org/W1972661971","https://openalex.org/W2004216287","https://openalex.org/W2009566669","https://openalex.org/W2030898836","https://openalex.org/W2135935689","https://openalex.org/W2912589708","https://openalex.org/W2951163580","https://openalex.org/W4298255709","https://openalex.org/W4309949375","https://openalex.org/W4404923602"],"related_works":[],"abstract_inverted_index":{"Interval":[0],"analysis":[1],"is":[2,55],"commonly":[3],"used":[4],"in":[5],"mobile":[6],"robotics":[7,74],"to":[8,39],"solve":[9],"nonlinear":[10],"problems.":[11],"Typical":[12],"implementations":[13],"mostly":[14],"rely":[15],"on":[16,22,35,58],"software":[17],"libraries":[18],"which":[19,62],"perform":[20],"poorly":[21],"low-power":[23],"embedded":[24],"devices.":[25],"This":[26],"article":[27],"shows":[28],"how":[29],"interval":[30,60,68],"primitives":[31],"can":[32],"be":[33],"ported":[34],"FPGA":[36],"and":[37],"integrated":[38],"the":[40,56],"RISC-V":[41],"architecture":[42],"using":[43],"a":[44],"custom":[45],"ISA":[46],"extension":[47],"called":[48],"xinterval.":[49],"The":[50],"novelty":[51],"of":[52],"this":[53],"approach":[54],"emphasis":[57],"elementary":[59],"contractors":[61],"are":[63],"higher-level":[64],"abstractions":[65],"than":[66],"plain":[67],"arithmetic":[69],"especially":[70],"well":[71],"suited":[72],"for":[73],"applications.":[75]},"counts_by_year":[],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}