14 citations · 46 across the 15 of their papers we have counts for
13 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…
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…
Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks
Hongchao Zhang, Zhouchi Li, Shiyu Cheng +1
Autonomous vehicles rely on LiDAR sensors to detect obstacles such as pedestrians, other vehicles, and fixed infrastructures. LiDAR spoofing attacks have been demonstrated that eit…
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…