Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids

Yoshinari Takayama (1, 2, 3) , Adnane Saoud (4, 5) , Alessio Iovine (3)

1 CentraleSupélec
2 Université Paris-Saclay
3 L2S - Laboratoire des signaux et systèmes
4 LSV - Laboratoire Spécification et Vérification
5 L2S - Laboratoire des signaux et systèmes

Motivated by the interest in modeling real-world systems as mixed logical dynamical (MLD) systems with signal temporal logic (STL) specifications, this paper introduces an efficient iterative optimization scheme for this class of systems. We focus on a microgrid system with energy losses, providing two formulations: a mixed-integer-based model and a model tailored to the proposed technique. A numerical case study using model predictive control (MPC) demonstrates that the proposed method significantly improves computation time compared to the classical mixed-integer linear programming (MILP) approach for longer time horizons, while also addressing discontinuity and volatility issues sometimes observed in the MILP approach.

Mots clés: optimal control signal temporal logic mixed logical dynamical systems microgrids; optimal control; signal temporal logic; mixed logical dynamical systems; microgrids

Domaines: Optimisation et contrôle [math.OC]; Automatique; Automatique / Robotique; Energie électrique

Yoshinari Takayama, Adnane Saoud, Alessio Iovine. Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids. 2024. ⟨hal-04548049⟩