FRINK Linked Data Fragments server

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

• W2890883061 abstract "This paper proposes a new highly scalable and asymptotically optimal control synthesis algorithm from linear temporal logic specifications, called $text{STyLuS}^{*}$ for large-Scale optimal Temporal Logic Synthesis, that is designed to solve complex temporal planning problems in large-scale multi-robot systems. Existing planning approaches with temporal logic specifications rely on graph search techniques applied to a product automaton constructed among the robots. In our previous work, we have proposed a more tractable sampling-based algorithm that builds incrementally trees that approximate the state-space and transitions of the synchronous product automaton and does not require sophisticated graph search techniques. Here, we extend our previous work by introducing bias in the sampling process which is guided by transitions in the B$ddot{text{u}}$chi automaton that belong to the shortest path to the accepting states. This allows us to synthesize optimal motion plans from product automata with hundreds of orders of magnitude more states than those that existing optimal control synthesis methods or off-the-shelf model checkers can manipulate. We show that $text{STyLuS}^{*}$ is probabilistically complete and asymptotically optimal and has exponential convergence rate. This is the first time that convergence rate results are provided for sampling-based optimal control synthesis methods. We provide simulation results that show that $text{STyLuS}^{*}$ can synthesize optimal motion plans for very large multi-robot systems which is impossible using state-of-the-art methods." @default.
• W2890883061 created "2018-09-27" @default.
• W2890883061 creator A5014874021 @default.
• W2890883061 creator A5080808780 @default.
• W2890883061 date "2018-09-21" @default.
• W2890883061 modified "2023-09-27" @default.
• W2890883061 title "STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems." @default.
• W2890883061 cites W1489391022 @default.
• W2890883061 cites W1498432697 @default.
• W2890883061 cites W1499948104 @default.
• W2890883061 cites W1625390266 @default.
• W2890883061 cites W1864112212 @default.
• W2890883061 cites W1943502734 @default.
• W2890883061 cites W1970269621 @default.
• W2890883061 cites W1971086298 @default.
• W2890883061 cites W2000117665 @default.
• W2890883061 cites W2004620590 @default.
• W2890883061 cites W2007533680 @default.
• W2890883061 cites W2018380024 @default.
• W2890883061 cites W2019881090 @default.
• W2890883061 cites W2038131922 @default.
• W2890883061 cites W2060799405 @default.
• W2890883061 cites W2073548775 @default.
• W2890883061 cites W2077245982 @default.
• W2890883061 cites W2077578897 @default.
• W2890883061 cites W2089003125 @default.
• W2890883061 cites W2101043416 @default.
• W2890883061 cites W2116647221 @default.
• W2890883061 cites W2117927826 @default.
• W2890883061 cites W2126316555 @default.
• W2890883061 cites W2129226651 @default.
• W2890883061 cites W2141789581 @default.
• W2890883061 cites W2146257001 @default.
• W2890883061 cites W2151958719 @default.
• W2890883061 cites W2153166592 @default.
• W2890883061 cites W2163941698 @default.
• W2890883061 cites W2165744968 @default.
• W2890883061 cites W2290403162 @default.
• W2890883061 cites W233122475 @default.
• W2890883061 cites W2554009248 @default.
• W2890883061 cites W2607319504 @default.
• W2890883061 cites W2736666525 @default.
• W2890883061 cites W2789239344 @default.
• W2890883061 cites W2798923485 @default.
• W2890883061 cites W2804655496 @default.
• W2890883061 cites W2890069132 @default.
• W2890883061 cites W2907362034 @default.
• W2890883061 cites W2913190903 @default.
• W2890883061 cites W2913325211 @default.
• W2890883061 cites W2913459036 @default.
• W2890883061 cites W2914771567 @default.
• W2890883061 cites W2940919972 @default.
• W2890883061 cites W2963117388 @default.
• W2890883061 cites W2963439114 @default.
• W2890883061 cites W2963596362 @default.
• W2890883061 cites W3151793825 @default.
• W2890883061 cites W3174114811 @default.
• W2890883061 cites W639317911 @default.
• W2890883061 cites W2498019581 @default.
• W2890883061 hasPublicationYear "2018" @default.
• W2890883061 type Work @default.
• W2890883061 sameAs 2890883061 @default.
• W2890883061 citedByCount "0" @default.
• W2890883061 crossrefType "posted-content" @default.
• W2890883061 hasAuthorship W2890883061A5014874021 @default.
• W2890883061 hasAuthorship W2890883061A5080808780 @default.
• W2890883061 hasConcept C112505250 @default.
• W2890883061 hasConcept C11413529 @default.
• W2890883061 hasConcept C132525143 @default.
• W2890883061 hasConcept C154945302 @default.
• W2890883061 hasConcept C164086593 @default.
• W2890883061 hasConcept C181789720 @default.
• W2890883061 hasConcept C25016198 @default.
• W2890883061 hasConcept C2776028153 @default.
• W2890883061 hasConcept C31972630 @default.
• W2890883061 hasConcept C41008148 @default.
• W2890883061 hasConcept C4777664 @default.
• W2890883061 hasConcept C80444323 @default.
• W2890883061 hasConcept C81074085 @default.
• W2890883061 hasConcept C90509273 @default.
• W2890883061 hasConceptScore W2890883061C112505250 @default.
• W2890883061 hasConceptScore W2890883061C11413529 @default.
• W2890883061 hasConceptScore W2890883061C132525143 @default.
• W2890883061 hasConceptScore W2890883061C154945302 @default.
• W2890883061 hasConceptScore W2890883061C164086593 @default.
• W2890883061 hasConceptScore W2890883061C181789720 @default.
• W2890883061 hasConceptScore W2890883061C25016198 @default.
• W2890883061 hasConceptScore W2890883061C2776028153 @default.
• W2890883061 hasConceptScore W2890883061C31972630 @default.
• W2890883061 hasConceptScore W2890883061C41008148 @default.
• W2890883061 hasConceptScore W2890883061C4777664 @default.
• W2890883061 hasConceptScore W2890883061C80444323 @default.
• W2890883061 hasConceptScore W2890883061C81074085 @default.
• W2890883061 hasConceptScore W2890883061C90509273 @default.
• W2890883061 hasLocation W28908830611 @default.
• W2890883061 hasOpenAccess W2890883061 @default.
• W2890883061 hasPrimaryLocation W28908830611 @default.
• W2890883061 hasRelatedWork W1092773953 @default.
• W2890883061 hasRelatedWork W1543034107 @default.
• W2890883061 hasRelatedWork W175405321 @default.

• next