Distributed Barrier Certificates for Safe Operation of Inverter-Based Microgrids | IEEE Conference Publication | IEEE Xplore