Privacy Verification in POMDPs via Barrier Certificates
Privacy Verification in POMDPs via Barrier Certificates
复制标题
通过 Barrier 证书在 POMDP 中进行隐私验证
DOI：
10.1109/cdc.2018.8619061
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
U. Topcu
中科院分区：
文献类型：
--
作者：
M. Ahmadi;B. Wu;Hai Lin;U. Topcu
隐私是在共享网络上运行的网络物理系统中日益关注的问题。在本文中，我们提出了一种基于屏障证书的马尔可夫决策过程（MDP）和部分可观察马尔可夫决策过程（POMDP）建模的网络物理系统的隐私验证方法。为此，我们考虑一个基于不透明的隐私概念，其特征在于系统状态的信念。我们发现，信念更新方程可以表示为离散时间切换系统，我们提出了一组条件的隐私验证的屏障证书。我们进一步证明了，对于MDP和POMDP，隐私验证可以通过分别求解一组半定程序和平方和程序来计算实现。该方法通过应用于库存管理系统的隐私验证来说明。
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.
DOI：
10.1109/cdc.2016.7799088
发表时间：
2016-12
期刊：
2016 IEEE 55th Conference on Decision and Control (CDC)
影响因子：
--
作者：
M. Ahmadi;Andreas W. K. Harris;A. Papachristodoulou
通讯作者：
M. Ahmadi;Andreas W. K. Harris;A. Papachristodoulou
使用屏障泛函的分布式参数系统的安全验证
影响因子：
2.6
作者：
Ahmadi M
通讯作者：
Ahmadi M
影响因子：
3
作者：
Glotfelter, Paul;Cortes, Jorge;Egerstedt, Magnus
通讯作者：
Egerstedt, Magnus