3 papers
eess.SY2026
Controlled Islanding and Reconnection with Stability Guarantees via Submodular Optimization
Shiyu Cheng, Andrew Clark
In large-scale networked dynamical systems, local faults or disturbances may propagate through the interconnections and compromise the stability of the entire network. Partitioning…
eess.SY2025
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…
eess.SY2024
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…