14 citations · 108 across the 39 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
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…
A Hybrid Submodular Optimization Approach to Controlled Islanding with Post-Disturbance Stability Guarantees
Luyao Niu, Dinuka Sahanbandu, Andrew Clark +1
Disturbances may create cascading failures in power systems and lead to widespread blackouts. Controlled islanding is an effective approach to mitigate cascading failures by partit…