Matches in SemOpenAlex for { <https://semopenalex.org/work/W2994202485> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2994202485 endingPage "52" @default.
- W2994202485 startingPage "47" @default.
- W2994202485 abstract "In the conventional framework for failure diagnosis of partially observed discrete event systems, it is assumed that, for each event, the corresponding output symbol is determined uniquely. However, this assumption does not hold in discrete event systems such as a mobile system, where an output symbol depends on not only an event but also a state at which the event occurs. In this paper, we model such a discrete event system by a Mealy automaton with a nondeterministic output function, and consider a diagnosis problem that requires any occurrence of a failure should be detected within a uniformly bounded number of steps. We present a necessary and sufficient condition for the existence of a diagnoser. We then present an algorithm for verifying this condition." @default.
- W2994202485 created "2019-12-13" @default.
- W2994202485 creator A5005789258 @default.
- W2994202485 creator A5046686505 @default.
- W2994202485 date "2009-11-19" @default.
- W2994202485 modified "2023-09-28" @default.
- W2994202485 title "Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions" @default.
- W2994202485 hasPublicationYear "2009" @default.
- W2994202485 type Work @default.
- W2994202485 sameAs 2994202485 @default.
- W2994202485 citedByCount "0" @default.
- W2994202485 crossrefType "journal-article" @default.
- W2994202485 hasAuthorship W2994202485A5005789258 @default.
- W2994202485 hasAuthorship W2994202485A5046686505 @default.
- W2994202485 hasConcept C112505250 @default.
- W2994202485 hasConcept C11413529 @default.
- W2994202485 hasConcept C121332964 @default.
- W2994202485 hasConcept C134306372 @default.
- W2994202485 hasConcept C134400042 @default.
- W2994202485 hasConcept C14036430 @default.
- W2994202485 hasConcept C147203929 @default.
- W2994202485 hasConcept C176181172 @default.
- W2994202485 hasConcept C199360897 @default.
- W2994202485 hasConcept C2779662365 @default.
- W2994202485 hasConcept C33923547 @default.
- W2994202485 hasConcept C34388435 @default.
- W2994202485 hasConcept C41008148 @default.
- W2994202485 hasConcept C44154836 @default.
- W2994202485 hasConcept C48103436 @default.
- W2994202485 hasConcept C62520636 @default.
- W2994202485 hasConcept C78458016 @default.
- W2994202485 hasConcept C80444323 @default.
- W2994202485 hasConcept C86803240 @default.
- W2994202485 hasConceptScore W2994202485C112505250 @default.
- W2994202485 hasConceptScore W2994202485C11413529 @default.
- W2994202485 hasConceptScore W2994202485C121332964 @default.
- W2994202485 hasConceptScore W2994202485C134306372 @default.
- W2994202485 hasConceptScore W2994202485C134400042 @default.
- W2994202485 hasConceptScore W2994202485C14036430 @default.
- W2994202485 hasConceptScore W2994202485C147203929 @default.
- W2994202485 hasConceptScore W2994202485C176181172 @default.
- W2994202485 hasConceptScore W2994202485C199360897 @default.
- W2994202485 hasConceptScore W2994202485C2779662365 @default.
- W2994202485 hasConceptScore W2994202485C33923547 @default.
- W2994202485 hasConceptScore W2994202485C34388435 @default.
- W2994202485 hasConceptScore W2994202485C41008148 @default.
- W2994202485 hasConceptScore W2994202485C44154836 @default.
- W2994202485 hasConceptScore W2994202485C48103436 @default.
- W2994202485 hasConceptScore W2994202485C62520636 @default.
- W2994202485 hasConceptScore W2994202485C78458016 @default.
- W2994202485 hasConceptScore W2994202485C80444323 @default.
- W2994202485 hasConceptScore W2994202485C86803240 @default.
- W2994202485 hasIssue "300" @default.
- W2994202485 hasLocation W29942024851 @default.
- W2994202485 hasOpenAccess W2994202485 @default.
- W2994202485 hasPrimaryLocation W29942024851 @default.
- W2994202485 hasRelatedWork W143370938 @default.
- W2994202485 hasRelatedWork W1544348681 @default.
- W2994202485 hasRelatedWork W1805654193 @default.
- W2994202485 hasRelatedWork W1943623735 @default.
- W2994202485 hasRelatedWork W1989058138 @default.
- W2994202485 hasRelatedWork W2013664351 @default.
- W2994202485 hasRelatedWork W2063477008 @default.
- W2994202485 hasRelatedWork W2070403229 @default.
- W2994202485 hasRelatedWork W2269685284 @default.
- W2994202485 hasRelatedWork W2499762659 @default.
- W2994202485 hasRelatedWork W2581079654 @default.
- W2994202485 hasRelatedWork W2899631209 @default.
- W2994202485 hasRelatedWork W2900091779 @default.
- W2994202485 hasRelatedWork W2902125852 @default.
- W2994202485 hasRelatedWork W2943213324 @default.
- W2994202485 hasRelatedWork W2946124694 @default.
- W2994202485 hasRelatedWork W3011958685 @default.
- W2994202485 hasRelatedWork W3042269469 @default.
- W2994202485 hasRelatedWork W3147969956 @default.
- W2994202485 hasRelatedWork W32260586 @default.
- W2994202485 hasVolume "109" @default.
- W2994202485 isParatext "false" @default.
- W2994202485 isRetracted "false" @default.
- W2994202485 magId "2994202485" @default.
- W2994202485 workType "article" @default.