14 citations · 108 across the 39 of their papers we have counts for
8 papers · 1 filter
Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints
Luyao Niu, Andrew Clark
Temporal logic has been widely used to express complex task specifications for cyber-physical systems (CPSs). One way to synthesize a controller for CPS under temporal logic constr…
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…
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 Barrier Functions for Stochastic Systems
Andrew Clark
Control Barrier Functions (CBFs) aim to ensure safety by constraining the control input at each time step so that the system state remains within a desired safe region. This paper…