FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2979675173> ?p ?o ?g. }

• W2979675173 endingPage "24" @default.
• W2979675173 startingPage "1" @default.
• W2979675173 abstract "This paper presents a methodology that relies on Assume-Guarantee Contracts to decompose the problem of synthesizing control software for a multi-robot system. Initially, each contract describes either a component ( e.g. , a robot) or an aspect of the system. Then, the design problem is decomposed into different synthesis and verification sub-problems, allowing to tackle the complexity involved in the design process. The design problem is then recomposed by exploiting the rigorousness provided by contracts. This allows us to achieve system-level simulation capable to be used for validating the entire design. Once validated, the software synthesized during the process can be integrated into Robot Operating System (ROS) nodes and executed using state-of-the-practice packages and tools for modern robotic systems. We apply the methodology to generate a control strategy for an autonomous goods transportation system. Our results show a massive reduction of the time required to obtain automatically the control software implementing a multi-robot mission." @default.
• W2979675173 created "2019-10-18" @default.
• W2979675173 creator A5040302302 @default.
• W2979675173 creator A5069672683 @default.
• W2979675173 creator A5084974927 @default.
• W2979675173 creator A5088928000 @default.
• W2979675173 date "2019-10-08" @default.
• W2979675173 modified "2023-10-12" @default.
• W2979675173 title "Compositional Design of Multi-Robot Systems Control Software on ROS" @default.
• W2979675173 cites W1933146504 @default.
• W2979675173 cites W1982603963 @default.
• W2979675173 cites W1999050017 @default.
• W2979675173 cites W2041701185 @default.
• W2979675173 cites W2060569709 @default.
• W2979675173 cites W2115309705 @default.
• W2979675173 cites W2127574686 @default.
• W2979675173 cites W2130805777 @default.
• W2979675173 cites W2148033465 @default.
• W2979675173 cites W2151415616 @default.
• W2979675173 cites W2151958719 @default.
• W2979675173 cites W2157488300 @default.
• W2979675173 cites W2476245236 @default.
• W2979675173 cites W2622072046 @default.
• W2979675173 cites W2896633133 @default.
• W2979675173 cites W2902587097 @default.
• W2979675173 cites W2967855397 @default.
• W2979675173 cites W4205178436 @default.
• W2979675173 cites W4229844141 @default.
• W2979675173 doi "https://doi.org/10.1145/3358197" @default.
• W2979675173 hasPublicationYear "2019" @default.
• W2979675173 type Work @default.
• W2979675173 sameAs 2979675173 @default.
• W2979675173 citedByCount "6" @default.
• W2979675173 countsByYear W29796751732020 @default.
• W2979675173 countsByYear W29796751732021 @default.
• W2979675173 countsByYear W29796751732022 @default.
• W2979675173 countsByYear W29796751732023 @default.
• W2979675173 crossrefType "journal-article" @default.
• W2979675173 hasAuthorship W2979675173A5040302302 @default.
• W2979675173 hasAuthorship W2979675173A5069672683 @default.
• W2979675173 hasAuthorship W2979675173A5084974927 @default.
• W2979675173 hasAuthorship W2979675173A5088928000 @default.
• W2979675173 hasConcept C111335779 @default.
• W2979675173 hasConcept C111919701 @default.
• W2979675173 hasConcept C11413529 @default.
• W2979675173 hasConcept C119599485 @default.
• W2979675173 hasConcept C121332964 @default.
• W2979675173 hasConcept C127413603 @default.
• W2979675173 hasConcept C133731056 @default.
• W2979675173 hasConcept C149091818 @default.
• W2979675173 hasConcept C149635348 @default.
• W2979675173 hasConcept C154945302 @default.
• W2979675173 hasConcept C168167062 @default.
• W2979675173 hasConcept C174683762 @default.
• W2979675173 hasConcept C17500928 @default.
• W2979675173 hasConcept C2524010 @default.
• W2979675173 hasConcept C2777904410 @default.
• W2979675173 hasConcept C33923547 @default.
• W2979675173 hasConcept C41008148 @default.
• W2979675173 hasConcept C48103436 @default.
• W2979675173 hasConcept C52913732 @default.
• W2979675173 hasConcept C529173508 @default.
• W2979675173 hasConcept C90509273 @default.
• W2979675173 hasConcept C97355855 @default.
• W2979675173 hasConcept C98045186 @default.
• W2979675173 hasConceptScore W2979675173C111335779 @default.
• W2979675173 hasConceptScore W2979675173C111919701 @default.
• W2979675173 hasConceptScore W2979675173C11413529 @default.
• W2979675173 hasConceptScore W2979675173C119599485 @default.
• W2979675173 hasConceptScore W2979675173C121332964 @default.
• W2979675173 hasConceptScore W2979675173C127413603 @default.
• W2979675173 hasConceptScore W2979675173C133731056 @default.
• W2979675173 hasConceptScore W2979675173C149091818 @default.
• W2979675173 hasConceptScore W2979675173C149635348 @default.
• W2979675173 hasConceptScore W2979675173C154945302 @default.
• W2979675173 hasConceptScore W2979675173C168167062 @default.
• W2979675173 hasConceptScore W2979675173C174683762 @default.
• W2979675173 hasConceptScore W2979675173C17500928 @default.
• W2979675173 hasConceptScore W2979675173C2524010 @default.
• W2979675173 hasConceptScore W2979675173C2777904410 @default.
• W2979675173 hasConceptScore W2979675173C33923547 @default.
• W2979675173 hasConceptScore W2979675173C41008148 @default.
• W2979675173 hasConceptScore W2979675173C48103436 @default.
• W2979675173 hasConceptScore W2979675173C52913732 @default.
• W2979675173 hasConceptScore W2979675173C529173508 @default.
• W2979675173 hasConceptScore W2979675173C90509273 @default.
• W2979675173 hasConceptScore W2979675173C97355855 @default.
• W2979675173 hasConceptScore W2979675173C98045186 @default.
• W2979675173 hasFunder F4320320751 @default.
• W2979675173 hasIssue "5s" @default.
• W2979675173 hasLocation W29796751731 @default.
• W2979675173 hasOpenAccess W2979675173 @default.
• W2979675173 hasPrimaryLocation W29796751731 @default.
• W2979675173 hasRelatedWork W172018341 @default.
• W2979675173 hasRelatedWork W2348938246 @default.
• W2979675173 hasRelatedWork W2349816249 @default.
• W2979675173 hasRelatedWork W2359938517 @default.
• W2979675173 hasRelatedWork W2363655010 @default.

• next