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
4 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : 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.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02070070
Contributor : Adnane Saoud <>
Submitted on : Friday, March 29, 2019 - 4:07:19 PM
Last modification on : Tuesday, October 15, 2019 - 1:50:52 PM
Long-term archiving on : Sunday, June 30, 2019 - 12:23:25 PM

File

Symbolic Control of DC grids E...
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

204

Files downloads

228