13 citations · 51 across the 25 of their papers we have counts for
9 papers · 1 filter
Safety-Critical Online Control with Adversarial Disturbances
Bhaskar Ramasubramanian, Baicen Xiao, Linda Bushnell +1
This paper studies the control of safety-critical dynamical systems in the presence of adversarial disturbances. We seek to synthesize state-feedback controllers to minimize a cost…
Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries
Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark +2
A cyber-physical system (CPS) is expected to be resilient to more than one type of adversary. In this paper, we consider a CPS that has to satisfy a linear temporal logic (LTL) obj…
Secure Control in Partially Observable Environments to Satisfy LTL Specifications
Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark +2
This paper studies the synthesis of control policies for an agent that has to satisfy a temporal logic specification in a partially observable environment, in the presence of an ad…
Stochastic Dynamic Information Flow Tracking Game using Supervised Learning for Detecting Advanced Persistent Threats
Shana Moothedath, Dinuka Sahabandu, Joey Allen +3
Advanced persistent threats (APTs) are organized prolonged cyberattacks by sophisticated attackers. Although APT activities are stealthy, they interact with the system components a…
A Reinforcement Learning Approach for Dynamic Information Flow Tracking Games for Detecting Advanced Persistent Threats
Dinuka Sahabandu, Shana Moothedath, Joey Allen +3
Advanced Persistent Threats (APTs) are stealthy attacks that threaten the security and privacy of sensitive information. Interactions of APTs with victim system introduce informati…
Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats: A Stochastic Game Approach
Shana Moothedath, Dinuka Sahabandu, Joey Allen +4
Advanced Persistent Threats (APTs) are stealthy customized attacks by intelligent adversaries. This paper deals with the detection of APTs that infiltrate cyber systems and comprom…
Submodular Input Selection for Synchronization in Kuramoto Networks
Dinuka Sahabandu, Andrew Clark, Linda Bushnell +1
Synchronization is an essential property of engineered and natural networked dynamical systems. The Kuramoto model of nonlinear synchronization has been widely studied in applicati…
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks
Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark +2
This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex tasks that are time-sensitive, in the presence of an advers…
FRESH: Interactive Reward Shaping in High-Dimensional State Spaces using Human Feedback
Baicen Xiao, Qifan Lu, Bhaskar Ramasubramanian +3
Reinforcement learning has been successful in training autonomous agents to accomplish goals in complex environments. Although this has been adapted to multiple settings, including…