Incremental Observer Reduction Applied to Opacity Verification and Synthesis

Mona Noori-Hosseini, Bengt Lennartson, Christoforos Hadjicostis

With the proliferation of communication networks and mobile devices, the privacy and security concerns on their information flow are raised. Given a critical system that may leak c…