A symbolic approach to voltage stability and power sharing in time-varying DC microgrids

Daniele Zonetti (1, 2) , Adnane Saoud (2, 3) , Antoine Girard (3) , Laurent Fribourg (2, 4)

1 CNRS - Centre National de la Recherche Scientifique
2 LSV - Laboratoire Spécification et Vérification [Cachan]
3 L2S - Laboratoire des signaux et systèmes
4 MEXICO - Modeling and Exploitation of Interaction and Concurrency

In this paper, we address the problem of voltage stability and power sharing in DC microgrids with time-varying power demand. By exploiting the monotonicity property enjoyed by the system, and under the assumption of full observ-ability of the bus voltages, we design a centralized, abstraction-based symbolic controller that, once refined into a controller for the original system, ensures the required specifications. Whereas load voltages cannot be measured, we propose an appropriate decomposition of the system, such that the control problem can be reformulated in terms of assume-guarantee contracts to be satisfied by the observable and unobservable components. A constructive procedure to determine suitable contracts is further investigated and the obtained results are validated with two numerical examples.

Domaines: Automatique / Robotique; Energie électrique

Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg. A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. ECC 2019 - European control conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796095⟩. ⟨hal-02070070⟩