Matches in SemOpenAlex for { <https://semopenalex.org/work/W3040175145> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3040175145 endingPage "392" @default.
- W3040175145 startingPage "385" @default.
- W3040175145 abstract "In this article, we present a new algorithm to solve the supervisory control problem over nonterminating processes modeled as <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink><tex-math notation=LaTeX>$omega$</tex-math></inline-formula> -regular automata. A solution to this problem was obtained by Thistle in 1995, which uses complex manipulations of automata. We show a new solution to the problem through a reduction to <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>obliging games</i> , which, in turn, can be reduced to <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink><tex-math notation=LaTeX>$omega$</tex-math></inline-formula> -regular reactive synthesis. Therefore, our reduction results in a symbolic algorithm based on manipulating sets of states." @default.
- W3040175145 created "2020-07-10" @default.
- W3040175145 creator A5039498617 @default.
- W3040175145 creator A5081010207 @default.
- W3040175145 date "2023-01-01" @default.
- W3040175145 modified "2023-09-26" @default.
- W3040175145 title "Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game" @default.
- W3040175145 cites W1481109946 @default.
- W3040175145 cites W1966652050 @default.
- W3040175145 cites W1979349468 @default.
- W3040175145 cites W1981568149 @default.
- W3040175145 cites W1984478483 @default.
- W3040175145 cites W2016206563 @default.
- W3040175145 cites W2071592303 @default.
- W3040175145 cites W2144965436 @default.
- W3040175145 cites W2163151383 @default.
- W3040175145 cites W2165489953 @default.
- W3040175145 cites W2166802518 @default.
- W3040175145 cites W2170933628 @default.
- W3040175145 cites W2297081251 @default.
- W3040175145 cites W2509841691 @default.
- W3040175145 cites W2914049204 @default.
- W3040175145 cites W2968991835 @default.
- W3040175145 cites W2981259319 @default.
- W3040175145 cites W3152651169 @default.
- W3040175145 cites W4205425069 @default.
- W3040175145 cites W4288853474 @default.
- W3040175145 doi "https://doi.org/10.1109/tac.2022.3143108" @default.
- W3040175145 hasPublicationYear "2023" @default.
- W3040175145 type Work @default.
- W3040175145 sameAs 3040175145 @default.
- W3040175145 citedByCount "2" @default.
- W3040175145 countsByYear W30401751452023 @default.
- W3040175145 crossrefType "journal-article" @default.
- W3040175145 hasAuthorship W3040175145A5039498617 @default.
- W3040175145 hasAuthorship W3040175145A5081010207 @default.
- W3040175145 hasBestOaLocation W30401751452 @default.
- W3040175145 hasConcept C111335779 @default.
- W3040175145 hasConcept C112505250 @default.
- W3040175145 hasConcept C11413529 @default.
- W3040175145 hasConcept C118615104 @default.
- W3040175145 hasConcept C136119220 @default.
- W3040175145 hasConcept C154945302 @default.
- W3040175145 hasConcept C199360897 @default.
- W3040175145 hasConcept C202444582 @default.
- W3040175145 hasConcept C2524010 @default.
- W3040175145 hasConcept C2775924081 @default.
- W3040175145 hasConcept C33923547 @default.
- W3040175145 hasConcept C41008148 @default.
- W3040175145 hasConcept C45357846 @default.
- W3040175145 hasConcept C80444323 @default.
- W3040175145 hasConcept C92991967 @default.
- W3040175145 hasConcept C94375191 @default.
- W3040175145 hasConceptScore W3040175145C111335779 @default.
- W3040175145 hasConceptScore W3040175145C112505250 @default.
- W3040175145 hasConceptScore W3040175145C11413529 @default.
- W3040175145 hasConceptScore W3040175145C118615104 @default.
- W3040175145 hasConceptScore W3040175145C136119220 @default.
- W3040175145 hasConceptScore W3040175145C154945302 @default.
- W3040175145 hasConceptScore W3040175145C199360897 @default.
- W3040175145 hasConceptScore W3040175145C202444582 @default.
- W3040175145 hasConceptScore W3040175145C2524010 @default.
- W3040175145 hasConceptScore W3040175145C2775924081 @default.
- W3040175145 hasConceptScore W3040175145C33923547 @default.
- W3040175145 hasConceptScore W3040175145C41008148 @default.
- W3040175145 hasConceptScore W3040175145C45357846 @default.
- W3040175145 hasConceptScore W3040175145C80444323 @default.
- W3040175145 hasConceptScore W3040175145C92991967 @default.
- W3040175145 hasConceptScore W3040175145C94375191 @default.
- W3040175145 hasIssue "1" @default.
- W3040175145 hasLocation W30401751451 @default.
- W3040175145 hasLocation W30401751452 @default.
- W3040175145 hasOpenAccess W3040175145 @default.
- W3040175145 hasPrimaryLocation W30401751451 @default.
- W3040175145 hasRelatedWork W118443536 @default.
- W3040175145 hasRelatedWork W2022606606 @default.
- W3040175145 hasRelatedWork W2073034928 @default.
- W3040175145 hasRelatedWork W2078381694 @default.
- W3040175145 hasRelatedWork W2104927240 @default.
- W3040175145 hasRelatedWork W2140197499 @default.
- W3040175145 hasRelatedWork W2571150272 @default.
- W3040175145 hasRelatedWork W2977476708 @default.
- W3040175145 hasRelatedWork W3162737159 @default.
- W3040175145 hasRelatedWork W4243252198 @default.
- W3040175145 hasVolume "68" @default.
- W3040175145 isParatext "false" @default.
- W3040175145 isRetracted "false" @default.
- W3040175145 magId "3040175145" @default.
- W3040175145 workType "article" @default.