14 citations · 72 across the 41 of their papers we have counts for
4 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…
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…