Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366813513> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4366813513 endingPage "111045" @default.
- W4366813513 startingPage "111045" @default.
- W4366813513 abstract "This paper deals with the diagnosis of timed patterns for discrete event systems that are modeled by a particular class of timed automata. A timed pattern is a set of behaviors characterized by a sequence of events, occurring in a given order, and a group of time intervals, during which the underlying events occur. The problem addressed in this research is to detect the occurrence of such timed patterns by the analysis of the timed observations. For this purpose, we define a completely synchronous composition of a timed automaton and a given timed pattern. Then, a timed pattern recognizer and a diagnoser are designed, which are suitable to solve the timed pattern diagnosis problem as a state isolation problem. A necessary and sufficient condition for timed pattern diagnosability is also proposed from a timed-logical perspective." @default.
- W4366813513 created "2023-04-25" @default.
- W4366813513 creator A5003454609 @default.
- W4366813513 creator A5045305170 @default.
- W4366813513 creator A5056676573 @default.
- W4366813513 date "2023-07-01" @default.
- W4366813513 modified "2023-10-16" @default.
- W4366813513 title "Diagnosis of timed patterns for discrete event systems by means of state isolation" @default.
- W4366813513 cites W1496022251 @default.
- W4366813513 cites W1526031273 @default.
- W4366813513 cites W1544759682 @default.
- W4366813513 cites W1603296878 @default.
- W4366813513 cites W1985787415 @default.
- W4366813513 cites W2035082186 @default.
- W4366813513 cites W2037802202 @default.
- W4366813513 cites W2081424643 @default.
- W4366813513 cites W2083342911 @default.
- W4366813513 cites W2091661303 @default.
- W4366813513 cites W2101508170 @default.
- W4366813513 cites W2117558445 @default.
- W4366813513 cites W2130675058 @default.
- W4366813513 cites W2461699348 @default.
- W4366813513 cites W2883837673 @default.
- W4366813513 cites W2900094146 @default.
- W4366813513 cites W3119887256 @default.
- W4366813513 cites W3125811775 @default.
- W4366813513 cites W3134204576 @default.
- W4366813513 cites W4210764656 @default.
- W4366813513 cites W4288770134 @default.
- W4366813513 doi "https://doi.org/10.1016/j.automatica.2023.111045" @default.
- W4366813513 hasPublicationYear "2023" @default.
- W4366813513 type Work @default.
- W4366813513 citedByCount "2" @default.
- W4366813513 countsByYear W43668135132023 @default.
- W4366813513 crossrefType "journal-article" @default.
- W4366813513 hasAuthorship W4366813513A5003454609 @default.
- W4366813513 hasAuthorship W4366813513A5045305170 @default.
- W4366813513 hasAuthorship W4366813513A5056676573 @default.
- W4366813513 hasConcept C112505250 @default.
- W4366813513 hasConcept C11413529 @default.
- W4366813513 hasConcept C121332964 @default.
- W4366813513 hasConcept C167822520 @default.
- W4366813513 hasConcept C177264268 @default.
- W4366813513 hasConcept C199360897 @default.
- W4366813513 hasConcept C2775941552 @default.
- W4366813513 hasConcept C2778112365 @default.
- W4366813513 hasConcept C2779662365 @default.
- W4366813513 hasConcept C30788636 @default.
- W4366813513 hasConcept C41008148 @default.
- W4366813513 hasConcept C48103436 @default.
- W4366813513 hasConcept C54355233 @default.
- W4366813513 hasConcept C62520636 @default.
- W4366813513 hasConcept C80444323 @default.
- W4366813513 hasConcept C86803240 @default.
- W4366813513 hasConcept C89423630 @default.
- W4366813513 hasConceptScore W4366813513C112505250 @default.
- W4366813513 hasConceptScore W4366813513C11413529 @default.
- W4366813513 hasConceptScore W4366813513C121332964 @default.
- W4366813513 hasConceptScore W4366813513C167822520 @default.
- W4366813513 hasConceptScore W4366813513C177264268 @default.
- W4366813513 hasConceptScore W4366813513C199360897 @default.
- W4366813513 hasConceptScore W4366813513C2775941552 @default.
- W4366813513 hasConceptScore W4366813513C2778112365 @default.
- W4366813513 hasConceptScore W4366813513C2779662365 @default.
- W4366813513 hasConceptScore W4366813513C30788636 @default.
- W4366813513 hasConceptScore W4366813513C41008148 @default.
- W4366813513 hasConceptScore W4366813513C48103436 @default.
- W4366813513 hasConceptScore W4366813513C54355233 @default.
- W4366813513 hasConceptScore W4366813513C62520636 @default.
- W4366813513 hasConceptScore W4366813513C80444323 @default.
- W4366813513 hasConceptScore W4366813513C86803240 @default.
- W4366813513 hasConceptScore W4366813513C89423630 @default.
- W4366813513 hasFunder F4320308269 @default.
- W4366813513 hasFunder F4320320883 @default.
- W4366813513 hasLocation W43668135131 @default.
- W4366813513 hasOpenAccess W4366813513 @default.
- W4366813513 hasPrimaryLocation W43668135131 @default.
- W4366813513 hasRelatedWork W131394547 @default.
- W4366813513 hasRelatedWork W1518566078 @default.
- W4366813513 hasRelatedWork W1803004510 @default.
- W4366813513 hasRelatedWork W1986640705 @default.
- W4366813513 hasRelatedWork W1991609533 @default.
- W4366813513 hasRelatedWork W1994748133 @default.
- W4366813513 hasRelatedWork W2045291344 @default.
- W4366813513 hasRelatedWork W2129828425 @default.
- W4366813513 hasRelatedWork W2274428774 @default.
- W4366813513 hasRelatedWork W2368796975 @default.
- W4366813513 hasVolume "153" @default.
- W4366813513 isParatext "false" @default.
- W4366813513 isRetracted "false" @default.
- W4366813513 workType "article" @default.