A Barrier Certificate-Based Simplex Architecture with Application to Microgrids.

Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller

Browse the full RV paper archive.