activity
20122026
most citedOptimal Secure Control with Linear Temporal Logic Constraints

14 citations · 108 across the 39 of their papers we have counts for

collaborators

51 papers

eess.SY2026

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…

eess.SY2024

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…

cs.LG2023★ 2 cited

Neural Lyapunov Control for Discrete-Time Systems

Junlin Wu, Andrew Clark, Yiannis Kantaros +1

While ensuring stability for linear systems is well understood, it remains a major challenge for nonlinear systems. A general approach in such cases is to compute a combination of…

eess.SY2023

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…

cs.AI2023

Risk-Aware Distributed Multi-Agent Reinforcement Learning

Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian +2

Autonomous cyber and cyber-physical systems need to perform decision-making, learning, and control in unknown environments. Such decision-making can be sensitive to multiple factor…

eess.SY2023★ 1 cited

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…