Matches in SemOpenAlex for { <https://semopenalex.org/work/W2101094514> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2101094514 endingPage "290" @default.
- W2101094514 startingPage "287" @default.
- W2101094514 abstract "This paper studies the supervisory control of nondeterministic discrete event systems to achieve a bisimulation equivalence between the controlled system and the deterministic specification. In particular, a necessary and sufficient condition is given for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a bisimilarity enforcing supervisor is constructed. Otherwise, two methods are provided for synthesizing supremal feasible sub-specifications." @default.
- W2101094514 created "2016-06-24" @default.
- W2101094514 creator A5015505211 @default.
- W2101094514 creator A5017205006 @default.
- W2101094514 creator A5045445273 @default.
- W2101094514 date "2014-01-01" @default.
- W2101094514 modified "2023-10-01" @default.
- W2101094514 title "Bisimilarity enforcing supervisory control for deterministic specifications" @default.
- W2101094514 cites W2044323243 @default.
- W2101094514 cites W2056864430 @default.
- W2101094514 cites W2082784990 @default.
- W2101094514 cites W2083917140 @default.
- W2101094514 cites W2964186632 @default.
- W2101094514 cites W4251892696 @default.
- W2101094514 doi "https://doi.org/10.1016/j.automatica.2013.09.025" @default.
- W2101094514 hasPublicationYear "2014" @default.
- W2101094514 type Work @default.
- W2101094514 sameAs 2101094514 @default.
- W2101094514 citedByCount "12" @default.
- W2101094514 countsByYear W21010945142017 @default.
- W2101094514 countsByYear W21010945142018 @default.
- W2101094514 countsByYear W21010945142019 @default.
- W2101094514 countsByYear W21010945142020 @default.
- W2101094514 countsByYear W21010945142021 @default.
- W2101094514 countsByYear W21010945142022 @default.
- W2101094514 countsByYear W21010945142023 @default.
- W2101094514 crossrefType "journal-article" @default.
- W2101094514 hasAuthorship W2101094514A5015505211 @default.
- W2101094514 hasAuthorship W2101094514A5017205006 @default.
- W2101094514 hasAuthorship W2101094514A5045445273 @default.
- W2101094514 hasBestOaLocation W21010945142 @default.
- W2101094514 hasConcept C112505250 @default.
- W2101094514 hasConcept C118615104 @default.
- W2101094514 hasConcept C135315306 @default.
- W2101094514 hasConcept C136119220 @default.
- W2101094514 hasConcept C154945302 @default.
- W2101094514 hasConcept C176181172 @default.
- W2101094514 hasConcept C17744445 @default.
- W2101094514 hasConcept C199539241 @default.
- W2101094514 hasConcept C202444582 @default.
- W2101094514 hasConcept C2775924081 @default.
- W2101094514 hasConcept C2778693208 @default.
- W2101094514 hasConcept C2779110517 @default.
- W2101094514 hasConcept C2780069185 @default.
- W2101094514 hasConcept C33923547 @default.
- W2101094514 hasConcept C41008148 @default.
- W2101094514 hasConcept C47446073 @default.
- W2101094514 hasConcept C80444323 @default.
- W2101094514 hasConcept C92991967 @default.
- W2101094514 hasConceptScore W2101094514C112505250 @default.
- W2101094514 hasConceptScore W2101094514C118615104 @default.
- W2101094514 hasConceptScore W2101094514C135315306 @default.
- W2101094514 hasConceptScore W2101094514C136119220 @default.
- W2101094514 hasConceptScore W2101094514C154945302 @default.
- W2101094514 hasConceptScore W2101094514C176181172 @default.
- W2101094514 hasConceptScore W2101094514C17744445 @default.
- W2101094514 hasConceptScore W2101094514C199539241 @default.
- W2101094514 hasConceptScore W2101094514C202444582 @default.
- W2101094514 hasConceptScore W2101094514C2775924081 @default.
- W2101094514 hasConceptScore W2101094514C2778693208 @default.
- W2101094514 hasConceptScore W2101094514C2779110517 @default.
- W2101094514 hasConceptScore W2101094514C2780069185 @default.
- W2101094514 hasConceptScore W2101094514C33923547 @default.
- W2101094514 hasConceptScore W2101094514C41008148 @default.
- W2101094514 hasConceptScore W2101094514C47446073 @default.
- W2101094514 hasConceptScore W2101094514C80444323 @default.
- W2101094514 hasConceptScore W2101094514C92991967 @default.
- W2101094514 hasIssue "1" @default.
- W2101094514 hasLocation W21010945141 @default.
- W2101094514 hasLocation W21010945142 @default.
- W2101094514 hasLocation W21010945143 @default.
- W2101094514 hasOpenAccess W2101094514 @default.
- W2101094514 hasPrimaryLocation W21010945141 @default.
- W2101094514 hasRelatedWork W1607383539 @default.
- W2101094514 hasRelatedWork W1965663540 @default.
- W2101094514 hasRelatedWork W2004022314 @default.
- W2101094514 hasRelatedWork W2044580602 @default.
- W2101094514 hasRelatedWork W2044592721 @default.
- W2101094514 hasRelatedWork W2047302006 @default.
- W2101094514 hasRelatedWork W2071102747 @default.
- W2101094514 hasRelatedWork W2101094514 @default.
- W2101094514 hasRelatedWork W3008639176 @default.
- W2101094514 hasRelatedWork W3128389482 @default.
- W2101094514 hasVolume "50" @default.
- W2101094514 isParatext "false" @default.
- W2101094514 isRetracted "false" @default.
- W2101094514 magId "2101094514" @default.
- W2101094514 workType "article" @default.