{"id":"https://openalex.org/W4413104750","doi":"https://doi.org/10.1109/lra.2025.3597864","title":"From Composable Models to Correct-by-Construction Software for Contact-Rich Robotic Mobile-Manipulation Tasks","display_name":"From Composable Models to Correct-by-Construction Software for Contact-Rich Robotic Mobile-Manipulation Tasks","publication_year":2025,"publication_date":"2025-08-11","ids":{"openalex":"https://openalex.org/W4413104750","doi":"https://doi.org/10.1109/lra.2025.3597864"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2025.3597864","is_oa":true,"landing_page_url":"https://doi.org/10.1109/lra.2025.3597864","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":"hybrid","oa_url":"https://doi.org/10.1109/lra.2025.3597864","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102019040","display_name":"Sven Schneider","orcid":"https://orcid.org/0000-0002-1916-5222"},"institutions":[{"id":"https://openalex.org/I155417937","display_name":"Hochschule Bonn-Rhein-Sieg","ror":"https://ror.org/04m2anh63","country_code":"DE","type":"education","lineage":["https://openalex.org/I155417937"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sven Schneider","raw_affiliation_strings":["Department of Computer Science, Institute for AI and Autonomous Systems, Hochschule Bonn-Rhein-Sieg, Sankt Augustin, Germany","Institute for AI and Autonomous Systems, Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1916-5222","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Institute for AI and Autonomous Systems, Hochschule Bonn-Rhein-Sieg, Sankt Augustin, Germany","institution_ids":["https://openalex.org/I155417937"]},{"raw_affiliation_string":"Institute for AI and Autonomous Systems, Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg, Germany","institution_ids":["https://openalex.org/I155417937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053145508","display_name":"Vamsi Kalagaturu","orcid":null},"institutions":[{"id":"https://openalex.org/I166433441","display_name":"Hochschule Bremen","ror":"https://ror.org/04f7jc139","country_code":"DE","type":"education","lineage":["https://openalex.org/I166433441"]},{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Vamsi Kalagaturu","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany","Dept. of Mathematics and Computer Science, University of Bremen, Germany"],"raw_orcid":"https://orcid.org/0009-0001-3279-2976","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Dept. of Mathematics and Computer Science, University of Bremen, Germany","institution_ids":["https://openalex.org/I180437899","https://openalex.org/I166433441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009116988","display_name":"Herman Bruyninckx","orcid":"https://orcid.org/0000-0003-3776-1025"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Herman Bruyninckx","raw_affiliation_strings":["Department of Mechanical Engineering, KU Leuven, Leuven, Belgium","Dept. of Mechanical Engineering, KU Leuven, Belgium"],"raw_orcid":"https://orcid.org/0000-0003-3776-1025","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, KU Leuven, Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"Dept. of Mechanical Engineering, KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075287635","display_name":"Nico Hochgeschwender","orcid":"https://orcid.org/0000-0003-1306-7880"},"institutions":[{"id":"https://openalex.org/I166433441","display_name":"Hochschule Bremen","ror":"https://ror.org/04f7jc139","country_code":"DE","type":"education","lineage":["https://openalex.org/I166433441"]},{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nico Hochgeschwender","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany","Dept. of Mathematics and Computer Science, University of Bremen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1306-7880","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Dept. of Mathematics and Computer Science, University of Bremen, Germany","institution_ids":["https://openalex.org/I180437899","https://openalex.org/I166433441"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20962539,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"10","first_page":"9894","last_page":"9901"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9811999797821045,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9811999797821045,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9649999737739563,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9445000290870667,"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/computer-science","display_name":"Computer science","score":0.6804254651069641},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.588824450969696},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.5182292461395264},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.41226139664649963},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3068677484989166},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.29348456859588623},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24635180830955505}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6804254651069641},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.588824450969696},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.5182292461395264},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.41226139664649963},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3068677484989166},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.29348456859588623},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24635180830955505}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/lra.2025.3597864","is_oa":true,"landing_page_url":"https://doi.org/10.1109/lra.2025.3597864","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},{"id":"pmh:oai:pub.h-brs.de:9150","is_oa":true,"landing_page_url":"https://pub.h-brs.de/frontdoor/index/index/docId/9150","pdf_url":null,"source":{"id":"https://openalex.org/S4306400385","display_name":"Publication Server of Bonn-Rhein-Sieg University of Applied Sciences (Bonn-Rhein-Sieg University of Applied Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I135140700","host_organization_name":"University of Bonn","host_organization_lineage":["https://openalex.org/I135140700"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters, vol. 10, no. 10, pp. 9894-9901, Oct. 2025","raw_type":"publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/87747986-8e1f-41d5-8985-91854154fec6","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/87747986-8e1f-41d5-8985-91854154fec6","pdf_url":"https://pure.tue.nl/ws/files/383369260/From_Composable_Models_to_Correct-by-Construction_Software_for_Contact-Rich_Robotic_Mobile-Manipulation_Tasks.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Schneider, S, Kalagaturu, V, Bruyninckx, H & Hochgeschwender, N 2025, 'From Composable Models to Correct-by-Construction Software for Contact-Rich Robotic Mobile-Manipulation Tasks', IEEE Robotics and Automation Letters, vol. 10, no. 10, pp. 9894-9901. https://doi.org/10.1109/LRA.2025.3597864","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1109/lra.2025.3597864","is_oa":true,"landing_page_url":"https://doi.org/10.1109/lra.2025.3597864","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1768552585","display_name":null,"funder_award_id":"101120990","funder_id":"https://openalex.org/F4320334322","funder_display_name":"HORIZON EUROPE Framework Programme"},{"id":"https://openalex.org/G4123413560","display_name":null,"funder_award_id":"101120990","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G73270079","display_name":null,"funder_award_id":"101017258","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G8534875836","display_name":null,"funder_award_id":"732410","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320324286","display_name":"Bonn-Aachen International Center for Information Technology","ror":"https://ror.org/054zhq066"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1987706960","https://openalex.org/W2053000265","https://openalex.org/W2099024169","https://openalex.org/W2105660272","https://openalex.org/W2110612452","https://openalex.org/W2141450827","https://openalex.org/W2143183078","https://openalex.org/W2169360335","https://openalex.org/W2311374921","https://openalex.org/W2410933284","https://openalex.org/W2794663059","https://openalex.org/W3003810858","https://openalex.org/W4312545371","https://openalex.org/W4383097436","https://openalex.org/W4402250386","https://openalex.org/W4406937206","https://openalex.org/W6623322954","https://openalex.org/W6684816303"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Software":[0],"frameworks":[1],"like":[2],"the":[3,10,19,46,75,91,98,101,105],"<italic":[4,12,20,37,41,72,86,146],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[5,13,21,38,42,73,87,147],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Stack":[6],"of":[7,59,93,100,104],"Tasks</i>":[8],"(SoT),":[9],"Stanford":[11],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Whole-Body":[14],"Control</i>":[15],"(WBC)":[16],"library,":[17],"or":[18],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">instantaneous":[22],"Task":[23],"Specification":[24],"using":[25],"Constraints</i>":[26],"(iTaSC)":[27],"have":[28],"enabled":[29],"robots":[30],"to":[31,54,71,81,128,134],"perform":[32],"advanced,":[33],"contact-oriented":[34],"manipulation":[35],"tasks.":[36,122],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">jgeom_constr</i>":[39],"and":[40,85,103,116,137,143],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">eTaSL</i>":[43],"are":[44],"among":[45],"few":[47],"formal,":[48],"computer-interpretable":[49],"languages":[50,65],"that":[51,90,132,158],"allow":[52],"users":[53],"specify":[55],"such":[56,121],"tasks":[57],"independent":[58],"these":[60,64,110],"frameworks.":[61],"We":[62,139],"analyse":[63],"for":[66,77,120,153],"their":[67],"limitations":[68,111],"with":[69,161],"respect":[70],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">composability</i>,":[74],"design":[76,113],"extensibility":[78],"without":[79],"having":[80],"change":[82],"existing":[83],"models,":[84],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">compositionality</i>,":[88],"meaning":[89],"semantics":[92,99],"compositions":[94],"unambiguously":[95],"follows":[96],"from":[97],"components":[102],"composition":[106],"relations.":[107],"To":[108],"overcome":[109],"we":[112],"a":[114,150,154],"graph-structured":[115],"well-defined":[117],"interchange":[118],"format":[119],"The":[123],"associated":[124],"tooling":[125],"enables":[126],"us":[127],"generate":[129],"correct-by-construction":[130],"code":[131],"adheres":[133],"predefined":[135],"rules":[136],"constraints.":[138],"showcase":[140],"our":[141],"models":[142],"toolchain":[144],"by":[145],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">incrementally</i>":[148],"constructing":[149],"workspace-alignment":[151],"application":[152],"highly-redundant":[155],"mobile":[156],"platform":[157],"is":[159],"equipped":[160],"two":[162],"7-DoF,":[163],"torque-controlled":[164],"manipulators.":[165]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}