13 citations · 51 across the 25 of their papers we have counts for
35 papers
AIBL: Augmented Instance-Based Learning with Structured Memory and Neural Embeddings
Radha Poovendran, Andrea Stocco, Linda Bushnell
Sequential learning systems often make decisions from accumulated experience while receiving high-dimensional inputs whose distribution may change over time. Instance-Based Learnin…
Polyhedral Instability Governs Regret in Online Learning
Yuetai Li, Fengqing Jiang, Yichen Feng +6
Many online decision problems over combinatorial actions are addressed via convex relaxations, leading to online convex optimization with piecewise linear objectives and induced po…
The WidthWall: A Strict Expressivity Hierarchy for Hypergraph Neural Networks
Fengqing Jiang, Yuetai Li, Yichen Feng +6
Hypergraphs provide a natural framework to model higher-order interactions in scientific, social, and biological systems. Hypergraph neural networks (HGNNs) aim to learn from such…
A Method for Fast Autonomy Transfer in Reinforcement Learning
Dinuka Sahabandu, Bhaskar Ramasubramanian, Michail Alexiou +3
This paper introduces a novel reinforcement learning (RL) strategy designed to facilitate rapid autonomy transfer by utilizing pre-trained critic value functions from multiple envi…
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…
Covert Channel-Based Transmitter Authentication in Controller Area Networks
Xuhang Ying, Giuseppe Bernieri, Mauro Conti +2
In recent years, the security of automotive Cyber-Physical Systems (CPSs) is facing urgent threats due to the widespread use of legacy in-vehicle communication systems. As a repres…
Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates
Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark +2
This paper studies the satisfaction of a class of temporal properties for cyber-physical systems (CPSs) over a finite-time horizon in the presence of an adversary, in an environmen…
Mitigating Vulnerabilities of Voltage-based Intrusion Detection Systems in Controller Area Networks
Sang Uk Sagong, Radha Poovendran, Linda Bushnell
Data for controlling a vehicle is exchanged among Electronic Control Units (ECUs) via in-vehicle network protocols such as the Controller Area Network (CAN) protocol. Since these p…
Potential-Based Advice for Stochastic Policy Learning
Baicen Xiao, Bhaskar Ramasubramanian, Andrew Clark +3
This paper augments the reward received by a reinforcement learning agent with potential functions in order to help the agent learn (possibly stochastic) optimal policies. We show…
Detecting ADS-B Spoofing Attacks using Deep Neural Networks
Xuhang Ying, Joanna Mazer, Giuseppe Bernieri +3
The Automatic Dependent Surveillance-Broadcast (ADS-B) system is a key component of the Next Generation Air Transportation System (NextGen) that manages the increasingly congested…
Secure Control under Partial Observability with Temporal Logic Constraints
Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell +1
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…
A Game Theoretic Approach for Dynamic Information Flow Tracking to Detect Multi-Stage Advanced Persistent Threats
Shana Moothedath, Dinuka Sahabandu, Joey Allen +4
Advanced Persistent Threats (APTs) infiltrate cyber systems and compromise specifically targeted data and/or resources through a sequence of stealthy attacks consisting of multiple…
Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks
Xuhang Ying, Sang Uk Sagong, Andrew Clark +2
This paper presents a new masquerade attack called the cloaking attack and provides formal analyses for clock skew-based Intrusion Detection Systems (IDSs) that detect masquerade a…
Controlled Islanding via Weak Submodularity
Zhipeng Liu, Andrew Clark, Linda Bushnell +2
Cascading failures typically occur following a large disturbance in power systems, such as tripping of a generating unit or a transmission line. Such failures can propagate and des…
Distributed Observers Design for Leader-Following Control of Multi-Agent Networks (Extended Version)
Yiguang Hong, Guanrong Chen, Linda Bushnell
This paper is concerned with a leader-follower problem for a multi-agent system with a switching interconnection topology. Distributed observers are designed for the second-order f…
Minimal Input Selection for Robust Control
Zhipeng Liu, Yao Long, Andrew Clark +4
This paper studies the problem of selecting a minimum-size set of input nodes to guarantee stability of a networked system in the presence of uncertainties and time delays. Current…