A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. - Amol Damare; Shouvik Roy; Scott A. Smolka; Scott D. Stoller (RV, 2022)

Runtime-Assured, Real-Time Neural Control of Microgrids. - Amol Damare; Shouvik Roy; Scott A. Smolka; Scott D. Stoller (CoRR, 2022)

A distributed simplex architecture for multi-agent systems. - Usama Mehmood; Shouvik Roy; Amol Damare; Radu Grosu; Scott A. Smolka; Scott D. Stoller (J. Syst. Archit., 2023)