2 papers
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…