FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964763921> ?p ?o ?g. }

• W2964763921 endingPage "253" @default.
• W2964763921 startingPage "248" @default.
• W2964763921 abstract "In this paper, we investigate the initial-state detection problem in the context of partially-observed discrete-event systems. Specifically, we study the verification of two properties called weak I-detectability and strong I-detectability. Weak detectability captures whether or not the initial-state of the system can be detected via some path, while strong detectability captures whether or not the initial-state of the system can always be detected within a finite delay. In this paper, we provide new verification algorithms for checking these two properties. The idea is to use the reversed dynamic of the system to efficiently estimate the initial-state information. We show that our new results improve the complexity of existing verification algorithms for both properties. We illustrate our results by simple examples." @default.
• W2964763921 created "2019-08-13" @default.
• W2964763921 creator A5034304769 @default.
• W2964763921 creator A5039123730 @default.
• W2964763921 creator A5041126305 @default.
• W2964763921 date "2019-06-09" @default.
• W2964763921 modified "2023-09-26" @default.
• W2964763921 title "Improved Approaches for Verifying I-Detectability of Discrete-Event Systems" @default.
• W2964763921 cites W1141352453 @default.
• W2964763921 cites W1966547590 @default.
• W2964763921 cites W1966651017 @default.
• W2964763921 cites W1986373236 @default.
• W2964763921 cites W2013664351 @default.
• W2964763921 cites W2028587915 @default.
• W2964763921 cites W2037457229 @default.
• W2964763921 cites W2047798259 @default.
• W2964763921 cites W2057595388 @default.
• W2964763921 cites W2068354234 @default.
• W2964763921 cites W2073417396 @default.
• W2964763921 cites W2076974654 @default.
• W2964763921 cites W2118841252 @default.
• W2964763921 cites W2170197341 @default.
• W2964763921 cites W2171225490 @default.
• W2964763921 cites W2334313122 @default.
• W2964763921 cites W2416559203 @default.
• W2964763921 cites W2497816991 @default.
• W2964763921 cites W2511831594 @default.
• W2964763921 cites W2568512437 @default.
• W2964763921 cites W2598332701 @default.
• W2964763921 cites W2606674369 @default.
• W2964763921 cites W2607898266 @default.
• W2964763921 cites W2730583255 @default.
• W2964763921 cites W2748288790 @default.
• W2964763921 cites W2756653445 @default.
• W2964763921 cites W2759976471 @default.
• W2964763921 cites W2765330948 @default.
• W2964763921 cites W2768211668 @default.
• W2964763921 cites W2804520243 @default.
• W2964763921 cites W2883205634 @default.
• W2964763921 cites W2885267056 @default.
• W2964763921 cites W2901162916 @default.
• W2964763921 cites W2910541645 @default.
• W2964763921 cites W2943148875 @default.
• W2964763921 cites W2962780884 @default.
• W2964763921 cites W2962834616 @default.
• W2964763921 hasPublicationYear "2019" @default.
• W2964763921 type Work @default.
• W2964763921 sameAs 2964763921 @default.
• W2964763921 citedByCount "1" @default.
• W2964763921 countsByYear W29647639212020 @default.
• W2964763921 crossrefType "proceedings-article" @default.
• W2964763921 hasAuthorship W2964763921A5034304769 @default.
• W2964763921 hasAuthorship W2964763921A5039123730 @default.
• W2964763921 hasAuthorship W2964763921A5041126305 @default.
• W2964763921 hasConcept C110251889 @default.
• W2964763921 hasConcept C111472728 @default.
• W2964763921 hasConcept C111498074 @default.
• W2964763921 hasConcept C11413529 @default.
• W2964763921 hasConcept C121332964 @default.
• W2964763921 hasConcept C138885662 @default.
• W2964763921 hasConcept C151730666 @default.
• W2964763921 hasConcept C167822520 @default.
• W2964763921 hasConcept C179799912 @default.
• W2964763921 hasConcept C199360897 @default.
• W2964763921 hasConcept C202973057 @default.
• W2964763921 hasConcept C2777735758 @default.
• W2964763921 hasConcept C2779343474 @default.
• W2964763921 hasConcept C2779662365 @default.
• W2964763921 hasConcept C2780586882 @default.
• W2964763921 hasConcept C28826006 @default.
• W2964763921 hasConcept C32866371 @default.
• W2964763921 hasConcept C33923547 @default.
• W2964763921 hasConcept C36299963 @default.
• W2964763921 hasConcept C41008148 @default.
• W2964763921 hasConcept C48103436 @default.
• W2964763921 hasConcept C62520636 @default.
• W2964763921 hasConcept C80444323 @default.
• W2964763921 hasConcept C86803240 @default.
• W2964763921 hasConcept C96314035 @default.
• W2964763921 hasConceptScore W2964763921C110251889 @default.
• W2964763921 hasConceptScore W2964763921C111472728 @default.
• W2964763921 hasConceptScore W2964763921C111498074 @default.
• W2964763921 hasConceptScore W2964763921C11413529 @default.
• W2964763921 hasConceptScore W2964763921C121332964 @default.
• W2964763921 hasConceptScore W2964763921C138885662 @default.
• W2964763921 hasConceptScore W2964763921C151730666 @default.
• W2964763921 hasConceptScore W2964763921C167822520 @default.
• W2964763921 hasConceptScore W2964763921C179799912 @default.
• W2964763921 hasConceptScore W2964763921C199360897 @default.
• W2964763921 hasConceptScore W2964763921C202973057 @default.
• W2964763921 hasConceptScore W2964763921C2777735758 @default.
• W2964763921 hasConceptScore W2964763921C2779343474 @default.
• W2964763921 hasConceptScore W2964763921C2779662365 @default.
• W2964763921 hasConceptScore W2964763921C2780586882 @default.
• W2964763921 hasConceptScore W2964763921C28826006 @default.
• W2964763921 hasConceptScore W2964763921C32866371 @default.
• W2964763921 hasConceptScore W2964763921C33923547 @default.
• W2964763921 hasConceptScore W2964763921C36299963 @default.

• next