Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285247374> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4285247374 endingPage "7311" @default.
- W4285247374 startingPage "7302" @default.
- W4285247374 abstract "This article investigates diagnosability and <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink> <tex-math notation=LaTeX>$T$ </tex-math></inline-formula> -diagnosability for discrete-event systems modeled by unambiguous max-plus automata (UMPAs). More precisely, diagnosability requires that the occurrence of any fault can be detected within a finite number of events after the fault has occurred. <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink> <tex-math notation=LaTeX>$T$ </tex-math></inline-formula> -diagnosability requires that the occurrence of any fault can be detected within a delay of at most <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink> <tex-math notation=LaTeX>$T$ </tex-math></inline-formula> time units after its occurrence. First, we propose a polynomial-time algorithm based on the construction of a nondeterministic finite automaton over a weighted alphabet for diagnosability verification of a UMPA. Second, we prove that <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink> <tex-math notation=LaTeX>$T$ </tex-math></inline-formula> -diagnosability of a UMPA can be studied by reducing it to the problem of diagnosability. Third, we introduce an approach to calculate the upper on the time needed for detecting fault occurrence for a diagnosable UMPA, and its complexity is of sixth order in the number of states of the UMPA." @default.
- W4285247374 created "2022-07-14" @default.
- W4285247374 creator A5033376085 @default.
- W4285247374 creator A5066099630 @default.
- W4285247374 creator A5076421297 @default.
- W4285247374 date "2022-11-01" @default.
- W4285247374 modified "2023-09-23" @default.
- W4285247374 title "Diagnosability of Unambiguous Max-Plus Automata" @default.
- W4285247374 cites W1496022251 @default.
- W4285247374 cites W1526031273 @default.
- W4285247374 cites W1528509130 @default.
- W4285247374 cites W1643571618 @default.
- W4285247374 cites W1966547590 @default.
- W4285247374 cites W1985787415 @default.
- W4285247374 cites W1994234600 @default.
- W4285247374 cites W1997501911 @default.
- W4285247374 cites W2003070900 @default.
- W4285247374 cites W2006880783 @default.
- W4285247374 cites W2076347141 @default.
- W4285247374 cites W2094370340 @default.
- W4285247374 cites W2094461746 @default.
- W4285247374 cites W2101508170 @default.
- W4285247374 cites W2110388557 @default.
- W4285247374 cites W2114294750 @default.
- W4285247374 cites W2117558445 @default.
- W4285247374 cites W2119581074 @default.
- W4285247374 cites W2135215536 @default.
- W4285247374 cites W2147774669 @default.
- W4285247374 cites W2461699348 @default.
- W4285247374 cites W2607898266 @default.
- W4285247374 cites W2741060909 @default.
- W4285247374 cites W2804520243 @default.
- W4285247374 cites W2909384938 @default.
- W4285247374 cites W2914702321 @default.
- W4285247374 cites W3127064320 @default.
- W4285247374 cites W3161363915 @default.
- W4285247374 cites W3161476343 @default.
- W4285247374 cites W3190560908 @default.
- W4285247374 cites W789548629 @default.
- W4285247374 doi "https://doi.org/10.1109/tsmc.2022.3176045" @default.
- W4285247374 hasPublicationYear "2022" @default.
- W4285247374 type Work @default.
- W4285247374 citedByCount "0" @default.
- W4285247374 crossrefType "journal-article" @default.
- W4285247374 hasAuthorship W4285247374A5033376085 @default.
- W4285247374 hasAuthorship W4285247374A5066099630 @default.
- W4285247374 hasAuthorship W4285247374A5076421297 @default.
- W4285247374 hasConcept C112505250 @default.
- W4285247374 hasConcept C11413529 @default.
- W4285247374 hasConcept C114614502 @default.
- W4285247374 hasConcept C118615104 @default.
- W4285247374 hasConcept C176181172 @default.
- W4285247374 hasConcept C33923547 @default.
- W4285247374 hasConcept C41008148 @default.
- W4285247374 hasConcept C45357846 @default.
- W4285247374 hasConcept C80444323 @default.
- W4285247374 hasConcept C94375191 @default.
- W4285247374 hasConceptScore W4285247374C112505250 @default.
- W4285247374 hasConceptScore W4285247374C11413529 @default.
- W4285247374 hasConceptScore W4285247374C114614502 @default.
- W4285247374 hasConceptScore W4285247374C118615104 @default.
- W4285247374 hasConceptScore W4285247374C176181172 @default.
- W4285247374 hasConceptScore W4285247374C33923547 @default.
- W4285247374 hasConceptScore W4285247374C41008148 @default.
- W4285247374 hasConceptScore W4285247374C45357846 @default.
- W4285247374 hasConceptScore W4285247374C80444323 @default.
- W4285247374 hasConceptScore W4285247374C94375191 @default.
- W4285247374 hasFunder F4320321001 @default.
- W4285247374 hasFunder F4320321006 @default.
- W4285247374 hasFunder F4320321878 @default.
- W4285247374 hasFunder F4320335777 @default.
- W4285247374 hasIssue "11" @default.
- W4285247374 hasLocation W42852473741 @default.
- W4285247374 hasLocation W42852473742 @default.
- W4285247374 hasLocation W42852473743 @default.
- W4285247374 hasOpenAccess W4285247374 @default.
- W4285247374 hasPrimaryLocation W42852473741 @default.
- W4285247374 hasRelatedWork W1607426439 @default.
- W4285247374 hasRelatedWork W1945859206 @default.
- W4285247374 hasRelatedWork W1981823970 @default.
- W4285247374 hasRelatedWork W2009929770 @default.
- W4285247374 hasRelatedWork W2037846247 @default.
- W4285247374 hasRelatedWork W2095269027 @default.
- W4285247374 hasRelatedWork W2305184423 @default.
- W4285247374 hasRelatedWork W2397464784 @default.
- W4285247374 hasRelatedWork W2471779927 @default.
- W4285247374 hasRelatedWork W2803402866 @default.
- W4285247374 hasVolume "52" @default.
- W4285247374 isParatext "false" @default.
- W4285247374 isRetracted "false" @default.
- W4285247374 workType "article" @default.