Privacy Verification and Enforcement via Belief Abstraction

Privacy is a crucial concern in many practical systems. We consider a new notion of privacy based on beliefs of the system states, which is closely related to opacity in discrete event systems. To guarantee the privacy requirement, we propose to abstract the belief space whose dynamics is shown to be mixed monotone where efficient abstraction algorithm exists. Based on the abstraction, we propose two different approaches to preserve privacy with an illustrative example.