TY - RPRT TI - Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application AU - Jean-Baptiste Bouvier AU - Sai Pushpak Nandanoori AU - Melkior Ornik AU - Soumya Kundu PY - 2022 UR - https://arxiv.org/abs/2202.09320 ID - 2202.09320 ER -