Amol Damare

A Distributed Simplex Architecture for Multi-Agent Systems pdf

Radu Grosu, Scott A. Smolka, Scott D. Stoller, 2020, SETTA.

A Barrier Certificate-Based Simplex Architecture with Application to Microgrids

S. Stoller, S. Smolka, Shouvik Roy, 2022, RV.

Runtime-Assured, Real-Time Neural Control of Microgrids

S. Stoller, S. Smolka, Shouvik Roy, 2022, ArXiv.