FRINK Linked Data Fragments server

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

• W2077280257 endingPage "294" @default.
• W2077280257 startingPage "271" @default.
• W2077280257 abstract "The analysis of discrete event systems under partial observation is an important topic, with major applications such as the detection of information flow and the diagnosis of faulty behaviors. These questions have, mostly, not been addressed for classical models of recursive systems, such as pushdown systems and recursive state machines. In this paper, we consider recursive tile systems, which are recursive infinite systems generated by a finite collection of finite tiles, a simplified variant of deterministic graph grammars (slightly more general than pushdown systems). Since these systems are infinite-state in general powerset constructions for monitoring do not always apply. We exhibit computable conditions on recursive tile systems and present non-trivial constructions that yield effective computation of the monitors. We apply these results to the classic problems of state-based opacity and diagnosability (off-line verification of opacity and diagnosability, and also run-time monitoring of these properties). For a decidable subclass of recursive tile systems, we also establish the decidability of the problems of state-based opacity and diagnosability." @default.
• W2077280257 created "2016-06-24" @default.
• W2077280257 creator A5033780636 @default.
• W2077280257 creator A5045320227 @default.
• W2077280257 creator A5053628603 @default.
• W2077280257 creator A5063014241 @default.
• W2077280257 date "2014-07-15" @default.
• W2077280257 modified "2023-10-01" @default.
• W2077280257 title "Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems" @default.
• W2077280257 cites W1496022251 @default.
• W2077280257 cites W1526031273 @default.
• W2077280257 cites W1527664624 @default.
• W2077280257 cites W1533529919 @default.
• W2077280257 cites W1543969654 @default.
• W2077280257 cites W157562587 @default.
• W2077280257 cites W1784926803 @default.
• W2077280257 cites W1985787415 @default.
• W2077280257 cites W1992896862 @default.
• W2077280257 cites W2001653139 @default.
• W2077280257 cites W2031373068 @default.
• W2077280257 cites W2037457229 @default.
• W2077280257 cites W2085178451 @default.
• W2077280257 cites W2099395647 @default.
• W2077280257 cites W2130675058 @default.
• W2077280257 cites W2131190527 @default.
• W2077280257 cites W2139117911 @default.
• W2077280257 cites W2147774669 @default.
• W2077280257 cites W2148114786 @default.
• W2077280257 cites W2149854232 @default.
• W2077280257 cites W2151033407 @default.
• W2077280257 cites W2158487182 @default.
• W2077280257 cites W2912987268 @default.
• W2077280257 cites W4297744580 @default.
• W2077280257 doi "https://doi.org/10.1007/s10626-014-0197-3" @default.
• W2077280257 hasPublicationYear "2014" @default.
• W2077280257 type Work @default.
• W2077280257 sameAs 2077280257 @default.
• W2077280257 citedByCount "20" @default.
• W2077280257 countsByYear W20772802572014 @default.
• W2077280257 countsByYear W20772802572017 @default.
• W2077280257 countsByYear W20772802572018 @default.
• W2077280257 countsByYear W20772802572019 @default.
• W2077280257 countsByYear W20772802572020 @default.
• W2077280257 countsByYear W20772802572021 @default.
• W2077280257 countsByYear W20772802572022 @default.
• W2077280257 crossrefType "journal-article" @default.
• W2077280257 hasAuthorship W2077280257A5033780636 @default.
• W2077280257 hasAuthorship W2077280257A5045320227 @default.
• W2077280257 hasAuthorship W2077280257A5053628603 @default.
• W2077280257 hasAuthorship W2077280257A5063014241 @default.
• W2077280257 hasBestOaLocation W20772802572 @default.
• W2077280257 hasConcept C11413529 @default.
• W2077280257 hasConcept C118615104 @default.
• W2077280257 hasConcept C134083981 @default.
• W2077280257 hasConcept C153269930 @default.
• W2077280257 hasConcept C154945302 @default.
• W2077280257 hasConcept C167822520 @default.
• W2077280257 hasConcept C27034413 @default.
• W2077280257 hasConcept C33923547 @default.
• W2077280257 hasConcept C41008148 @default.
• W2077280257 hasConcept C45374587 @default.
• W2077280257 hasConcept C48103436 @default.
• W2077280257 hasConcept C53893814 @default.
• W2077280257 hasConcept C77944639 @default.
• W2077280257 hasConcept C80444323 @default.
• W2077280257 hasConcept C97212296 @default.
• W2077280257 hasConceptScore W2077280257C11413529 @default.
• W2077280257 hasConceptScore W2077280257C118615104 @default.
• W2077280257 hasConceptScore W2077280257C134083981 @default.
• W2077280257 hasConceptScore W2077280257C153269930 @default.
• W2077280257 hasConceptScore W2077280257C154945302 @default.
• W2077280257 hasConceptScore W2077280257C167822520 @default.
• W2077280257 hasConceptScore W2077280257C27034413 @default.
• W2077280257 hasConceptScore W2077280257C33923547 @default.
• W2077280257 hasConceptScore W2077280257C41008148 @default.
• W2077280257 hasConceptScore W2077280257C45374587 @default.
• W2077280257 hasConceptScore W2077280257C48103436 @default.
• W2077280257 hasConceptScore W2077280257C53893814 @default.
• W2077280257 hasConceptScore W2077280257C77944639 @default.
• W2077280257 hasConceptScore W2077280257C80444323 @default.
• W2077280257 hasConceptScore W2077280257C97212296 @default.
• W2077280257 hasIssue "1-2" @default.
• W2077280257 hasLocation W20772802571 @default.
• W2077280257 hasLocation W20772802572 @default.
• W2077280257 hasLocation W20772802573 @default.
• W2077280257 hasOpenAccess W2077280257 @default.
• W2077280257 hasPrimaryLocation W20772802571 @default.
• W2077280257 hasRelatedWork W1502255017 @default.
• W2077280257 hasRelatedWork W1853699778 @default.
• W2077280257 hasRelatedWork W2041168146 @default.
• W2077280257 hasRelatedWork W2096349874 @default.
• W2077280257 hasRelatedWork W2186244857 @default.
• W2077280257 hasRelatedWork W2542491786 @default.
• W2077280257 hasRelatedWork W2950911169 @default.
• W2077280257 hasRelatedWork W4295212921 @default.
• W2077280257 hasRelatedWork W4297892460 @default.
• W2077280257 hasRelatedWork W89384568 @default.
• W2077280257 hasVolume "25" @default.

• next