Matches in SemOpenAlex for { <https://semopenalex.org/work/W3115584751> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3115584751 abstract "In the supervisory control theory of discrete event systems, since the supremal supervisor incorporates transition constrains of both the plant and the specification, the state size of the supervisor is usually large and the control logic is difficult to understand. Thus, computing for reduced supervisors with small sizes is meaningful both for designing and implementation. We propose an algorithm that a reduced supervisor can be separated from the supremal supervisor if a sufficient condition is satisfied. The algorithm for checking the sufficient condition is also presented. In the case that the sufficient condition is satisfied, a reduced supervisor can be computed in a complexity of O(m.n), where the integers m and n are the state number of the supremal supervisor and the cardinality of the event set, respectively. And the state size of the reduced supervisor is equal or less than that of the specification. Some examples are presented to illustrate the proposed approach." @default.
- W3115584751 created "2021-01-05" @default.
- W3115584751 creator A5039084091 @default.
- W3115584751 creator A5039192135 @default.
- W3115584751 creator A5054955661 @default.
- W3115584751 creator A5068872340 @default.
- W3115584751 date "2020-01-01" @default.
- W3115584751 modified "2023-10-16" @default.
- W3115584751 title "An Approach for Supervisor Reduction of Discrete-Event Systems" @default.
- W3115584751 cites W1979349468 @default.
- W3115584751 cites W2007737936 @default.
- W3115584751 cites W2016380948 @default.
- W3115584751 cites W2119106833 @default.
- W3115584751 cites W2153113788 @default.
- W3115584751 cites W2614826960 @default.
- W3115584751 cites W2783183134 @default.
- W3115584751 cites W2964292954 @default.
- W3115584751 cites W2966995099 @default.
- W3115584751 doi "https://doi.org/10.1007/978-3-030-65955-4_1" @default.
- W3115584751 hasPublicationYear "2020" @default.
- W3115584751 type Work @default.
- W3115584751 sameAs 3115584751 @default.
- W3115584751 citedByCount "0" @default.
- W3115584751 crossrefType "book-chapter" @default.
- W3115584751 hasAuthorship W3115584751A5039084091 @default.
- W3115584751 hasAuthorship W3115584751A5039192135 @default.
- W3115584751 hasAuthorship W3115584751A5054955661 @default.
- W3115584751 hasAuthorship W3115584751A5068872340 @default.
- W3115584751 hasConcept C111335779 @default.
- W3115584751 hasConcept C11413529 @default.
- W3115584751 hasConcept C121332964 @default.
- W3115584751 hasConcept C124101348 @default.
- W3115584751 hasConcept C154945302 @default.
- W3115584751 hasConcept C177264268 @default.
- W3115584751 hasConcept C17744445 @default.
- W3115584751 hasConcept C199360897 @default.
- W3115584751 hasConcept C199539241 @default.
- W3115584751 hasConcept C2524010 @default.
- W3115584751 hasConcept C2775924081 @default.
- W3115584751 hasConcept C2778693208 @default.
- W3115584751 hasConcept C2779110517 @default.
- W3115584751 hasConcept C2779662365 @default.
- W3115584751 hasConcept C33923547 @default.
- W3115584751 hasConcept C41008148 @default.
- W3115584751 hasConcept C48103436 @default.
- W3115584751 hasConcept C62520636 @default.
- W3115584751 hasConcept C80444323 @default.
- W3115584751 hasConcept C87117476 @default.
- W3115584751 hasConcept C92991967 @default.
- W3115584751 hasConceptScore W3115584751C111335779 @default.
- W3115584751 hasConceptScore W3115584751C11413529 @default.
- W3115584751 hasConceptScore W3115584751C121332964 @default.
- W3115584751 hasConceptScore W3115584751C124101348 @default.
- W3115584751 hasConceptScore W3115584751C154945302 @default.
- W3115584751 hasConceptScore W3115584751C177264268 @default.
- W3115584751 hasConceptScore W3115584751C17744445 @default.
- W3115584751 hasConceptScore W3115584751C199360897 @default.
- W3115584751 hasConceptScore W3115584751C199539241 @default.
- W3115584751 hasConceptScore W3115584751C2524010 @default.
- W3115584751 hasConceptScore W3115584751C2775924081 @default.
- W3115584751 hasConceptScore W3115584751C2778693208 @default.
- W3115584751 hasConceptScore W3115584751C2779110517 @default.
- W3115584751 hasConceptScore W3115584751C2779662365 @default.
- W3115584751 hasConceptScore W3115584751C33923547 @default.
- W3115584751 hasConceptScore W3115584751C41008148 @default.
- W3115584751 hasConceptScore W3115584751C48103436 @default.
- W3115584751 hasConceptScore W3115584751C62520636 @default.
- W3115584751 hasConceptScore W3115584751C80444323 @default.
- W3115584751 hasConceptScore W3115584751C87117476 @default.
- W3115584751 hasConceptScore W3115584751C92991967 @default.
- W3115584751 hasLocation W31155847511 @default.
- W3115584751 hasOpenAccess W3115584751 @default.
- W3115584751 hasPrimaryLocation W31155847511 @default.
- W3115584751 hasRelatedWork W1196129 @default.
- W3115584751 hasRelatedWork W12586248 @default.
- W3115584751 hasRelatedWork W13192752 @default.
- W3115584751 hasRelatedWork W1336860 @default.
- W3115584751 hasRelatedWork W3589288 @default.
- W3115584751 hasRelatedWork W4032102 @default.
- W3115584751 hasRelatedWork W5062080 @default.
- W3115584751 hasRelatedWork W5703516 @default.
- W3115584751 hasRelatedWork W5991371 @default.
- W3115584751 hasRelatedWork W8534063 @default.
- W3115584751 isParatext "false" @default.
- W3115584751 isRetracted "false" @default.
- W3115584751 magId "3115584751" @default.
- W3115584751 workType "book-chapter" @default.