Matches in SemOpenAlex for { <https://semopenalex.org/work/W2244819096> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2244819096 abstract "Swarm robotic system is a complex system comprising a large number of distributed robots. Although a single robot has limited ability of computation and communication, their microscopic behaviors can finally lead to a macroscopic system behavior. Such phenomenon is called emergent behavior which is significantly useful but difficult to engineering due to its indecompositionality over time and scale. In this paper, we propose a formal framework to specify and verify the causality between the macroscopic emergent property and microscopic behaviors of robots. The framework supports hybrid specification of both continuous dynamics of robots and their discrete control programs. A refinement notion is defined in this framework which provides a formal development and verification approach to guide the design of a swarm robotic system satisfying expected emergent properties. We demonstrate the framework on a simple robot swarm consensus scenario." @default.
- W2244819096 created "2016-06-24" @default.
- W2244819096 creator A5017835877 @default.
- W2244819096 creator A5036792191 @default.
- W2244819096 creator A5070654146 @default.
- W2244819096 creator A5075080019 @default.
- W2244819096 creator A5080061137 @default.
- W2244819096 date "2015-12-01" @default.
- W2244819096 modified "2023-09-26" @default.
- W2244819096 title "A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems" @default.
- W2244819096 cites W106138393 @default.
- W2244819096 cites W14851748 @default.
- W2244819096 cites W1491227990 @default.
- W2244819096 cites W1532908479 @default.
- W2244819096 cites W1924135305 @default.
- W2244819096 cites W1968601989 @default.
- W2244819096 cites W1983939870 @default.
- W2244819096 cites W1988895431 @default.
- W2244819096 cites W1994139361 @default.
- W2244819096 cites W2069437351 @default.
- W2244819096 cites W2089196696 @default.
- W2244819096 cites W2095877777 @default.
- W2244819096 cites W2108063263 @default.
- W2244819096 cites W2108526989 @default.
- W2244819096 cites W2118331730 @default.
- W2244819096 cites W2125668987 @default.
- W2244819096 cites W2126554879 @default.
- W2244819096 cites W2135101040 @default.
- W2244819096 cites W2145113795 @default.
- W2244819096 cites W2154929945 @default.
- W2244819096 cites W2168842447 @default.
- W2244819096 cites W2488935154 @default.
- W2244819096 cites W2493885848 @default.
- W2244819096 cites W2887459826 @default.
- W2244819096 cites W86159404 @default.
- W2244819096 cites W2499132233 @default.
- W2244819096 cites W3041611640 @default.
- W2244819096 cites W3150348507 @default.
- W2244819096 doi "https://doi.org/10.1109/iceccs.2015.34" @default.
- W2244819096 hasPublicationYear "2015" @default.
- W2244819096 type Work @default.
- W2244819096 sameAs 2244819096 @default.
- W2244819096 citedByCount "0" @default.
- W2244819096 crossrefType "proceedings-article" @default.
- W2244819096 hasAuthorship W2244819096A5017835877 @default.
- W2244819096 hasAuthorship W2244819096A5036792191 @default.
- W2244819096 hasAuthorship W2244819096A5070654146 @default.
- W2244819096 hasAuthorship W2244819096A5075080019 @default.
- W2244819096 hasAuthorship W2244819096A5080061137 @default.
- W2244819096 hasConcept C11413529 @default.
- W2244819096 hasConcept C120314980 @default.
- W2244819096 hasConcept C121332964 @default.
- W2244819096 hasConcept C154945302 @default.
- W2244819096 hasConcept C169337768 @default.
- W2244819096 hasConcept C181335050 @default.
- W2244819096 hasConcept C2778755073 @default.
- W2244819096 hasConcept C41008148 @default.
- W2244819096 hasConcept C45374587 @default.
- W2244819096 hasConcept C62520636 @default.
- W2244819096 hasConcept C64357122 @default.
- W2244819096 hasConcept C90509273 @default.
- W2244819096 hasConceptScore W2244819096C11413529 @default.
- W2244819096 hasConceptScore W2244819096C120314980 @default.
- W2244819096 hasConceptScore W2244819096C121332964 @default.
- W2244819096 hasConceptScore W2244819096C154945302 @default.
- W2244819096 hasConceptScore W2244819096C169337768 @default.
- W2244819096 hasConceptScore W2244819096C181335050 @default.
- W2244819096 hasConceptScore W2244819096C2778755073 @default.
- W2244819096 hasConceptScore W2244819096C41008148 @default.
- W2244819096 hasConceptScore W2244819096C45374587 @default.
- W2244819096 hasConceptScore W2244819096C62520636 @default.
- W2244819096 hasConceptScore W2244819096C64357122 @default.
- W2244819096 hasConceptScore W2244819096C90509273 @default.
- W2244819096 hasLocation W22448190961 @default.
- W2244819096 hasOpenAccess W2244819096 @default.
- W2244819096 hasPrimaryLocation W22448190961 @default.
- W2244819096 hasRelatedWork W183077454 @default.
- W2244819096 hasRelatedWork W1902729993 @default.
- W2244819096 hasRelatedWork W1974498745 @default.
- W2244819096 hasRelatedWork W2005416283 @default.
- W2244819096 hasRelatedWork W2006607002 @default.
- W2244819096 hasRelatedWork W2038115605 @default.
- W2244819096 hasRelatedWork W2042803225 @default.
- W2244819096 hasRelatedWork W2073184696 @default.
- W2244819096 hasRelatedWork W2084779340 @default.
- W2244819096 hasRelatedWork W2168590311 @default.
- W2244819096 hasRelatedWork W2517747237 @default.
- W2244819096 hasRelatedWork W2551920091 @default.
- W2244819096 hasRelatedWork W2556481766 @default.
- W2244819096 hasRelatedWork W2601103485 @default.
- W2244819096 hasRelatedWork W2786641724 @default.
- W2244819096 hasRelatedWork W2952221521 @default.
- W2244819096 hasRelatedWork W3095291397 @default.
- W2244819096 hasRelatedWork W3176202740 @default.
- W2244819096 hasRelatedWork W84428182 @default.
- W2244819096 hasRelatedWork W2164476436 @default.
- W2244819096 isParatext "false" @default.
- W2244819096 isRetracted "false" @default.
- W2244819096 magId "2244819096" @default.
- W2244819096 workType "article" @default.