14 citations · 72 across the 41 of their papers we have counts for
19 papers · 1 filter
Distributed Safety-Critical Control of Multi-Agent Systems with Time-Varying Communication Topologies
Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian +2
Coordinating multiple autonomous agents to reach a target region while avoiding collisions and maintaining communication connectivity is a core problem in multi-agent systems. In p…
Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems
Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian +2
In multi-agent systems, signal temporal logic (STL) is widely used for path planning to accomplish complex objectives with formal safety guarantees. However, as the number of agent…
Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach
Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian +2
This paper considers the problem of designing non-pharmaceutical intervention (NPI) strategies, such as masking and social distancing, to slow the spread of a viral epidemic. We fo…
Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems
Luyao Niu, Hongchao Zhang, Dinuka Sahabandu +3
Multi-agent cyber-physical systems are present in a variety of applications. Agent decision-making can be affected due to errors induced by uncertain, dynamic operating environment…
A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems
Luyao Niu, Abdullah Al Maruf, Andrew Clark +2
Interconnected systems such as power systems and chemical processes are often required to satisfy safety properties in the presence of faults and attacks. Verifying safety of these…
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint
Abdullah Al Maruf, Luyao Niu, Andrew Clark +2
Cyber-physical systems (CPS) are required to satisfy safety constraints in various application domains such as robotics, industrial manufacturing systems, and power systems. Faults…
Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks
Luyao Niu, Zhouchi Li, Andrew Clark
We study the problem of synthesizing a controller to satisfy a complex task in the presence of sensor faults and attacks. We model the task using Gaussian distribution temporal log…
Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks
Hongchao Zhang, Shiyu Cheng, Luyao Niu +1
Autonomous Cyber-Physical Systems (CPS) fuse proprioceptive sensors such as GPS and exteroceptive sensors including Light Detection and Ranging (LiDAR) and cameras for state estima…
An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee
Luyao Niu, Abdullah Al Maruf, Andrew Clark +2
Cyber-physical systems (CPS) are required to operate safely under fault and malicious attacks. The simplex architecture and the recently proposed cyber resilient architectures, e.g…
Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions
Luyao Niu, Hongchao Zhang, Andrew Clark
As the complexity of control systems increases, safety becomes an increasingly important property since safety violations can damage the plant and put the system operator in danger…
A Game-Theoretic Framework for Controlled Islanding in the Presence of Adversaries
Luyao Niu, Dinuka Sahabandu, Andrew Clark +1
Controlled islanding effectively mitigates cascading failures by partitioning the power system into a set of disjoint islands. In this paper, we study the controlled islanding prob…
LQG Reference Tracking with Safety and Reachability Guarantees under Unknown False Data Injection Attacks
Zhouchi Li, Luyao Niu, Andrew Clark
We investigate a linear quadratic Gaussian (LQG) tracking problem with safety and reachability constraints in the presence of an adversary who mounts an FDI attack on an unknown se…
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…
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…
Optimal Secure Control with Linear Temporal Logic Constraints
Luyao Niu, Andrew Clark
Prior work on automatic control synthesis for cyber-physical systems under logical constraints has primarily focused on environmental disturbances or modeling uncertainties, howeve…
Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks
Luyao Niu, Jie Fu, Andrew Clark
Cyber-physical systems are conducting increasingly complex tasks, which are often modeled using formal languages such as temporal logic. The system's ability to perform the require…