Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952674865> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2952674865 abstract "We study the problem of synthesizing strategies for a mobile sensor network to conduct surveillance in partnership with static alarm triggers. We formulate the problem as a multi-agent reactive synthesis problem with surveillance objectives specified as temporal logic formulas. In order to avoid the state space blow-up arising from a centralized strategy computation, we propose a method to decentralize the surveillance strategy synthesis by decomposing the multi-agent game into subgames that can be solved independently. We also decompose the global surveillance specification into local specifications for each sensor, and show that if the sensors satisfy their local surveillance specifications, then the sensor network as a whole will satisfy the global surveillance objective. Thus, our method is able to guarantee global surveillance properties in a mobile sensor network while synthesizing completely decentralized strategies with no need for coordination between the sensors. We also present a case study in which we demonstrate an application of decentralized surveillance strategy synthesis." @default.
- W2952674865 created "2019-06-27" @default.
- W2952674865 creator A5032282047 @default.
- W2952674865 creator A5059464456 @default.
- W2952674865 creator A5068441112 @default.
- W2952674865 date "2018-12-01" @default.
- W2952674865 modified "2023-10-16" @default.
- W2952674865 title "Distributed Synthesis of Surveillance Strategies for Mobile Sensors" @default.
- W2952674865 cites W2032243783 @default.
- W2952674865 cites W2067638058 @default.
- W2952674865 cites W2071639381 @default.
- W2952674865 cites W2088264916 @default.
- W2952674865 cites W2092977061 @default.
- W2952674865 cites W2104098276 @default.
- W2952674865 cites W2113798763 @default.
- W2952674865 cites W2126035415 @default.
- W2952674865 cites W2137009912 @default.
- W2952674865 cites W2184923025 @default.
- W2952674865 cites W2476245236 @default.
- W2952674865 cites W2491467718 @default.
- W2952674865 cites W2570857898 @default.
- W2952674865 cites W2754386282 @default.
- W2952674865 cites W2783378806 @default.
- W2952674865 cites W2963445246 @default.
- W2952674865 cites W40650588 @default.
- W2952674865 cites W852087202 @default.
- W2952674865 cites W83337052 @default.
- W2952674865 doi "https://doi.org/10.1109/cdc.2018.8619145" @default.
- W2952674865 hasPublicationYear "2018" @default.
- W2952674865 type Work @default.
- W2952674865 sameAs 2952674865 @default.
- W2952674865 citedByCount "2" @default.
- W2952674865 countsByYear W29526748652019 @default.
- W2952674865 crossrefType "proceedings-article" @default.
- W2952674865 hasAuthorship W2952674865A5032282047 @default.
- W2952674865 hasAuthorship W2952674865A5059464456 @default.
- W2952674865 hasAuthorship W2952674865A5068441112 @default.
- W2952674865 hasBestOaLocation W29526748652 @default.
- W2952674865 hasConcept C10138342 @default.
- W2952674865 hasConcept C11413529 @default.
- W2952674865 hasConcept C120314980 @default.
- W2952674865 hasConcept C162324750 @default.
- W2952674865 hasConcept C24590314 @default.
- W2952674865 hasConcept C31258907 @default.
- W2952674865 hasConcept C41008148 @default.
- W2952674865 hasConcept C48103436 @default.
- W2952674865 hasConcept C71750763 @default.
- W2952674865 hasConcept C79403827 @default.
- W2952674865 hasConceptScore W2952674865C10138342 @default.
- W2952674865 hasConceptScore W2952674865C11413529 @default.
- W2952674865 hasConceptScore W2952674865C120314980 @default.
- W2952674865 hasConceptScore W2952674865C162324750 @default.
- W2952674865 hasConceptScore W2952674865C24590314 @default.
- W2952674865 hasConceptScore W2952674865C31258907 @default.
- W2952674865 hasConceptScore W2952674865C41008148 @default.
- W2952674865 hasConceptScore W2952674865C48103436 @default.
- W2952674865 hasConceptScore W2952674865C71750763 @default.
- W2952674865 hasConceptScore W2952674865C79403827 @default.
- W2952674865 hasLocation W29526748651 @default.
- W2952674865 hasLocation W29526748652 @default.
- W2952674865 hasLocation W29526748653 @default.
- W2952674865 hasLocation W29526748654 @default.
- W2952674865 hasLocation W29526748655 @default.
- W2952674865 hasOpenAccess W2952674865 @default.
- W2952674865 hasPrimaryLocation W29526748651 @default.
- W2952674865 hasRelatedWork W1543428583 @default.
- W2952674865 hasRelatedWork W1587227328 @default.
- W2952674865 hasRelatedWork W2023936724 @default.
- W2952674865 hasRelatedWork W2047114212 @default.
- W2952674865 hasRelatedWork W2071831663 @default.
- W2952674865 hasRelatedWork W2126451717 @default.
- W2952674865 hasRelatedWork W2758295073 @default.
- W2952674865 hasRelatedWork W2902142550 @default.
- W2952674865 hasRelatedWork W2998813341 @default.
- W2952674865 hasRelatedWork W3201499603 @default.
- W2952674865 isParatext "false" @default.
- W2952674865 isRetracted "false" @default.
- W2952674865 magId "2952674865" @default.
- W2952674865 workType "article" @default.