13 citations · 51 across the 25 of their papers we have counts for
16 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…
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…
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…
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…
Maximizing the Smallest Eigenvalue of a Symmetric Matrix: A Submodular Optimization Approach
Andrew Clark, Qiqiang Hou, Linda Bushnell +1
This paper studies the problem of selecting a submatrix of a positive definite matrix in order to achieve a desired bound on the smallest eigenvalue of the submatrix. Maximizing th…
On the Structure and Computation of Random Walk Times in Finite Graphs
Andrew Clark, Basel Alomair, Linda Bushnell +1
We consider random walks in which the walk originates in one set of nodes and then continues until it reaches one or more nodes in a target set. The time required for the walk to r…
Combinatorial Algorithms for Control of Biological Regulatory Networks
Andrew Clark, Phillip Lee, Basel Alomair +2
Biological processes, including cell differentiation, organism development, and disease progression, can be interpreted as attractors (fixed points or limit cycles) of an underlyin…
Submodularity in Input Node Selection for Networked Systems
Andrew Clark, Basel Alomair, Linda Bushnell +1
Networked systems are systems of interconnected components, in which the dynamics of each component are influenced by the behavior of neighboring components. Examples of networked…
Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach
Phillip Lee, Andrew Clark, Basel Alomair +2
Malware propagation poses a growing threat to networked systems such as computer networks and cyber-physical systems. Current approaches to defending against malware propagation ar…
Global Practical Node and Edge Synchronization in Kuramoto Networks: A Submodular Optimization Framework
Andrew Clark, Basel Alomair, Linda Bushnell +1
Synchronization underlies phenomena including memory and perception in the brain, coordinated motion of animal flocks, and stability of the power grid. These synchronization phenom…
A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems
Phillip Lee, Andrew Clark, Linda Bushnell +1
Networked control systems consist of distributed sensors and actuators that communicate via a wireless network. The use of an open wireless medium and unattended deployment leaves…
Minimizing Convergence Error in Multi-Agent Systems via Leader Selection: A Supermodular Optimization Approach
Andrew Clark, Basel Alomair, Linda Bushnell +1
In a leader-follower multi-agent system (MAS), the leader agents act as control inputs and influence the states of the remaining follower agents. The rate at which the follower age…
A Supermodular Optimization Framework for Leader Selection under Link Noise in Linear Multi-Agent Systems
Andrew Clark, Linda Bushnell, Radha Poovendran
In many applications of multi-agent systems (MAS), a set of leader agents acts as a control input to the remaining follower agents. In this paper, we introduce an analytical approa…