FRINK Linked Data Fragments server

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

• W2157364367 endingPage "28" @default.
• W2157364367 startingPage "21" @default.
• W2157364367 abstract "We introduce a decentralized observation problem, where the system under observation is modeled as a regular language L over a finite alphabet Σ and n subsets of Σ model distributed observation points. A regular language K⊆L models a set of distinguished behaviors, say, correct behaviors of the system. The objective is to check the existence of a function which, given the n observations corresponding to a behavior ρ∈L, decides whether ρ is in K or not. We prove that checking the existence of such a function is undecidable. We then use this result to show undecidability of a decentralized supervisory control problem in the discrete event system framework." @default.
• W2157364367 created "2016-06-24" @default.
• W2157364367 creator A5080042319 @default.
• W2157364367 date "2004-04-01" @default.
• W2157364367 modified "2023-10-13" @default.
• W2157364367 title "Undecidable problems of decentralized observation and control on regular languages" @default.
• W2157364367 cites W1979349468 @default.
• W2157364367 cites W1988926301 @default.
• W2157364367 cites W1997577607 @default.
• W2157364367 cites W2018871411 @default.
• W2157364367 cites W2091149102 @default.
• W2157364367 cites W2113789941 @default.
• W2157364367 cites W2121154010 @default.
• W2157364367 cites W2150052960 @default.
• W2157364367 cites W2171110406 @default.
• W2157364367 cites W2567014556 @default.
• W2157364367 cites W3162365952 @default.
• W2157364367 doi "https://doi.org/10.1016/j.ipl.2004.01.004" @default.
• W2157364367 hasPublicationYear "2004" @default.
• W2157364367 type Work @default.
• W2157364367 sameAs 2157364367 @default.
• W2157364367 citedByCount "87" @default.
• W2157364367 countsByYear W21573643672012 @default.
• W2157364367 countsByYear W21573643672013 @default.
• W2157364367 countsByYear W21573643672014 @default.
• W2157364367 countsByYear W21573643672015 @default.
• W2157364367 countsByYear W21573643672016 @default.
• W2157364367 countsByYear W21573643672017 @default.
• W2157364367 countsByYear W21573643672018 @default.
• W2157364367 countsByYear W21573643672020 @default.
• W2157364367 countsByYear W21573643672021 @default.
• W2157364367 countsByYear W21573643672022 @default.
• W2157364367 countsByYear W21573643672023 @default.
• W2157364367 crossrefType "journal-article" @default.
• W2157364367 hasAuthorship W2157364367A5080042319 @default.
• W2157364367 hasConcept C110251889 @default.
• W2157364367 hasConcept C112505250 @default.
• W2157364367 hasConcept C112876837 @default.
• W2157364367 hasConcept C11413529 @default.
• W2157364367 hasConcept C118615104 @default.
• W2157364367 hasConcept C121332964 @default.
• W2157364367 hasConcept C134306372 @default.
• W2157364367 hasConcept C138885662 @default.
• W2157364367 hasConcept C14036430 @default.
• W2157364367 hasConcept C146072743 @default.
• W2157364367 hasConcept C153269930 @default.
• W2157364367 hasConcept C154945302 @default.
• W2157364367 hasConcept C162392398 @default.
• W2157364367 hasConcept C177264268 @default.
• W2157364367 hasConcept C192034797 @default.
• W2157364367 hasConcept C199360897 @default.
• W2157364367 hasConcept C2775924081 @default.
• W2157364367 hasConcept C2779662365 @default.
• W2157364367 hasConcept C33923547 @default.
• W2157364367 hasConcept C41008148 @default.
• W2157364367 hasConcept C41895202 @default.
• W2157364367 hasConcept C52370388 @default.
• W2157364367 hasConcept C62520636 @default.
• W2157364367 hasConcept C78458016 @default.
• W2157364367 hasConcept C80444323 @default.
• W2157364367 hasConcept C86803240 @default.
• W2157364367 hasConcept C92991967 @default.
• W2157364367 hasConceptScore W2157364367C110251889 @default.
• W2157364367 hasConceptScore W2157364367C112505250 @default.
• W2157364367 hasConceptScore W2157364367C112876837 @default.
• W2157364367 hasConceptScore W2157364367C11413529 @default.
• W2157364367 hasConceptScore W2157364367C118615104 @default.
• W2157364367 hasConceptScore W2157364367C121332964 @default.
• W2157364367 hasConceptScore W2157364367C134306372 @default.
• W2157364367 hasConceptScore W2157364367C138885662 @default.
• W2157364367 hasConceptScore W2157364367C14036430 @default.
• W2157364367 hasConceptScore W2157364367C146072743 @default.
• W2157364367 hasConceptScore W2157364367C153269930 @default.
• W2157364367 hasConceptScore W2157364367C154945302 @default.
• W2157364367 hasConceptScore W2157364367C162392398 @default.
• W2157364367 hasConceptScore W2157364367C177264268 @default.
• W2157364367 hasConceptScore W2157364367C192034797 @default.
• W2157364367 hasConceptScore W2157364367C199360897 @default.
• W2157364367 hasConceptScore W2157364367C2775924081 @default.
• W2157364367 hasConceptScore W2157364367C2779662365 @default.
• W2157364367 hasConceptScore W2157364367C33923547 @default.
• W2157364367 hasConceptScore W2157364367C41008148 @default.
• W2157364367 hasConceptScore W2157364367C41895202 @default.
• W2157364367 hasConceptScore W2157364367C52370388 @default.
• W2157364367 hasConceptScore W2157364367C62520636 @default.
• W2157364367 hasConceptScore W2157364367C78458016 @default.
• W2157364367 hasConceptScore W2157364367C80444323 @default.
• W2157364367 hasConceptScore W2157364367C86803240 @default.
• W2157364367 hasConceptScore W2157364367C92991967 @default.
• W2157364367 hasIssue "1" @default.
• W2157364367 hasLocation W21573643671 @default.
• W2157364367 hasOpenAccess W2157364367 @default.
• W2157364367 hasPrimaryLocation W21573643671 @default.
• W2157364367 hasRelatedWork W1507487447 @default.
• W2157364367 hasRelatedWork W189576956 @default.
• W2157364367 hasRelatedWork W2021484753 @default.
• W2157364367 hasRelatedWork W2073105126 @default.
• W2157364367 hasRelatedWork W2121270027 @default.

• next