{"id":"https://openalex.org/W4411019124","doi":"https://doi.org/10.1109/robosoft63089.2025.11020859","title":"Realizing Modular Self-reconfiguring Soft Robots through Inter-module Communication and Model Checking","display_name":"Realizing Modular Self-reconfiguring Soft Robots through Inter-module Communication and Model Checking","publication_year":2025,"publication_date":"2025-04-22","ids":{"openalex":"https://openalex.org/W4411019124","doi":"https://doi.org/10.1109/robosoft63089.2025.11020859"},"language":"en","primary_location":{"id":"doi:10.1109/robosoft63089.2025.11020859","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robosoft63089.2025.11020859","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 8th International Conference on Soft Robotics (RoboSoft)","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/A5098673502","display_name":"Joshua Knospler","orcid":"https://orcid.org/0009-0005-4614-6616"},"institutions":[{"id":"https://openalex.org/I44265643","display_name":"Rowan University","ror":"https://ror.org/049v69k10","country_code":"US","type":"education","lineage":["https://openalex.org/I44265643"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Joshua Knospler","raw_affiliation_strings":["Rowan University,Department of Mechanical Engineering,Glassboro,NJ,USA,08028"],"affiliations":[{"raw_affiliation_string":"Rowan University,Department of Mechanical Engineering,Glassboro,NJ,USA,08028","institution_ids":["https://openalex.org/I44265643"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091548291","display_name":"Nicholas Pagliocca","orcid":"https://orcid.org/0000-0002-7742-2346"},"institutions":[{"id":"https://openalex.org/I44265643","display_name":"Rowan University","ror":"https://ror.org/049v69k10","country_code":"US","type":"education","lineage":["https://openalex.org/I44265643"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicholas Pagliocca","raw_affiliation_strings":["Rowan University,Department of Mechanical Engineering,Glassboro,NJ,USA,08028"],"affiliations":[{"raw_affiliation_string":"Rowan University,Department of Mechanical Engineering,Glassboro,NJ,USA,08028","institution_ids":["https://openalex.org/I44265643"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100422542","display_name":"Wei Xue","orcid":"https://orcid.org/0000-0001-6550-5366"},"institutions":[{"id":"https://openalex.org/I44265643","display_name":"Rowan University","ror":"https://ror.org/049v69k10","country_code":"US","type":"education","lineage":["https://openalex.org/I44265643"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wei Xue","raw_affiliation_strings":["Rowan University,Department of Mechanical Engineering,Glassboro,NJ,USA,08028"],"affiliations":[{"raw_affiliation_string":"Rowan University,Department of Mechanical Engineering,Glassboro,NJ,USA,08028","institution_ids":["https://openalex.org/I44265643"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055436267","display_name":"Mitja Trkov","orcid":"https://orcid.org/0000-0001-8556-7214"},"institutions":[{"id":"https://openalex.org/I44265643","display_name":"Rowan University","ror":"https://ror.org/049v69k10","country_code":"US","type":"education","lineage":["https://openalex.org/I44265643"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mitja Trkov","raw_affiliation_strings":["Rowan University,Department of Mechanical Engineering,Glassboro,NJ,USA,08028"],"affiliations":[{"raw_affiliation_string":"Rowan University,Department of Mechanical Engineering,Glassboro,NJ,USA,08028","institution_ids":["https://openalex.org/I44265643"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5098673502"],"corresponding_institution_ids":["https://openalex.org/I44265643"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14834223,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":1.0,"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"}},{"id":"https://openalex.org/T10868","display_name":"Soft Robotics and Applications","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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/T11737","display_name":"Advanced Materials and Mechanics","score":0.9904000163078308,"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/modular-design","display_name":"Modular design","score":0.8169763088226318},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6969691514968872},{"id":"https://openalex.org/keywords/self-reconfiguring-modular-robot","display_name":"Self-reconfiguring modular robot","score":0.6946444511413574},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6865664720535278},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.377934992313385},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3713763952255249},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.36678820848464966},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3545061945915222},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.2651480436325073},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25004515051841736},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20480158925056458},{"id":"https://openalex.org/keywords/robot-control","display_name":"Robot control","score":0.15188857913017273}],"concepts":[{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.8169763088226318},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6969691514968872},{"id":"https://openalex.org/C49603950","wikidata":"https://www.wikidata.org/wiki/Q17165512","display_name":"Self-reconfiguring modular robot","level":5,"score":0.6946444511413574},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6865664720535278},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.377934992313385},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3713763952255249},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.36678820848464966},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3545061945915222},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.2651480436325073},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25004515051841736},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20480158925056458},{"id":"https://openalex.org/C65401140","wikidata":"https://www.wikidata.org/wiki/Q7353385","display_name":"Robot control","level":4,"score":0.15188857913017273}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/robosoft63089.2025.11020859","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robosoft63089.2025.11020859","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 8th International Conference on Soft Robotics (RoboSoft)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W2025888225","https://openalex.org/W2079950637","https://openalex.org/W2164517289","https://openalex.org/W2528281039","https://openalex.org/W2584880555","https://openalex.org/W2601926836","https://openalex.org/W2782291184","https://openalex.org/W2884997579","https://openalex.org/W2905093441","https://openalex.org/W2963148304","https://openalex.org/W3133693890","https://openalex.org/W3139257454","https://openalex.org/W4236625958","https://openalex.org/W4240919341","https://openalex.org/W4253243286","https://openalex.org/W4396991032","https://openalex.org/W4401751208","https://openalex.org/W4401752140","https://openalex.org/W4401845410"],"related_works":["https://openalex.org/W2720417647","https://openalex.org/W4225163935","https://openalex.org/W86933508","https://openalex.org/W2765089336","https://openalex.org/W2663455904","https://openalex.org/W2130464959","https://openalex.org/W2166742878","https://openalex.org/W2313074614","https://openalex.org/W2883992449","https://openalex.org/W3015461243"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"the":[3,70,91,95,98,108,113],"design":[4],"and":[5,19,47,57,128,134,153],"experimental":[6],"validation":[7],"of":[8,72,90,97,100,142,155],"a":[9,20,143],"modular":[10,39,145,156],"self-reconfiguring":[11],"soft":[12,157],"robotic":[13],"system":[14,22,35,92],"that":[15,86,93],"leverages":[16],"inter-module":[17,59],"communication":[18],"transition":[21,84],"based":[23],"abstraction":[24,89],"with":[25,125],"model":[26,132],"checking":[27,133],"to":[28,121],"enable":[29,54],"safe":[30],"autonomous":[31,151],"reconfiguration":[32,141],"planning.":[33],"The":[34],"is":[36],"built":[37,64],"from":[38,65,112],"pneumatic":[40,56],"actuators":[41],"connected":[42,73],"via":[43],"electromechanical":[44],"locking":[45],"connectors":[46],"PAC":[48,114],"(Power,":[49],"Air,":[50],"Communication)":[51],"connectors,":[52],"which":[53],"both":[55],"electrical":[58],"connections.":[60],"A":[61],"configuration":[62],"matrix,":[63],"digital":[66],"pin":[67],"signals,":[68],"tracks":[69],"state":[71],"modules":[74],"for":[75,131,149],"real-time":[76],"module":[77],"identification.":[78],"We":[79],"construct":[80],"an":[81,88],"algorithm":[82],"leveraging":[83],"systems":[85],"creates":[87],"enables":[94],"computation":[96],"set":[99],"reachable":[101],"reconfigurations.":[102],"Atomic":[103],"propositions":[104,123],"are":[105,119,129],"characterized":[106],"by":[107],"logical":[109],"states":[110,127],"ascertained":[111],"connectors.":[115],"Linear":[116],"time":[117],"properties":[118],"used":[120,130],"describe":[122],"associated":[124],"goal":[126],"safety":[135],"verification.":[136],"Experimental":[137],"results":[138],"demonstrate":[139],"successful":[140],"small-scale":[144],"system,":[146],"offering":[147],"insights":[148],"future":[150],"planning":[152],"control":[154],"robots.":[158]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}