5 papers
Information-Driven Active Perception for k-step Predictive Safety Monitoring
Sumukha Udupa, Jie Fu
This work studies the synthesis of active perception policies for predictive safety monitoring in partially observable stochastic systems. Operating under strict sensing and commun…
Policy Gradient Methods for Information-Theoretic Opacity in Markov Decision Processes
Chongyang Shi, Sumukha Udupa, Michael R. Dorothy +2
Opacity, or non-interference, is a property ensuring that an external observer cannot infer confidential information (the "secret") from system observations. We introduce an inform…
Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
Sumukha Udupa, Chongyang Shi, Jie Fu
In this work, we investigate the synthesis of dynamic information releasing mechanisms, referred to as ''masks'', to minimize information leakage from a stochastic system to an ext…
Reactive Synthesis of Sensor Revealing Strategies in Hypergames on Graphs
Sumukha Udupa, Ahmed Hemida, Charles A. Kamhoua +1
In many security applications of cyber-physical systems, a system designer must guarantee that critical missions are satisfied against attacks in the sensors and actuators of the C…
Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations
Sumukha Udupa, Jie Fu
Qualitative opacity of a secret is a security property, which means that a system trajectory satisfying the secret is observation-equivalent to a trajectory violating the secret. I…