FRINK Linked Data Fragments server

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

• W149641734 endingPage "92" @default.
• W149641734 startingPage "87" @default.
• W149641734 abstract "This paper addresses the bisimilarity control problem of discrete event systems (DESs) under full observations and partial observations, in which both the plant and the specification are allowed to be nondeterministic. The main contribution is the derivation of necessary and sufficient conditions for the existence of a supervisor that achieves a given specification in terms of bisimulation equivalence. The notions of simulation-based controllability and simulation-based observability are proposed respectively, which are generalizations of the counterparts in the classical supervisory control in the sense of language equivalence. With these new notations, the main results here can be presented as the controllability and observability theorems for bisimulation." @default.
• W149641734 created "2016-06-24" @default.
• W149641734 creator A5026963602 @default.
• W149641734 creator A5045445273 @default.
• W149641734 creator A5049612324 @default.
• W149641734 date "2011-07-22" @default.
• W149641734 modified "2023-09-26" @default.
• W149641734 title "Bisimilarity control of nondeterministic discrete event systems" @default.
• W149641734 cites W1566527307 @default.
• W149641734 cites W1587663028 @default.
• W149641734 cites W1596123009 @default.
• W149641734 cites W1979349468 @default.
• W149641734 cites W2033300961 @default.
• W149641734 cites W2090771707 @default.
• W149641734 cites W2091316349 @default.
• W149641734 cites W2093392395 @default.
• W149641734 cites W2095624968 @default.
• W149641734 cites W2097632535 @default.
• W149641734 cites W2120552118 @default.
• W149641734 hasPublicationYear "2011" @default.
• W149641734 type Work @default.
• W149641734 sameAs 149641734 @default.
• W149641734 citedByCount "2" @default.
• W149641734 countsByYear W1496417342012 @default.
• W149641734 crossrefType "proceedings-article" @default.
• W149641734 hasAuthorship W149641734A5026963602 @default.
• W149641734 hasAuthorship W149641734A5045445273 @default.
• W149641734 hasAuthorship W149641734A5049612324 @default.
• W149641734 hasConcept C112505250 @default.
• W149641734 hasConcept C118615104 @default.
• W149641734 hasConcept C135315306 @default.
• W149641734 hasConcept C136119220 @default.
• W149641734 hasConcept C154945302 @default.
• W149641734 hasConcept C176181172 @default.
• W149641734 hasConcept C17744445 @default.
• W149641734 hasConcept C199360897 @default.
• W149641734 hasConcept C199539241 @default.
• W149641734 hasConcept C202444582 @default.
• W149641734 hasConcept C2775924081 @default.
• W149641734 hasConcept C2776411971 @default.
• W149641734 hasConcept C2779110517 @default.
• W149641734 hasConcept C2780069185 @default.
• W149641734 hasConcept C28826006 @default.
• W149641734 hasConcept C32866371 @default.
• W149641734 hasConcept C33923547 @default.
• W149641734 hasConcept C36299963 @default.
• W149641734 hasConcept C41008148 @default.
• W149641734 hasConcept C45357846 @default.
• W149641734 hasConcept C48209547 @default.
• W149641734 hasConcept C80444323 @default.
• W149641734 hasConcept C92991967 @default.
• W149641734 hasConcept C94375191 @default.
• W149641734 hasConcept C96314035 @default.
• W149641734 hasConceptScore W149641734C112505250 @default.
• W149641734 hasConceptScore W149641734C118615104 @default.
• W149641734 hasConceptScore W149641734C135315306 @default.
• W149641734 hasConceptScore W149641734C136119220 @default.
• W149641734 hasConceptScore W149641734C154945302 @default.
• W149641734 hasConceptScore W149641734C176181172 @default.
• W149641734 hasConceptScore W149641734C17744445 @default.
• W149641734 hasConceptScore W149641734C199360897 @default.
• W149641734 hasConceptScore W149641734C199539241 @default.
• W149641734 hasConceptScore W149641734C202444582 @default.
• W149641734 hasConceptScore W149641734C2775924081 @default.
• W149641734 hasConceptScore W149641734C2776411971 @default.
• W149641734 hasConceptScore W149641734C2779110517 @default.
• W149641734 hasConceptScore W149641734C2780069185 @default.
• W149641734 hasConceptScore W149641734C28826006 @default.
• W149641734 hasConceptScore W149641734C32866371 @default.
• W149641734 hasConceptScore W149641734C33923547 @default.
• W149641734 hasConceptScore W149641734C36299963 @default.
• W149641734 hasConceptScore W149641734C41008148 @default.
• W149641734 hasConceptScore W149641734C45357846 @default.
• W149641734 hasConceptScore W149641734C48209547 @default.
• W149641734 hasConceptScore W149641734C80444323 @default.
• W149641734 hasConceptScore W149641734C92991967 @default.
• W149641734 hasConceptScore W149641734C94375191 @default.
• W149641734 hasConceptScore W149641734C96314035 @default.
• W149641734 hasLocation W1496417341 @default.
• W149641734 hasOpenAccess W149641734 @default.
• W149641734 hasPrimaryLocation W1496417341 @default.
• W149641734 hasRelatedWork W1486671822 @default.
• W149641734 hasRelatedWork W1556073382 @default.
• W149641734 hasRelatedWork W1975701123 @default.
• W149641734 hasRelatedWork W2041961320 @default.
• W149641734 hasRelatedWork W2047302006 @default.
• W149641734 hasRelatedWork W2071654715 @default.
• W149641734 hasRelatedWork W2087109755 @default.
• W149641734 hasRelatedWork W2101094514 @default.
• W149641734 hasRelatedWork W2109080678 @default.
• W149641734 hasRelatedWork W2113256684 @default.
• W149641734 hasRelatedWork W2140907939 @default.
• W149641734 hasRelatedWork W2151745809 @default.
• W149641734 hasRelatedWork W2161544952 @default.
• W149641734 hasRelatedWork W2170070938 @default.
• W149641734 hasRelatedWork W2279979168 @default.
• W149641734 hasRelatedWork W2312352359 @default.
• W149641734 hasRelatedWork W2562650109 @default.

• next