Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313121135> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4313121135 endingPage "269" @default.
- W4313121135 startingPage "264" @default.
- W4313121135 abstract "This paper is about the detection of timed patterns for discrete event systems (DESs) that are modeled by a particular class of timed automata. A timed pattern is a set of behaviours characterized by a sequence of events, occurring in a given order and in a given time domain. The problem in which we are interested is to detect the occurrence of such timed patterns thanks to the analysis of the timed observations that is captured from the productions of the system. For this purpose we define a timed composition and propose two verifiers, a timed one and a logical one, that transform the detection problem of timed patterns into a state isolation problem. Safety and security applications are finally discussed." @default.
- W4313121135 created "2023-01-06" @default.
- W4313121135 creator A5003454609 @default.
- W4313121135 creator A5045305170 @default.
- W4313121135 creator A5056676573 @default.
- W4313121135 date "2022-01-01" @default.
- W4313121135 modified "2023-10-16" @default.
- W4313121135 title "Verifiers for the detection of timed patterns in discrete event systems" @default.
- W4313121135 cites W1496022251 @default.
- W4313121135 cites W1985787415 @default.
- W4313121135 cites W2004398490 @default.
- W4313121135 cites W2052227055 @default.
- W4313121135 cites W2091661303 @default.
- W4313121135 cites W2101508170 @default.
- W4313121135 cites W2117558445 @default.
- W4313121135 cites W2538443008 @default.
- W4313121135 cites W2753551477 @default.
- W4313121135 cites W2897692436 @default.
- W4313121135 doi "https://doi.org/10.1016/j.ifacol.2022.10.352" @default.
- W4313121135 hasPublicationYear "2022" @default.
- W4313121135 type Work @default.
- W4313121135 citedByCount "1" @default.
- W4313121135 countsByYear W43131211352023 @default.
- W4313121135 crossrefType "journal-article" @default.
- W4313121135 hasAuthorship W4313121135A5003454609 @default.
- W4313121135 hasAuthorship W4313121135A5045305170 @default.
- W4313121135 hasAuthorship W4313121135A5056676573 @default.
- W4313121135 hasBestOaLocation W43131211351 @default.
- W4313121135 hasConcept C112505250 @default.
- W4313121135 hasConcept C121332964 @default.
- W4313121135 hasConcept C134306372 @default.
- W4313121135 hasConcept C154945302 @default.
- W4313121135 hasConcept C177264268 @default.
- W4313121135 hasConcept C199360897 @default.
- W4313121135 hasConcept C2775941552 @default.
- W4313121135 hasConcept C2777212361 @default.
- W4313121135 hasConcept C2778112365 @default.
- W4313121135 hasConcept C2779662365 @default.
- W4313121135 hasConcept C30788636 @default.
- W4313121135 hasConcept C33923547 @default.
- W4313121135 hasConcept C36503486 @default.
- W4313121135 hasConcept C41008148 @default.
- W4313121135 hasConcept C54355233 @default.
- W4313121135 hasConcept C62520636 @default.
- W4313121135 hasConcept C79403827 @default.
- W4313121135 hasConcept C80444323 @default.
- W4313121135 hasConcept C86803240 @default.
- W4313121135 hasConcept C89423630 @default.
- W4313121135 hasConceptScore W4313121135C112505250 @default.
- W4313121135 hasConceptScore W4313121135C121332964 @default.
- W4313121135 hasConceptScore W4313121135C134306372 @default.
- W4313121135 hasConceptScore W4313121135C154945302 @default.
- W4313121135 hasConceptScore W4313121135C177264268 @default.
- W4313121135 hasConceptScore W4313121135C199360897 @default.
- W4313121135 hasConceptScore W4313121135C2775941552 @default.
- W4313121135 hasConceptScore W4313121135C2777212361 @default.
- W4313121135 hasConceptScore W4313121135C2778112365 @default.
- W4313121135 hasConceptScore W4313121135C2779662365 @default.
- W4313121135 hasConceptScore W4313121135C30788636 @default.
- W4313121135 hasConceptScore W4313121135C33923547 @default.
- W4313121135 hasConceptScore W4313121135C36503486 @default.
- W4313121135 hasConceptScore W4313121135C41008148 @default.
- W4313121135 hasConceptScore W4313121135C54355233 @default.
- W4313121135 hasConceptScore W4313121135C62520636 @default.
- W4313121135 hasConceptScore W4313121135C79403827 @default.
- W4313121135 hasConceptScore W4313121135C80444323 @default.
- W4313121135 hasConceptScore W4313121135C86803240 @default.
- W4313121135 hasConceptScore W4313121135C89423630 @default.
- W4313121135 hasIssue "28" @default.
- W4313121135 hasLocation W43131211351 @default.
- W4313121135 hasOpenAccess W4313121135 @default.
- W4313121135 hasPrimaryLocation W43131211351 @default.
- W4313121135 hasRelatedWork W1486144438 @default.
- W4313121135 hasRelatedWork W1986640705 @default.
- W4313121135 hasRelatedWork W2020045686 @default.
- W4313121135 hasRelatedWork W2340181363 @default.
- W4313121135 hasRelatedWork W2368796975 @default.
- W4313121135 hasRelatedWork W2913145454 @default.
- W4313121135 hasRelatedWork W2963778518 @default.
- W4313121135 hasRelatedWork W4231313890 @default.
- W4313121135 hasRelatedWork W4283821075 @default.
- W4313121135 hasRelatedWork W4298073324 @default.
- W4313121135 hasVolume "55" @default.
- W4313121135 isParatext "false" @default.
- W4313121135 isRetracted "false" @default.
- W4313121135 workType "article" @default.