Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952531852> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2952531852 abstract "In the formal approach to reactive controller synthesis, a symbolic controller for a possibly hybrid system is obtained by algorithmically computing a winning strategy in a two-player game. Such game-solving algorithms scale poorly as the size of the game graph increases. However, in many applications, the game graph has a natural hierarchical structure. In this paper, we propose a modeling formalism and a synthesis algorithm that exploits this hierarchical structure for more scalable synthesis. We define local games on hierarchical graphs as a modeling formalism which decomposes a large-scale reactive synthesis problem in two dimensions. First, the construction of a hierarchical game graph introduces abstraction layers, where each layer is again a two-player game graph. Second, every such layer is decomposed into multiple local game graphs, each corresponding to a node in the higher level game graph. While local games have the potential to reduce the state space for controller synthesis, they lead to more complex synthesis problems where strategies computed for one local game can impose additional requirements on lower-level local games. Our second contribution is a procedure to construct a dynamic controller for local game graphs over hierarchies. The controller computes assume-admissible winning strategies that satisfy local specifications in the presence of environment assumptions, and dynamically updates specifications and strategies due to interactions between games at different abstraction layers at each step of the play. We show that our synthesis procedure is sound: the controller constructs a play which satisfies all local specifications. We illustrate our results through an example controlling an autonomous robot in a known, multistory building." @default.
- W2952531852 created "2019-06-27" @default.
- W2952531852 creator A5039498617 @default.
- W2952531852 creator A5081010207 @default.
- W2952531852 date "2015-10-25" @default.
- W2952531852 modified "2023-09-22" @default.
- W2952531852 title "Dynamic Hierarchical Reactive Controller Synthesis" @default.
- W2952531852 cites W1492901378 @default.
- W2952531852 cites W1518436864 @default.
- W2952531852 cites W1540883472 @default.
- W2952531852 cites W1565544898 @default.
- W2952531852 cites W1573304844 @default.
- W2952531852 cites W1823124454 @default.
- W2952531852 cites W1865597116 @default.
- W2952531852 cites W1973013779 @default.
- W2952531852 cites W1984451181 @default.
- W2952531852 cites W2004796166 @default.
- W2952531852 cites W2037919977 @default.
- W2952531852 cites W2043100293 @default.
- W2952531852 cites W2045811332 @default.
- W2952531852 cites W2064572756 @default.
- W2952531852 cites W2070956860 @default.
- W2952531852 cites W2121894842 @default.
- W2952531852 cites W2128263973 @default.
- W2952531852 cites W2135639338 @default.
- W2952531852 cites W2141725522 @default.
- W2952531852 cites W2141841102 @default.
- W2952531852 cites W2164451522 @default.
- W2952531852 cites W2170933628 @default.
- W2952531852 cites W2181097666 @default.
- W2952531852 cites W2268014521 @default.
- W2952531852 cites W2293062614 @default.
- W2952531852 cites W2497572843 @default.
- W2952531852 cites W2565969279 @default.
- W2952531852 cites W3037762468 @default.
- W2952531852 cites W7981553 @default.
- W2952531852 hasPublicationYear "2015" @default.
- W2952531852 type Work @default.
- W2952531852 sameAs 2952531852 @default.
- W2952531852 citedByCount "0" @default.
- W2952531852 crossrefType "posted-content" @default.
- W2952531852 hasAuthorship W2952531852A5039498617 @default.
- W2952531852 hasAuthorship W2952531852A5081010207 @default.
- W2952531852 hasConcept C102234262 @default.
- W2952531852 hasConcept C120314980 @default.
- W2952531852 hasConcept C132525143 @default.
- W2952531852 hasConcept C142362112 @default.
- W2952531852 hasConcept C144237770 @default.
- W2952531852 hasConcept C153349607 @default.
- W2952531852 hasConcept C177142836 @default.
- W2952531852 hasConcept C33923547 @default.
- W2952531852 hasConcept C41008148 @default.
- W2952531852 hasConcept C48044578 @default.
- W2952531852 hasConcept C558565934 @default.
- W2952531852 hasConcept C73301696 @default.
- W2952531852 hasConcept C73795354 @default.
- W2952531852 hasConcept C77088390 @default.
- W2952531852 hasConcept C80444323 @default.
- W2952531852 hasConceptScore W2952531852C102234262 @default.
- W2952531852 hasConceptScore W2952531852C120314980 @default.
- W2952531852 hasConceptScore W2952531852C132525143 @default.
- W2952531852 hasConceptScore W2952531852C142362112 @default.
- W2952531852 hasConceptScore W2952531852C144237770 @default.
- W2952531852 hasConceptScore W2952531852C153349607 @default.
- W2952531852 hasConceptScore W2952531852C177142836 @default.
- W2952531852 hasConceptScore W2952531852C33923547 @default.
- W2952531852 hasConceptScore W2952531852C41008148 @default.
- W2952531852 hasConceptScore W2952531852C48044578 @default.
- W2952531852 hasConceptScore W2952531852C558565934 @default.
- W2952531852 hasConceptScore W2952531852C73301696 @default.
- W2952531852 hasConceptScore W2952531852C73795354 @default.
- W2952531852 hasConceptScore W2952531852C77088390 @default.
- W2952531852 hasConceptScore W2952531852C80444323 @default.
- W2952531852 hasLocation W29525318521 @default.
- W2952531852 hasOpenAccess W2952531852 @default.
- W2952531852 hasPrimaryLocation W29525318521 @default.
- W2952531852 hasRelatedWork W131492591 @default.
- W2952531852 hasRelatedWork W1484453694 @default.
- W2952531852 hasRelatedWork W1529242391 @default.
- W2952531852 hasRelatedWork W1870595937 @default.
- W2952531852 hasRelatedWork W2008393562 @default.
- W2952531852 hasRelatedWork W2080850041 @default.
- W2952531852 hasRelatedWork W2091358801 @default.
- W2952531852 hasRelatedWork W2123894953 @default.
- W2952531852 hasRelatedWork W2140673956 @default.
- W2952531852 hasRelatedWork W2150628966 @default.
- W2952531852 hasRelatedWork W2344776626 @default.
- W2952531852 hasRelatedWork W2407693706 @default.
- W2952531852 hasRelatedWork W2551704252 @default.
- W2952531852 hasRelatedWork W2908298749 @default.
- W2952531852 hasRelatedWork W2950666033 @default.
- W2952531852 hasRelatedWork W2952714017 @default.
- W2952531852 hasRelatedWork W2986800043 @default.
- W2952531852 hasRelatedWork W3137578428 @default.
- W2952531852 hasRelatedWork W2101696653 @default.
- W2952531852 hasRelatedWork W2182669547 @default.
- W2952531852 isParatext "false" @default.
- W2952531852 isRetracted "false" @default.
- W2952531852 magId "2952531852" @default.
- W2952531852 workType "article" @default.