Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002844557> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2002844557 endingPage "170" @default.
- W2002844557 startingPage "165" @default.
- W2002844557 abstract "A nonblocking supervisory control problem for uncertain discrete event systems (DESs) is considered, in which a Δ-transition describes the behaviour caused by internal and unobservable events. It is assumed that at a state with the assigned positive integer value p, a system experiences at most a p-step state transition by Δ. However, for some states, the internal and unobservable events may occur but the assigned positive integer values for the states are not known exactly. For the uncertain DESs, it is shown that they can be represented as a set of some non-deterministic models. Specifically, this paper presents necessary and sufficient conditions for the existence of a robust and non-blocking supervisor that achieves a given specification language for any model in the set. Moreover, when a given specification language does not satisfy the developed existence conditions, a supervisor synthesis problem is addressed to find the supremal sublanguage of the specification satisfying the conditions." @default.
- W2002844557 created "2016-06-24" @default.
- W2002844557 creator A5017417100 @default.
- W2002844557 creator A5080823003 @default.
- W2002844557 date "2005-03-01" @default.
- W2002844557 modified "2023-10-16" @default.
- W2002844557 title "Non-blocking supervision for uncertain discrete event systems with internal unobservable transitions" @default.
- W2002844557 cites W1979349468 @default.
- W2002844557 cites W2011115295 @default.
- W2002844557 cites W2038059739 @default.
- W2002844557 cites W2072201570 @default.
- W2002844557 cites W2095786572 @default.
- W2002844557 cites W2097061575 @default.
- W2002844557 cites W2130442838 @default.
- W2002844557 cites W2139910008 @default.
- W2002844557 cites W2155934015 @default.
- W2002844557 doi "https://doi.org/10.1049/ip-cta:20041244" @default.
- W2002844557 hasPublicationYear "2005" @default.
- W2002844557 type Work @default.
- W2002844557 sameAs 2002844557 @default.
- W2002844557 citedByCount "3" @default.
- W2002844557 countsByYear W20028445572013 @default.
- W2002844557 countsByYear W20028445572014 @default.
- W2002844557 crossrefType "journal-article" @default.
- W2002844557 hasAuthorship W2002844557A5017417100 @default.
- W2002844557 hasAuthorship W2002844557A5080823003 @default.
- W2002844557 hasConcept C105795698 @default.
- W2002844557 hasConcept C11413529 @default.
- W2002844557 hasConcept C121332964 @default.
- W2002844557 hasConcept C126255220 @default.
- W2002844557 hasConcept C144745244 @default.
- W2002844557 hasConcept C149782125 @default.
- W2002844557 hasConcept C154945302 @default.
- W2002844557 hasConcept C162324750 @default.
- W2002844557 hasConcept C177264268 @default.
- W2002844557 hasConcept C187736073 @default.
- W2002844557 hasConcept C199360897 @default.
- W2002844557 hasConcept C2775924081 @default.
- W2002844557 hasConcept C2776411971 @default.
- W2002844557 hasConcept C2779110517 @default.
- W2002844557 hasConcept C2779662365 @default.
- W2002844557 hasConcept C2780695315 @default.
- W2002844557 hasConcept C28826006 @default.
- W2002844557 hasConcept C33923547 @default.
- W2002844557 hasConcept C36299963 @default.
- W2002844557 hasConcept C41008148 @default.
- W2002844557 hasConcept C48103436 @default.
- W2002844557 hasConcept C62520636 @default.
- W2002844557 hasConcept C92991967 @default.
- W2002844557 hasConcept C97137487 @default.
- W2002844557 hasConceptScore W2002844557C105795698 @default.
- W2002844557 hasConceptScore W2002844557C11413529 @default.
- W2002844557 hasConceptScore W2002844557C121332964 @default.
- W2002844557 hasConceptScore W2002844557C126255220 @default.
- W2002844557 hasConceptScore W2002844557C144745244 @default.
- W2002844557 hasConceptScore W2002844557C149782125 @default.
- W2002844557 hasConceptScore W2002844557C154945302 @default.
- W2002844557 hasConceptScore W2002844557C162324750 @default.
- W2002844557 hasConceptScore W2002844557C177264268 @default.
- W2002844557 hasConceptScore W2002844557C187736073 @default.
- W2002844557 hasConceptScore W2002844557C199360897 @default.
- W2002844557 hasConceptScore W2002844557C2775924081 @default.
- W2002844557 hasConceptScore W2002844557C2776411971 @default.
- W2002844557 hasConceptScore W2002844557C2779110517 @default.
- W2002844557 hasConceptScore W2002844557C2779662365 @default.
- W2002844557 hasConceptScore W2002844557C2780695315 @default.
- W2002844557 hasConceptScore W2002844557C28826006 @default.
- W2002844557 hasConceptScore W2002844557C33923547 @default.
- W2002844557 hasConceptScore W2002844557C36299963 @default.
- W2002844557 hasConceptScore W2002844557C41008148 @default.
- W2002844557 hasConceptScore W2002844557C48103436 @default.
- W2002844557 hasConceptScore W2002844557C62520636 @default.
- W2002844557 hasConceptScore W2002844557C92991967 @default.
- W2002844557 hasConceptScore W2002844557C97137487 @default.
- W2002844557 hasIssue "2" @default.
- W2002844557 hasLocation W20028445571 @default.
- W2002844557 hasOpenAccess W2002844557 @default.
- W2002844557 hasPrimaryLocation W20028445571 @default.
- W2002844557 hasRelatedWork W1583042204 @default.
- W2002844557 hasRelatedWork W1879127424 @default.
- W2002844557 hasRelatedWork W2139690773 @default.
- W2002844557 hasRelatedWork W2157429361 @default.
- W2002844557 hasRelatedWork W2174282750 @default.
- W2002844557 hasRelatedWork W2333630979 @default.
- W2002844557 hasRelatedWork W2343355661 @default.
- W2002844557 hasRelatedWork W2616472561 @default.
- W2002844557 hasRelatedWork W3113370272 @default.
- W2002844557 hasRelatedWork W4212809713 @default.
- W2002844557 hasVolume "152" @default.
- W2002844557 isParatext "false" @default.
- W2002844557 isRetracted "false" @default.
- W2002844557 magId "2002844557" @default.
- W2002844557 workType "article" @default.