FRINK Linked Data Fragments server

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

• W2054382008 endingPage "28" @default.
• W2054382008 startingPage "1" @default.
• W2054382008 abstract "In this article, we present property-driven design, a novel top-down design method for robot swarms based on prescriptive modeling and model checking. Traditionally, robot swarms have been developed using a code-and-fix approach: in a bottom-up iterative process, the developer tests and improves the individual behaviors of the robots until the desired collective behavior is obtained. The code-and-fix approach is unstructured, and the quality of the obtained swarm depends completely on the expertise and ingenuity of the developer who has little scientific or technical support in his activity. Property-driven design aims at providing such scientific and technical support, with many advantages compared to the traditional unstructured approach. Property-driven design is composed of four phases: first, the developer formally specifies the requirements of the robot swarm by stating its desired properties; second, the developer creates a prescriptive model of the swarm and uses model checking to verify that this prescriptive model satisfies the desired properties; third, using the prescriptive model as a blueprint, the developer implements a simulated version of the desired robot swarm and validates the prescriptive model developed in the previous step; fourth, the developer implements the desired robot swarm and validates the previous steps. We demonstrate property-driven design using two case studies: aggregation and foraging." @default.
• W2054382008 created "2016-06-24" @default.
• W2054382008 creator A5013183735 @default.
• W2054382008 creator A5024091899 @default.
• W2054382008 creator A5050020928 @default.
• W2054382008 creator A5061782786 @default.
• W2054382008 date "2014-12-19" @default.
• W2054382008 modified "2023-09-29" @default.
• W2054382008 title "Property-Driven Design for Robot Swarms" @default.
• W2054382008 cites W1578969637 @default.
• W2054382008 cites W1947321245 @default.
• W2054382008 cites W1964680067 @default.
• W2054382008 cites W2002956917 @default.
• W2054382008 cites W2005998857 @default.
• W2054382008 cites W2006607002 @default.
• W2054382008 cites W2011995167 @default.
• W2054382008 cites W2017150251 @default.
• W2054382008 cites W2028476706 @default.
• W2054382008 cites W2041478716 @default.
• W2054382008 cites W2070727087 @default.
• W2054382008 cites W2108526989 @default.
• W2054382008 cites W2115386268 @default.
• W2054382008 cites W2116409257 @default.
• W2054382008 cites W2118090736 @default.
• W2054382008 cites W2118331730 @default.
• W2054382008 cites W2145510175 @default.
• W2054382008 cites W2147673836 @default.
• W2054382008 cites W2149469814 @default.
• W2054382008 cites W2162943184 @default.
• W2054382008 cites W2416907743 @default.
• W2054382008 cites W4253646082 @default.
• W2054382008 doi "https://doi.org/10.1145/2700318" @default.
• W2054382008 hasPublicationYear "2014" @default.
• W2054382008 type Work @default.
• W2054382008 sameAs 2054382008 @default.
• W2054382008 citedByCount "45" @default.
• W2054382008 countsByYear W20543820082015 @default.
• W2054382008 countsByYear W20543820082016 @default.
• W2054382008 countsByYear W20543820082017 @default.
• W2054382008 countsByYear W20543820082018 @default.
• W2054382008 countsByYear W20543820082019 @default.
• W2054382008 countsByYear W20543820082020 @default.
• W2054382008 countsByYear W20543820082021 @default.
• W2054382008 countsByYear W20543820082022 @default.
• W2054382008 countsByYear W20543820082023 @default.
• W2054382008 crossrefType "journal-article" @default.
• W2054382008 hasAuthorship W2054382008A5013183735 @default.
• W2054382008 hasAuthorship W2054382008A5024091899 @default.
• W2054382008 hasAuthorship W2054382008A5050020928 @default.
• W2054382008 hasAuthorship W2054382008A5061782786 @default.
• W2054382008 hasConcept C111472728 @default.
• W2054382008 hasConcept C115903868 @default.
• W2054382008 hasConcept C120314980 @default.
• W2054382008 hasConcept C127413603 @default.
• W2054382008 hasConcept C133425853 @default.
• W2054382008 hasConcept C138885662 @default.
• W2054382008 hasConcept C143587482 @default.
• W2054382008 hasConcept C152752567 @default.
• W2054382008 hasConcept C154945302 @default.
• W2054382008 hasConcept C155911762 @default.
• W2054382008 hasConcept C162324750 @default.
• W2054382008 hasConcept C169337768 @default.
• W2054382008 hasConcept C177264268 @default.
• W2054382008 hasConcept C181335050 @default.
• W2054382008 hasConcept C189950617 @default.
• W2054382008 hasConcept C199360897 @default.
• W2054382008 hasConcept C2776760102 @default.
• W2054382008 hasConcept C2777904410 @default.
• W2054382008 hasConcept C2778154381 @default.
• W2054382008 hasConcept C41008148 @default.
• W2054382008 hasConcept C78519656 @default.
• W2054382008 hasConcept C90509273 @default.
• W2054382008 hasConcept C98045186 @default.
• W2054382008 hasConceptScore W2054382008C111472728 @default.
• W2054382008 hasConceptScore W2054382008C115903868 @default.
• W2054382008 hasConceptScore W2054382008C120314980 @default.
• W2054382008 hasConceptScore W2054382008C127413603 @default.
• W2054382008 hasConceptScore W2054382008C133425853 @default.
• W2054382008 hasConceptScore W2054382008C138885662 @default.
• W2054382008 hasConceptScore W2054382008C143587482 @default.
• W2054382008 hasConceptScore W2054382008C152752567 @default.
• W2054382008 hasConceptScore W2054382008C154945302 @default.
• W2054382008 hasConceptScore W2054382008C155911762 @default.
• W2054382008 hasConceptScore W2054382008C162324750 @default.
• W2054382008 hasConceptScore W2054382008C169337768 @default.
• W2054382008 hasConceptScore W2054382008C177264268 @default.
• W2054382008 hasConceptScore W2054382008C181335050 @default.
• W2054382008 hasConceptScore W2054382008C189950617 @default.
• W2054382008 hasConceptScore W2054382008C199360897 @default.
• W2054382008 hasConceptScore W2054382008C2776760102 @default.
• W2054382008 hasConceptScore W2054382008C2777904410 @default.
• W2054382008 hasConceptScore W2054382008C2778154381 @default.
• W2054382008 hasConceptScore W2054382008C41008148 @default.
• W2054382008 hasConceptScore W2054382008C78519656 @default.
• W2054382008 hasConceptScore W2054382008C90509273 @default.
• W2054382008 hasConceptScore W2054382008C98045186 @default.
• W2054382008 hasFunder F4320334960 @default.
• W2054382008 hasIssue "4" @default.

• next