Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application

Jean Baptiste Bouvier, Sai Pushpak Nandanoori, Melkior Ornik, Soumya Kundu

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Modern safety-critical energy infrastructures are operated in a hierarchical and modular control framework allowing only limited data exchange between modules. In this context, to assure system-wide safety each module must synthesize and communicate constraints on the values of exchanged data. To ensure transient safety in inverter-based microgrids, we develop a set invariance-based distributed safety verification algorithm for each inverter module. Applying Nagumo's invariance condition, we construct a robust polynomial optimization problem to jointly search for safety-admissible set of control set-points and design parameters, under allowable disturbances from neighbors. We solve the verification problem with sum-of-squares programming and we perform numerical simulations using grid-forming inverters to illustrate our method.

Original languageEnglish (US)
Title of host publication2022 American Control Conference, ACC 2022
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Electronic)9781665451963
StatePublished - 2022
Event2022 American Control Conference, ACC 2022 - Atlanta, United States
Duration: Jun 8 2022Jun 10 2022

Publication series

NameProceedings of the American Control Conference
ISSN (Print)0743-1619


Conference2022 American Control Conference, ACC 2022
Country/TerritoryUnited States

ASJC Scopus subject areas

  • Electrical and Electronic Engineering


Dive into the research topics of 'Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application'. Together they form a unique fingerprint.

Cite this