arXiv subjects

Styliani Avraamidou

Publications and source records attributed to Styliani Avraamidou.

9 recordsLinked to original sources

arXiv2026

Multi-Agent Receding Horizon Games Framework for Autonomous Market Participation

Electrochemical distributed energy resources (DERs), such as electrolyzers and battery energy storage systems, consume large amounts of electricity. Buying that power directly from wholesale markets can sharply reduce operating costs. Accessing these markets, however, requires a minimum bid size that individual small or medium-scale units struggle to meet. Grouping several units to bid as a single participant clears this barrier while letting each unit use its own low-cost renewable generation. The common remedy is to hire a third-party aggregator, but aggregators charge commissions and solve a centralized optimization that often favors certain units over others. A fairer alternative is peer-to-peer (P2P) participation, where units form a self-governing group and bid jointly with no central authority. Because each self-interested unit is unwilling to share private data, coordination is best posed as a game-theoretic distributed optimization problem. Existing P2P methods, however, address only single-round spot markets and ignore the two-stage structure of real wholesale markets, where participants commit a day ahead and continuously adjust in real time. We close this gap with a two-stage receding-horizon generalized Nash equilibrium (GNE) game. Each unit re-optimizes its strategy every five minutes over a rolling one-hour horizon, while the group satisfies both market stages collectively. Units exchange only publicly visible aggregate power, never private cost or production data. We apply the approach to a six-unit fleet on the PJM market. It delivers 37% higher profit, 29% lower electricity cost, and 92% less renewable curtailment than individual participation, with every unit better off.

math.OC↗

arXiv2026

Enhancing Interpretability of Stochastic Programming Solutions: A Multiparametric Approach

Stochastic programming (SP) is a powerful framework for decision-making under uncertainty, but its practical adoption in industry is often hindered by the difficulty in understanding the causal relationships that drive optimal solutions. In the two-stage SP, strategic first-stage decisions are coupled with operational second-stage recourse decisions. When the number of scenarios under consideration is large, understanding the direct link between the uncertainty realization and optimal recourse strategy becomes computationally and cognitively demanding. Common approaches to improve interpretability include trained classification trees or scenario reduction, replacing the large scenario set with a representative subset. This is often achieved through post-hoc clustering (e.g., k-means) based on uncertainty realizations or optimal recourse decisions. While useful, these methods only provide a statistical approximation of the solution space and may fail to reveal the underlying structural properties of the recourse problem that drive optimal first-stage decisions. This work introduces a novel, deterministic approach to explainability using multiparametric programming (mp) within a Benders decomposition framework. We reformulate the recourse subproblem as a multiparametric linear program, generating an explicit map of Critical Regions (CRs), which are polyhedral partitions of the uncertainty space. This allows us to cluster scenarios analytically rather than statistically. We demonstrate this methodology on a supply chain planning under demand uncertainty. Our results show that 100 stochastic scenarios map to exactly six critical region clusters. This mapping allows us to explain optimal capacity planning decisions as a precise trade-off between specific operational modes, providing a fully transparent interpretation of the stochastic solution.

math.OC↗

arXiv2026

Decomposing a Multi-Scale Optimization Framework for Grid-Integrated Electrolysis using Aggregate-Informed Benders

Demand response (DR) operation of electrolysis devices is gaining traction to capitalize on volatile electricity markets, but their dynamic operation poses challenges to the durability and lifespan of these systems. Our recently developed multi-scale optimization framework for grid-integrated electrolysis systems studied the impacts of DR and effects on device durability. A major hurdle in that work is tractably scaling the model to include participation in high-frequency electricity markets and/or longer time horizons. To address this, in this work, we developed an aggregate-informed Benders decomposition method to tractably solve large instances of this problem structure. To illustrate the efficacy, we solve a case study with market participation in the day-ahead market (DAM) and real-time markets (RTM) for up to 40 years to effectively capture the effects of device lifespan change. We compare our decomposition algorithm to both commercial solvers and traditional Benders decomposition. We find that incorporating aggregate subproblem information accelerates convergence, reducing the final optimality gap by up to ~81% relative to traditional Benders on the 40-year horizon instances that otherwise stall near 85%. We additionally apply the algorithm to find that RTM participation offers economic advantages under the higher price volatility.

math.OC↗

arXiv2026

A Multi-Scale Optimization Framework for Grid-Integrated Electrolysis

The increasing penetration of wind and solar resources into the power grid motivates the integration of flexible technologies to dynamically shift power loads in response to grid volatility and emergency events. The water electrolyzer presents a synergistic opportunity to provide flexibility through demand response (DR), while simultaneously electrifying hydrogen production; however, highly dynamic operation schedules accelerate device degradation. This work presents a mixed-integer linear program (MILP) optimization framework to study the multi-scale coupling between short-term operational flexibility provision in electrolysis devices and long-term stack replacement decisions driven by degradation. Active day-ahead market (DAM) participation of a 2.2 MW alkaline water electrolyzer over 22 years is solved as a case study. Our framework reveals that the multi-scale scheduling of DR operation and replacement decisions can extend optimal stack lifetimes by up to 2 years through load-shifting and further reduce lifetime electricity expenses by 33% relative to inflexible constant operation. Furthermore, we quantify key device parameter tradeoffs and next-generation design goals, where our analysis challenges the feasibility of the standard \$1/kg levelized cost of hydrogen (LCOH) production target solely through market arbitrage. Ultimately, this framework quantifies the largely unexploited economic value of multi-scale optimization in grid-integrated electrolysis.

math.OC↗

arXiv2026

Explicit Distributed MPC: Reducing Computation and Communication Load by Exploiting Facet Properties

Classical Distributed Model Predictive Control (DiMPC) requires multiple iterations to achieve convergence, leading to high computational and communication burdens. This work focuses on the improvement of an iteration-free distributed MPC methodology that minimizes computational effort and communication load. The aforementioned methodology leverages multiparametric programming to compute explicit control laws offline for each subsystem, enabling real-time control without iterative data exchanges between subsystems. Extending our previous work on iteration-free DiMPC, here we introduce a FAcet-based Critical region Exploration Technique for iteration-free DiMPC (FACET-DiMPC) that further reduces computational complexity by leveraging facet properties to do targeted critical region exploration. Simulation results demonstrate that the developed method achieves comparable control performance to centralized methods, while significantly reducing communication overhead and computation time. In particular, the proposed methodology offers substantial efficiency gains in terms of the average computation time reduction of 98% compared to classic iterative DiMPC methods and 42% compared to iteration-free DiMPC methods, making it well-suited for real-time control applications with tight latency and computation constraints.

math.OC↗

arXiv2026

Incorporating circular economy policies into product supply chains using bilevel optimization -- A case study on coffee packaging

Transitioning to a Circular Economy requires policies to drive sustainable practices. This study proposes a bilevel optimization framework to evaluate the combined use of carbon taxes and subsidies in promoting circular supply chains under varying budget levels. A case study of the coffee packaging supply chain with an Extended Producer Responsibility scenario is used to demonstrate this approach. The framework captures the hierarchical interaction between a regional government (upper level), which aims to minimize environmental impacts, and coffee companies (lower level), which seek to minimize costs. Two bilevel optimization problems are formulated based on two environmental objectives: (1) minimization of greenhouse gas (GHG) emissions, and (2) maximization of circularity. The model integrates mixed-integer linear programming (MILP) with life cycle assessment (LCA), techno-economic assessment (TEA) and circularity assessment. Results demonstrate that subsidies effectively drive supply chain shifts toward low-emission and high-circularity configurations, while carbon taxes alone have a more limited impact. Sensitivity analyses highlight the influence of key parameters, such as glass washing distance and loss rates, on policy effectiveness. Overall, the study provides a bilevel optimization framework with quantitative insights to support policy design for sustainable circular supply chains.

math.OC↗

arXiv2026

Parametric Region Search: A Mixed-Integer Bilevel Optimization Problem Primal Heuristic

Bilevel optimization is a mathematical modeling formulation for hierarchical systems and two-player interactions, with wide-ranging applications in environmental, energy, and control engineering. Despite its utility, the mixed-integer bilevel optimization (MIBO) problem is exceptionally challenging to solve. While numerous exact and metaheuristic methods exist, the development of specialized primal heuristics for MIBO, aimed at quickly identifying high-quality feasible solutions, remains an underexplored area. This paper introduces the Parametric Region Search (PRS), a new primal heuristic for MIBO. The PRS method leverages insights from multi-parametric optimization by iteratively exploring regions defined by the lower-level problem's critical regions. We formally define the MIBO structure and the necessary parametric region formulations, and then detail the proposed heuristic's initialization and iterative search mechanism. Computational results demonstrate that the PRS heuristic consistently locates high-quality primal solutions compared to established derivative-free metaheuristics, including DOMINO-COBYLA and DOMINO-ISRES. Furthermore, we illustrate how the PRS can be effectively integrated with other heuristics like DOMINO-COBYLA to enhance the overall solution discovery process for MIBO.

math.OC↗

arXiv2025

Benders Decomposition using Graph Modeling and Multi-Parametric Programming

Benders decomposition is a widely used method for solving large optimization problems, but its performance is often hindered by the repeated solution of subproblems. We propose a flexible and modular algorithmic framework for accelerating Benders decomposition by embedding multi-parametric programming (mp) surrogates for optimization subproblems. Our approach leverages the OptiGraph abstraction in Plasmo$.$jl to model and decompose graph-structured problems. By solving the subproblems associated with the graph nodes once using mp, we can extract explicit piecewise affine mappings for primal and dual variables which replace the expensive subproblem solves with efficient look-ups and function evaluations during the iterative Benders process. We formally show the equivalence between classical Benders cuts and those derived from the mp solution and implement this integration in the open-source PlasmoBenders$.$jl software package. We apply it to a two-stage stochastic programming problem, which aims to make optimal capacity expansion decisions under uncertainty in product demand/prices and availability of raw materials. We evaluate single-cut and multi-cut variants of Benders and show that the mp surrogate approach achieves substantial speedups in subproblem solve time while preserving the convergence guarantees of Benders. Furthermore, we highlight advantages in the solution analysis and interpretability that is enabled by mp critical region tracking. Our results demonstrate that combining mp programming with graph modeling offers a promising and extensible foundation for structure-exploiting decomposition. By decomposing the problem into tractable subproblems, the proposed approach also aims to overcome scalability issues of mp, and the use of mp surrogates provides a unifying modeling framework to represent heterogeneous graph subproblems as common modeling objects.

math.OC↗

arXiv2024

Iteration-Free Cooperative Distributed MPC through Multiparametric Programming

Cooperative Distributed Model Predictive Control (DiMPC) architecture employs local MPC controllers to control different subsystems, exchanging information with each other through an iterative procedure to enhance overall control performance compared to the decentralized architecture. However, this method can result in high communication between the controllers and computational costs. In this work, the amount of information exchanged and the computational costs of DiMPC are reduced significantly by developing novel iteration-free solution algorithms based on multiparametric (mp) programming. These algorithms replace the iterative procedure with simultaneous solutions of explicit mpDiMPC control law functions. The reduced communication among local controllers decreases system latency, which is crucial for real-time control applications. The effectiveness of the proposed iteration-free mpDiMPC algorithms is demonstrated through comprehensive numerical simulations involving groups of coupled linear subsystems, which are interconnected through their inputs and a cooperative plant-wide cost function.

eess.SY↗