FRINK Linked Data Fragments server

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

• W2497816991 endingPage "2154" @default.
• W2497816991 startingPage "2140" @default.
• W2497816991 abstract "The problem under consideration in this paper is that of enforcement by supervisory control of a given property on a partially-observed discrete-event system. We present a general methodology that is applicable to a large class of properties previously studied (individually) in the literature. These properties include, but are not restricted to, safety, diagnosability, opacity, detectability, anonymity and attractability. When the given system does not satisfy the considered property, the objective is to synthesize a supervisor that restricts the system's behavior and provably enforces the given property; moreover, it is required that this supervisor be maximally permissive. We consider the general case where the system's events are partitioned into observable and unobservable events, and controllable and uncontrollable events, and we do not make any assumptions about these two partitions; in particular, we do not assume that all controllable events are observable. Our uniform approach first maps the considered property to a suitably-defined information state for the partially-observed system and then develops a supervisor synthesis methodology based on a finite bipartite transition system that embeds all reachable information states and all admissible supervisory control strategies. This transition system is called the All Enforcement Structure (or AES). We present an algorithm for the construction of the AES and discuss its properties. Then we use the AES to develop a synthesis algorithm that constructs a supervisor that is provably property enforcing and maximally permissive. We illustrate the application of our uniform approach to the enforcement of the above-mentioned properties." @default.
• W2497816991 created "2016-08-23" @default.
• W2497816991 creator A5027585653 @default.
• W2497816991 creator A5034304769 @default.
• W2497816991 date "2016-08-01" @default.
• W2497816991 modified "2023-09-29" @default.
• W2497816991 title "A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems" @default.
• W2497816991 cites W1497487247 @default.
• W2497816991 cites W1979349468 @default.
• W2497816991 cites W1985787415 @default.
• W2497816991 cites W1988926301 @default.
• W2497816991 cites W2004111171 @default.
• W2497816991 cites W2012427794 @default.
• W2497816991 cites W2024623468 @default.
• W2497816991 cites W2024791970 @default.
• W2497816991 cites W2026960586 @default.
• W2497816991 cites W2028587915 @default.
• W2497816991 cites W2031373068 @default.
• W2497816991 cites W2037457229 @default.
• W2497816991 cites W2047798259 @default.
• W2497816991 cites W2048957981 @default.
• W2497816991 cites W2052227055 @default.
• W2497816991 cites W2056175800 @default.
• W2497816991 cites W2061598829 @default.
• W2497816991 cites W2064886960 @default.
• W2497816991 cites W2068354234 @default.
• W2497816991 cites W2086213361 @default.
• W2497816991 cites W2094033355 @default.
• W2497816991 cites W2110169180 @default.
• W2497816991 cites W2111981164 @default.
• W2497816991 cites W2126410464 @default.
• W2497816991 cites W2128237019 @default.
• W2497816991 cites W2148878165 @default.
• W2497816991 cites W2159024459 @default.
• W2497816991 cites W2162000948 @default.
• W2497816991 cites W2342445930 @default.
• W2497816991 cites W2505803570 @default.
• W2497816991 cites W2509841691 @default.
• W2497816991 cites W2550886631 @default.
• W2497816991 cites W2912987268 @default.
• W2497816991 cites W3162365952 @default.
• W2497816991 doi "https://doi.org/10.1109/tac.2015.2484359" @default.
• W2497816991 hasPublicationYear "2016" @default.
• W2497816991 type Work @default.
• W2497816991 sameAs 2497816991 @default.
• W2497816991 citedByCount "129" @default.
• W2497816991 countsByYear W24978169912016 @default.
• W2497816991 countsByYear W24978169912017 @default.
• W2497816991 countsByYear W24978169912018 @default.
• W2497816991 countsByYear W24978169912019 @default.
• W2497816991 countsByYear W24978169912020 @default.
• W2497816991 countsByYear W24978169912021 @default.
• W2497816991 countsByYear W24978169912022 @default.
• W2497816991 countsByYear W24978169912023 @default.
• W2497816991 crossrefType "journal-article" @default.
• W2497816991 hasAuthorship W2497816991A5027585653 @default.
• W2497816991 hasAuthorship W2497816991A5034304769 @default.
• W2497816991 hasConcept C111472728 @default.
• W2497816991 hasConcept C121332964 @default.
• W2497816991 hasConcept C138885662 @default.
• W2497816991 hasConcept C154945302 @default.
• W2497816991 hasConcept C189950617 @default.
• W2497816991 hasConcept C2775924081 @default.
• W2497816991 hasConcept C2779662365 @default.
• W2497816991 hasConcept C33923547 @default.
• W2497816991 hasConcept C41008148 @default.
• W2497816991 hasConcept C47446073 @default.
• W2497816991 hasConcept C62520636 @default.
• W2497816991 hasConceptScore W2497816991C111472728 @default.
• W2497816991 hasConceptScore W2497816991C121332964 @default.
• W2497816991 hasConceptScore W2497816991C138885662 @default.
• W2497816991 hasConceptScore W2497816991C154945302 @default.
• W2497816991 hasConceptScore W2497816991C189950617 @default.
• W2497816991 hasConceptScore W2497816991C2775924081 @default.
• W2497816991 hasConceptScore W2497816991C2779662365 @default.
• W2497816991 hasConceptScore W2497816991C33923547 @default.
• W2497816991 hasConceptScore W2497816991C41008148 @default.
• W2497816991 hasConceptScore W2497816991C47446073 @default.
• W2497816991 hasConceptScore W2497816991C62520636 @default.
• W2497816991 hasFunder F4320306076 @default.
• W2497816991 hasIssue "8" @default.
• W2497816991 hasLocation W24978169911 @default.
• W2497816991 hasOpenAccess W2497816991 @default.
• W2497816991 hasPrimaryLocation W24978169911 @default.
• W2497816991 hasRelatedWork W1530101107 @default.
• W2497816991 hasRelatedWork W1554056448 @default.
• W2497816991 hasRelatedWork W1558456818 @default.
• W2497816991 hasRelatedWork W1653282108 @default.
• W2497816991 hasRelatedWork W1981243725 @default.
• W2497816991 hasRelatedWork W2020478166 @default.
• W2497816991 hasRelatedWork W2063323033 @default.
• W2497816991 hasRelatedWork W2580864378 @default.
• W2497816991 hasRelatedWork W4246401696 @default.
• W2497816991 hasRelatedWork W4313644249 @default.
• W2497816991 hasVolume "61" @default.
• W2497816991 isParatext "false" @default.
• W2497816991 isRetracted "false" @default.
• W2497816991 magId "2497816991" @default.

• next