Matches in SemOpenAlex for { <https://semopenalex.org/work/W4379165207> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4379165207 endingPage "240" @default.
- W4379165207 startingPage "224" @default.
- W4379165207 abstract "Multi-agent coordination under Signal Temporal Logic (STL) specifications is an exciting approach for accomplishing complex temporal missions with safety requirements. Despite significant progress, these approaches still suffer from scalability limitations. Decomposition into subspecifications and corresponding subteams of agents provides a way to reduce computation and leverage modern parallel computing architectures. In this paper, we propose a rewrite-based approach for jointly decomposing an STL specification and team of agents. We provide a set of formula transformations that facilitate decomposition. Furthermore, we cast those transformations as a rewriting system and prove that it is convergent. Next, we develop an algorithm for efficiently exploring and ranking rewritten formulae as decomposition candidates, and show how to decompose the best candidate. Finally, we compare to previous work on decomposing specifications for multi-agent planning problems, and provide computing and energy grid case studies." @default.
- W4379165207 created "2023-06-03" @default.
- W4379165207 creator A5059144582 @default.
- W4379165207 creator A5086654963 @default.
- W4379165207 creator A5088911621 @default.
- W4379165207 date "2023-01-01" @default.
- W4379165207 modified "2023-09-28" @default.
- W4379165207 title "Rewrite-Based Decomposition of Signal Temporal Logic Specifications" @default.
- W4379165207 cites W1533557569 @default.
- W4379165207 cites W1547304883 @default.
- W4379165207 cites W189973795 @default.
- W4379165207 cites W2004620590 @default.
- W4379165207 cites W2139688603 @default.
- W4379165207 cites W2789239344 @default.
- W4379165207 cites W2905277694 @default.
- W4379165207 cites W2946780124 @default.
- W4379165207 cites W3089553867 @default.
- W4379165207 cites W3090071260 @default.
- W4379165207 cites W3127898694 @default.
- W4379165207 cites W3135649364 @default.
- W4379165207 cites W3177200591 @default.
- W4379165207 cites W4205533104 @default.
- W4379165207 cites W4210600503 @default.
- W4379165207 cites W4225725160 @default.
- W4379165207 cites W4312453053 @default.
- W4379165207 doi "https://doi.org/10.1007/978-3-031-33170-1_14" @default.
- W4379165207 hasPublicationYear "2023" @default.
- W4379165207 type Work @default.
- W4379165207 citedByCount "0" @default.
- W4379165207 crossrefType "book-chapter" @default.
- W4379165207 hasAuthorship W4379165207A5059144582 @default.
- W4379165207 hasAuthorship W4379165207A5086654963 @default.
- W4379165207 hasAuthorship W4379165207A5088911621 @default.
- W4379165207 hasConcept C11413529 @default.
- W4379165207 hasConcept C120314980 @default.
- W4379165207 hasConcept C124681953 @default.
- W4379165207 hasConcept C153083717 @default.
- W4379165207 hasConcept C154690210 @default.
- W4379165207 hasConcept C154945302 @default.
- W4379165207 hasConcept C177264268 @default.
- W4379165207 hasConcept C187691185 @default.
- W4379165207 hasConcept C18903297 @default.
- W4379165207 hasConcept C199360897 @default.
- W4379165207 hasConcept C25016198 @default.
- W4379165207 hasConcept C2524010 @default.
- W4379165207 hasConcept C33923547 @default.
- W4379165207 hasConcept C41008148 @default.
- W4379165207 hasConcept C45374587 @default.
- W4379165207 hasConcept C48044578 @default.
- W4379165207 hasConcept C77088390 @default.
- W4379165207 hasConcept C80444323 @default.
- W4379165207 hasConcept C86803240 @default.
- W4379165207 hasConceptScore W4379165207C11413529 @default.
- W4379165207 hasConceptScore W4379165207C120314980 @default.
- W4379165207 hasConceptScore W4379165207C124681953 @default.
- W4379165207 hasConceptScore W4379165207C153083717 @default.
- W4379165207 hasConceptScore W4379165207C154690210 @default.
- W4379165207 hasConceptScore W4379165207C154945302 @default.
- W4379165207 hasConceptScore W4379165207C177264268 @default.
- W4379165207 hasConceptScore W4379165207C187691185 @default.
- W4379165207 hasConceptScore W4379165207C18903297 @default.
- W4379165207 hasConceptScore W4379165207C199360897 @default.
- W4379165207 hasConceptScore W4379165207C25016198 @default.
- W4379165207 hasConceptScore W4379165207C2524010 @default.
- W4379165207 hasConceptScore W4379165207C33923547 @default.
- W4379165207 hasConceptScore W4379165207C41008148 @default.
- W4379165207 hasConceptScore W4379165207C45374587 @default.
- W4379165207 hasConceptScore W4379165207C48044578 @default.
- W4379165207 hasConceptScore W4379165207C77088390 @default.
- W4379165207 hasConceptScore W4379165207C80444323 @default.
- W4379165207 hasConceptScore W4379165207C86803240 @default.
- W4379165207 hasLocation W43791652071 @default.
- W4379165207 hasOpenAccess W4379165207 @default.
- W4379165207 hasPrimaryLocation W43791652071 @default.
- W4379165207 hasRelatedWork W1596201972 @default.
- W4379165207 hasRelatedWork W1967954938 @default.
- W4379165207 hasRelatedWork W1986253068 @default.
- W4379165207 hasRelatedWork W2160425906 @default.
- W4379165207 hasRelatedWork W2364921833 @default.
- W4379165207 hasRelatedWork W2367503426 @default.
- W4379165207 hasRelatedWork W2375463041 @default.
- W4379165207 hasRelatedWork W2380963126 @default.
- W4379165207 hasRelatedWork W2385146268 @default.
- W4379165207 hasRelatedWork W2805391225 @default.
- W4379165207 isParatext "false" @default.
- W4379165207 isRetracted "false" @default.
- W4379165207 workType "book-chapter" @default.