Matches in SemOpenAlex for { <https://semopenalex.org/work/W3154658597> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3154658597 abstract "Abstract Detectability is a basic property that describes whether an observer can use the current and past values of an observed output sequence produced by a system to reconstruct its current state. We consider particular properties called instant strong detectability and instant weak detectability, where the former implies that for each possible infinite observed output sequence each prefix of the output sequence allows reconstructing the current state, the latter implies that some infinite observed output sequence (if it exists) satisfies that each of its prefixes allows reconstructing the current state. For discrete-event systems modeled by finite-state automata, we give a linear-time verification algorithm for the former in the size of an automaton, and also give a polynomial-time verification algorithm for the latter." @default.
- W3154658597 created "2021-04-26" @default.
- W3154658597 creator A5002524489 @default.
- W3154658597 creator A5030895170 @default.
- W3154658597 date "2020-01-01" @default.
- W3154658597 modified "2023-10-04" @default.
- W3154658597 title "Instant detectability of discrete-event systems" @default.
- W3154658597 cites W1966651017 @default.
- W3154658597 cites W2028587915 @default.
- W3154658597 cites W2057595388 @default.
- W3154658597 cites W2606674369 @default.
- W3154658597 cites W2768211668 @default.
- W3154658597 cites W2883205634 @default.
- W3154658597 cites W2962780884 @default.
- W3154658597 cites W2962834616 @default.
- W3154658597 cites W2972690256 @default.
- W3154658597 cites W3011667828 @default.
- W3154658597 doi "https://doi.org/10.1016/j.ifacol.2020.12.2537" @default.
- W3154658597 hasPublicationYear "2020" @default.
- W3154658597 type Work @default.
- W3154658597 sameAs 3154658597 @default.
- W3154658597 citedByCount "0" @default.
- W3154658597 crossrefType "journal-article" @default.
- W3154658597 hasAuthorship W3154658597A5002524489 @default.
- W3154658597 hasAuthorship W3154658597A5030895170 @default.
- W3154658597 hasBestOaLocation W31546585971 @default.
- W3154658597 hasConcept C112505250 @default.
- W3154658597 hasConcept C11413529 @default.
- W3154658597 hasConcept C118615104 @default.
- W3154658597 hasConcept C121332964 @default.
- W3154658597 hasConcept C138885662 @default.
- W3154658597 hasConcept C141603448 @default.
- W3154658597 hasConcept C148043351 @default.
- W3154658597 hasConcept C167822520 @default.
- W3154658597 hasConcept C2778112365 @default.
- W3154658597 hasConcept C2779432360 @default.
- W3154658597 hasConcept C2779662365 @default.
- W3154658597 hasConcept C2780704645 @default.
- W3154658597 hasConcept C33923547 @default.
- W3154658597 hasConcept C41008148 @default.
- W3154658597 hasConcept C41895202 @default.
- W3154658597 hasConcept C48103436 @default.
- W3154658597 hasConcept C54355233 @default.
- W3154658597 hasConcept C62520636 @default.
- W3154658597 hasConcept C80444323 @default.
- W3154658597 hasConcept C86803240 @default.
- W3154658597 hasConcept C97355855 @default.
- W3154658597 hasConceptScore W3154658597C112505250 @default.
- W3154658597 hasConceptScore W3154658597C11413529 @default.
- W3154658597 hasConceptScore W3154658597C118615104 @default.
- W3154658597 hasConceptScore W3154658597C121332964 @default.
- W3154658597 hasConceptScore W3154658597C138885662 @default.
- W3154658597 hasConceptScore W3154658597C141603448 @default.
- W3154658597 hasConceptScore W3154658597C148043351 @default.
- W3154658597 hasConceptScore W3154658597C167822520 @default.
- W3154658597 hasConceptScore W3154658597C2778112365 @default.
- W3154658597 hasConceptScore W3154658597C2779432360 @default.
- W3154658597 hasConceptScore W3154658597C2779662365 @default.
- W3154658597 hasConceptScore W3154658597C2780704645 @default.
- W3154658597 hasConceptScore W3154658597C33923547 @default.
- W3154658597 hasConceptScore W3154658597C41008148 @default.
- W3154658597 hasConceptScore W3154658597C41895202 @default.
- W3154658597 hasConceptScore W3154658597C48103436 @default.
- W3154658597 hasConceptScore W3154658597C54355233 @default.
- W3154658597 hasConceptScore W3154658597C62520636 @default.
- W3154658597 hasConceptScore W3154658597C80444323 @default.
- W3154658597 hasConceptScore W3154658597C86803240 @default.
- W3154658597 hasConceptScore W3154658597C97355855 @default.
- W3154658597 hasFunder F4320308269 @default.
- W3154658597 hasLocation W31546585971 @default.
- W3154658597 hasLocation W31546585972 @default.
- W3154658597 hasOpenAccess W3154658597 @default.
- W3154658597 hasPrimaryLocation W31546585971 @default.
- W3154658597 hasRelatedWork W10986144 @default.
- W3154658597 hasRelatedWork W11319064 @default.
- W3154658597 hasRelatedWork W12413954 @default.
- W3154658597 hasRelatedWork W1586710 @default.
- W3154658597 hasRelatedWork W1931494 @default.
- W3154658597 hasRelatedWork W3204777 @default.
- W3154658597 hasRelatedWork W3589288 @default.
- W3154658597 hasRelatedWork W4167080 @default.
- W3154658597 hasRelatedWork W5204517 @default.
- W3154658597 hasRelatedWork W5917611 @default.
- W3154658597 isParatext "false" @default.
- W3154658597 isRetracted "false" @default.
- W3154658597 magId "3154658597" @default.
- W3154658597 workType "article" @default.