FRINK Linked Data Fragments server

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

• W2963644532 abstract "Privacy is an increasing concern in cyber-physical systems that operates over a shared network. In this paper, we propose a method for privacy verification of cyber-physical systems modeled by Markov decision processes (MDPs) and partially-observable Markov decision processes (POMDPs) based on barrier certificates. To this end, we consider an opacity-based notion of privacy, which is characterized by the beliefs in system states. We show that the belief update equations can be represented as discrete-time switched systems, for which we propose a set of conditions for privacy verification in terms of barrier certificates. We further demonstrate that, for MDPs and for POMDPs, privacy verification can be computationally implemented by solving a set of semi-definite programs and sum-of-squares programs, respectively. The method is illustrated by an application to privacy verification of an inventory management system." @default.
• W2963644532 created "2019-07-30" @default.
• W2963644532 creator A5035661649 @default.
• W2963644532 creator A5045445273 @default.
• W2963644532 creator A5068441112 @default.
• W2963644532 creator A5084201755 @default.
• W2963644532 date "2018-12-01" @default.
• W2963644532 modified "2023-09-27" @default.
• W2963644532 title "Privacy Verification in POMDPs via Barrier Certificates" @default.
• W2963644532 cites W1522308973 @default.
• W2963644532 cites W1591651495 @default.
• W2963644532 cites W1973309971 @default.
• W2963644532 cites W2037457229 @default.
• W2963644532 cites W2052446317 @default.
• W2963644532 cites W2055921164 @default.
• W2963644532 cites W2099354898 @default.
• W2963644532 cites W2137469879 @default.
• W2963644532 cites W2140214428 @default.
• W2963644532 cites W2149845256 @default.
• W2963644532 cites W2169294731 @default.
• W2963644532 cites W2172357028 @default.
• W2963644532 cites W2289587200 @default.
• W2963644532 cites W2399834680 @default.
• W2963644532 cites W2416559203 @default.
• W2963644532 cites W2500452216 @default.
• W2963644532 cites W2514942416 @default.
• W2963644532 cites W2536620281 @default.
• W2963644532 cites W2570299561 @default.
• W2963644532 cites W2571548572 @default.
• W2963644532 cites W2588802774 @default.
• W2963644532 cites W2620840602 @default.
• W2963644532 cites W2786298272 @default.
• W2963644532 cites W2809079675 @default.
• W2963644532 cites W2964252321 @default.
• W2963644532 cites W4240329752 @default.
• W2963644532 doi "https://doi.org/10.1109/cdc.2018.8619061" @default.
• W2963644532 hasPublicationYear "2018" @default.
• W2963644532 type Work @default.
• W2963644532 sameAs 2963644532 @default.
• W2963644532 citedByCount "27" @default.
• W2963644532 countsByYear W29636445322018 @default.
• W2963644532 countsByYear W29636445322019 @default.
• W2963644532 countsByYear W29636445322020 @default.
• W2963644532 countsByYear W29636445322021 @default.
• W2963644532 countsByYear W29636445322022 @default.
• W2963644532 countsByYear W29636445322023 @default.
• W2963644532 crossrefType "proceedings-article" @default.
• W2963644532 hasAuthorship W2963644532A5035661649 @default.
• W2963644532 hasAuthorship W2963644532A5045445273 @default.
• W2963644532 hasAuthorship W2963644532A5068441112 @default.
• W2963644532 hasAuthorship W2963644532A5084201755 @default.
• W2963644532 hasBestOaLocation W29636445322 @default.
• W2963644532 hasConcept C105795698 @default.
• W2963644532 hasConcept C106189395 @default.
• W2963644532 hasConcept C119857082 @default.
• W2963644532 hasConcept C120314980 @default.
• W2963644532 hasConcept C121332964 @default.
• W2963644532 hasConcept C123201435 @default.
• W2963644532 hasConcept C126255220 @default.
• W2963644532 hasConcept C159886148 @default.
• W2963644532 hasConcept C163836022 @default.
• W2963644532 hasConcept C17098449 @default.
• W2963644532 hasConcept C177264268 @default.
• W2963644532 hasConcept C199360897 @default.
• W2963644532 hasConcept C32848918 @default.
• W2963644532 hasConcept C33923547 @default.
• W2963644532 hasConcept C38652104 @default.
• W2963644532 hasConcept C41008148 @default.
• W2963644532 hasConcept C62520636 @default.
• W2963644532 hasConcept C80444323 @default.
• W2963644532 hasConcept C98763669 @default.
• W2963644532 hasConceptScore W2963644532C105795698 @default.
• W2963644532 hasConceptScore W2963644532C106189395 @default.
• W2963644532 hasConceptScore W2963644532C119857082 @default.
• W2963644532 hasConceptScore W2963644532C120314980 @default.
• W2963644532 hasConceptScore W2963644532C121332964 @default.
• W2963644532 hasConceptScore W2963644532C123201435 @default.
• W2963644532 hasConceptScore W2963644532C126255220 @default.
• W2963644532 hasConceptScore W2963644532C159886148 @default.
• W2963644532 hasConceptScore W2963644532C163836022 @default.
• W2963644532 hasConceptScore W2963644532C17098449 @default.
• W2963644532 hasConceptScore W2963644532C177264268 @default.
• W2963644532 hasConceptScore W2963644532C199360897 @default.
• W2963644532 hasConceptScore W2963644532C32848918 @default.
• W2963644532 hasConceptScore W2963644532C33923547 @default.
• W2963644532 hasConceptScore W2963644532C38652104 @default.
• W2963644532 hasConceptScore W2963644532C41008148 @default.
• W2963644532 hasConceptScore W2963644532C62520636 @default.
• W2963644532 hasConceptScore W2963644532C80444323 @default.
• W2963644532 hasConceptScore W2963644532C98763669 @default.
• W2963644532 hasLocation W29636445321 @default.
• W2963644532 hasLocation W29636445322 @default.
• W2963644532 hasOpenAccess W2963644532 @default.
• W2963644532 hasPrimaryLocation W29636445321 @default.
• W2963644532 hasRelatedWork W1862398452 @default.
• W2963644532 hasRelatedWork W1887806484 @default.
• W2963644532 hasRelatedWork W1967073510 @default.
• W2963644532 hasRelatedWork W1967184028 @default.
• W2963644532 hasRelatedWork W2033118636 @default.
• W2963644532 hasRelatedWork W2052227055 @default.

• next