In this paper, we propose a method for privacy verification of cyber-physical systems modeled by Markov decision processes (MDPs) and partially-observable ...

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.

It is demonstrated that, for MDPs and for POMDPs, privacy verification can be computationally implemented by solving a set of semi-definite programs and ...

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 ...

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active.

This paper presents an input-output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of ...

Jul 10, 2018 · We then take advantage of this switched system characterization and propose a method based on barrier certificates for optimality and/or safety ...

This work casts the POMDP problem into a switched system scenario, takes advantage of this switched system characterization and proposes a method based on ...

Topcu, “Privacy verification in. POMDPs via barrier certificates,” in Decision and Control (CDC),. 2018 IEEE 57th Annual Conference on,, 2018. [7] M. Ahmadi ...

We show that if there exist a barrier certificate satisfying a set of inequalities along the belief update equation of the POMDP, the safety/optimality property ...