FRINK Linked Data Fragments server

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

• W2036717684 abstract "Abstract We present a formal connection between supervisory control theory in the field of control engineering and reactive synthesis in the field of formal methods. We focus on the case of fully-observed discrete-event systems that are controlled by a single controller/supervisor in order to achieve a safety specification and a non-blocking specification. The connection is shown by a reduction of the corresponding supervisory control problem to a problem of reactive synthesis with plants and maximal permissiveness, subject to a CTL temporal logic specification. In order to establish the desired reduction, we prove two new results regarding (i) a simplified version of the standard supervisory control problem and (ii) a class of reactive synthesis problems that admit unique maximally permissive solutions. The reduction complements prior work at the boundary of supervisory control and reactive synthesis." @default.
• W2036717684 created "2016-06-24" @default.
• W2036717684 creator A5000059818 @default.
• W2036717684 creator A5027585653 @default.
• W2036717684 creator A5050112206 @default.
• W2036717684 creator A5080042319 @default.
• W2036717684 date "2014-01-01" @default.
• W2036717684 modified "2023-09-25" @default.
• W2036717684 title "Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control" @default.
• W2036717684 cites W1560264589 @default.
• W2036717684 cites W1569051713 @default.
• W2036717684 cites W1979349468 @default.
• W2036717684 cites W1981568149 @default.
• W2036717684 cites W2004306067 @default.
• W2036717684 cites W2016206563 @default.
• W2036717684 cites W2024941371 @default.
• W2036717684 cites W2025459956 @default.
• W2036717684 cites W2054099039 @default.
• W2036717684 cites W2071592303 @default.
• W2036717684 cites W2072078345 @default.
• W2036717684 cites W2091812470 @default.
• W2036717684 cites W2178250883 @default.
• W2036717684 cites W4292930798 @default.
• W2036717684 doi "https://doi.org/10.3182/20140514-3-fr-4046.00018" @default.
• W2036717684 hasPublicationYear "2014" @default.
• W2036717684 type Work @default.
• W2036717684 sameAs 2036717684 @default.
• W2036717684 citedByCount "17" @default.
• W2036717684 countsByYear W20367176842014 @default.
• W2036717684 countsByYear W20367176842015 @default.
• W2036717684 countsByYear W20367176842016 @default.
• W2036717684 countsByYear W20367176842017 @default.
• W2036717684 countsByYear W20367176842018 @default.
• W2036717684 countsByYear W20367176842019 @default.
• W2036717684 countsByYear W20367176842020 @default.
• W2036717684 countsByYear W20367176842021 @default.
• W2036717684 crossrefType "journal-article" @default.
• W2036717684 hasAuthorship W2036717684A5000059818 @default.
• W2036717684 hasAuthorship W2036717684A5027585653 @default.
• W2036717684 hasAuthorship W2036717684A5050112206 @default.
• W2036717684 hasAuthorship W2036717684A5080042319 @default.
• W2036717684 hasConcept C111335779 @default.
• W2036717684 hasConcept C127413603 @default.
• W2036717684 hasConcept C133731056 @default.
• W2036717684 hasConcept C154945302 @default.
• W2036717684 hasConcept C174348530 @default.
• W2036717684 hasConcept C17744445 @default.
• W2036717684 hasConcept C199360897 @default.
• W2036717684 hasConcept C199539241 @default.
• W2036717684 hasConcept C203479927 @default.
• W2036717684 hasConcept C2524010 @default.
• W2036717684 hasConcept C2775924081 @default.
• W2036717684 hasConcept C2778693208 @default.
• W2036717684 hasConcept C2779110517 @default.
• W2036717684 hasConcept C31258907 @default.
• W2036717684 hasConcept C33923547 @default.
• W2036717684 hasConcept C41008148 @default.
• W2036717684 hasConcept C47446073 @default.
• W2036717684 hasConcept C6557445 @default.
• W2036717684 hasConcept C75606506 @default.
• W2036717684 hasConcept C86803240 @default.
• W2036717684 hasConcept C92991967 @default.
• W2036717684 hasConceptScore W2036717684C111335779 @default.
• W2036717684 hasConceptScore W2036717684C127413603 @default.
• W2036717684 hasConceptScore W2036717684C133731056 @default.
• W2036717684 hasConceptScore W2036717684C154945302 @default.
• W2036717684 hasConceptScore W2036717684C174348530 @default.
• W2036717684 hasConceptScore W2036717684C17744445 @default.
• W2036717684 hasConceptScore W2036717684C199360897 @default.
• W2036717684 hasConceptScore W2036717684C199539241 @default.
• W2036717684 hasConceptScore W2036717684C203479927 @default.
• W2036717684 hasConceptScore W2036717684C2524010 @default.
• W2036717684 hasConceptScore W2036717684C2775924081 @default.
• W2036717684 hasConceptScore W2036717684C2778693208 @default.
• W2036717684 hasConceptScore W2036717684C2779110517 @default.
• W2036717684 hasConceptScore W2036717684C31258907 @default.
• W2036717684 hasConceptScore W2036717684C33923547 @default.
• W2036717684 hasConceptScore W2036717684C41008148 @default.
• W2036717684 hasConceptScore W2036717684C47446073 @default.
• W2036717684 hasConceptScore W2036717684C6557445 @default.
• W2036717684 hasConceptScore W2036717684C75606506 @default.
• W2036717684 hasConceptScore W2036717684C86803240 @default.
• W2036717684 hasConceptScore W2036717684C92991967 @default.
• W2036717684 hasLocation W20367176841 @default.
• W2036717684 hasOpenAccess W2036717684 @default.
• W2036717684 hasPrimaryLocation W20367176841 @default.
• W2036717684 hasRelatedWork W1585701699 @default.
• W2036717684 hasRelatedWork W1587663028 @default.
• W2036717684 hasRelatedWork W1678564987 @default.
• W2036717684 hasRelatedWork W1979349468 @default.
• W2036717684 hasRelatedWork W2016206563 @default.
• W2036717684 hasRelatedWork W2029560807 @default.
• W2036717684 hasRelatedWork W2054099039 @default.
• W2036717684 hasRelatedWork W2055342474 @default.
• W2036717684 hasRelatedWork W2059057465 @default.
• W2036717684 hasRelatedWork W2127057182 @default.
• W2036717684 hasRelatedWork W2130442838 @default.
• W2036717684 hasRelatedWork W2164149977 @default.
• W2036717684 hasRelatedWork W2178250883 @default.
• W2036717684 hasRelatedWork W2297081251 @default.

• next