Search arXivSearch

arXiv · 2409.08300

Learning-Enabled Iterative Convex Optimization for Safety-Critical Model Predictive Control

Abstract

Safety remains a central challenge in control of dynamical systems, particularly when the boundaries of unsafe sets are complex (e.g., nonconvex, nonsmooth) or unknown. This paper proposes a learning-enabled framework for safety-critical Model Predictive Control (MPC) that integrates Discrete-Time High-Order Control Barrier Functions (DHOCBFs) with iterative convex optimization. Unlike existing methods that primarily address CBFs of relative degree one with fully known unsafe set boundaries, our approach generalizes to arbitrary relative degrees and addresses scenarios where the unsafe set boundaries must be inferred. We extract pixel-based data specifically from unsafe set boundaries and train a neural network to approximate local linearizations of these boundaries. The learned models are incorporated into the linearized DHOCBF constraints at each time step, enabling real-time constraint satisfaction within the MPC framework. An iterative convex optimization procedure is developed to accelerate computation while maintaining formal safety guarantees. The benefits of computational performance and safe avoidance of obstacles with diverse shapes are examined and confirmed through numerical results. By bridging model-based control with learning-based environment modeling, this framework advances safe autonomy for discrete-time systems operating in complex and partially known settings.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shuo Liu, Zhe Huang, Jun Zeng, Koushil Sreenath, Calin A. Belta. 2025-09-14. Learning-Enabled Iterative Convex Optimization for Safety-Critical Model Predictive Control. https://arxiv.org/abs/2409.08300

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Cooperative Multi-Agent Assignment over Stochastic Graphs via Constrained Reinforcement Learning

Constrained multi-agent reinforcement learning offers the framework to design scalable and almost surely feasible solutions for teams of agents operating in dynamic environments to carry out conflicting tasks. We address the challenges of multi-agent coordination through an unconventional formulation in which the dual variables are not driven to convergence but are free to cycle, enabling agents to adapt their policies dynamically based on real-time constraint satisfaction levels. The coordination relies on a light single-bit communication protocol over a network with stochastic connectivity. Using this gossiped information, agents update local estimates of the dual variables. Furthermore, we modify the local dual dynamics by introducing a contraction factor, which lets us use finite communication buffers and keep the estimation error bounded. Under this model, we provide theoretical guarantees of almost sure feasibility and corroborate them with numerical experiments in which a team of robots successfully patrols multiple regions, communicating under a time-varying ad-hoc network.

eess.SY

Which Top Energy-Intensive Manufacturing Countries Can Compete in a Renewable Energy Future?

In a world increasingly powered by renewables and aiming for greenhouse gas-neutral industrial production, the future competitiveness of todays top manufacturing countries is questioned. This study applies detailed energy system modeling to quantify the Renewable Pull, an incentive for industry relocation exerted by countries with favorable renewable conditions. Results reveal that the Renewable Pull is not a cross-industrial phenomenon but strongly depends on the relationship between energy costs and transport costs. The intensity of the Renewable Pull varies, with China, India, and Japan facing a significantly stronger effect than Germany and the United States. Incorporating national capital cost assumptions proves critical, reducing Germanys Renewable Pull by a factor of six and positioning it as the second least affected top manufacturing country after Saudi Arabia. Using Germany as a case study, the analysis moreover illustrates that targeted import strategies, especially within the EU, can nearly eliminate the Renewable Pull, offering policymakers clear options for risk mitigation.

eess.SY

Certifying Frequency Stability for Systems with Line Dynamics and Heterogeneous Bus Dynamics

This work presents a framework for certifying small-signal frequency stability of a power system with line dynamics and heterogeneous bus dynamics. This framework can certify the stability of systems which include synchronous generators, synchronous condensers, and converter-interfaced resources with a wide range of controls. Moreover, it can do so without detailed or precise knowledge of the network topology. With this framework, we also provide a detailed analysis of how proportional-derivative (PD) droop can improve the stability margin of the frequency response. The stability certificates presented in this work, which extend prior results by incorporating line dynamics, provide insight into how the control parameters for different units in the system impact the overall frequency stability. While damper windings have long been understood to improve the frequency synchronization between machines, the dynamics of the damper windings are complex, making them difficult to analyze. To address this gap, this paper derives a novel reduced-order model of the damper windings in the form of a derivative droop term. Moreover, we show that derivative droop terms used in grid-forming (GFM) control can be understood as a form of damper winding emulation. Our analytical stability conditions highlight the importance of damper windings (or their emulation) in facilitating frequency synchronization and suppressing unstable interactions between GFM converters. These results are validated with electromagnetic-transient (EMT) simulation.

eess.SY