arXiv ScienceSearch

arXiv · 2606.08611

Bayesian Optimization of a Multi-Product Chemical Reactor Using Composite Models and Partial Physics Knowledge

Abstract

We study data-driven real-time economic optimization of a multi-product chemical reactor when no reliable first-principles model is available beyond a steady-state energy balance. Instead of learning the economic objective directly as a black-box function, we use a composite formulation in which Gaussian process (GP) models predict physically meaningful outputs, including product concentrations and reactor temperature, while profit is computed analytically from these predictions together with raw-material, product, and utility prices. This preserves the structure of the economic objective, makes it parametric in changing prices without needing retraining, and allows candidate operating points to be checked against the available energy balance through a physics residual. The GPs also provide predictive uncertainty, which is exploited in a Bayesian optimization (BO) framework both for data-efficient exploration and for conservative enforcement of the reactor temperature constraint through an upper confidence bound. The acquisition function additionally penalizes large energy-balance mismatch obtained by substituting the GP-predicted outputs and candidate inputs into the available steady-state energy balance. The approach is demonstrated on a benchmark simulation of a non-isothermal multi-product reactor. Relative to a trust-region safe BO implementation, the proposed method achieves better simulated economic performance within the available iteration budget. Relative to a purely data-driven BO approach that does not use the available physics information, it avoids reactor temperature constraint violations.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Liqiu Dong, Marta Zagórowska, Mehmet Mercangöz. 2026-06-07. Bayesian Optimization of a Multi-Product Chemical Reactor Using Composite Models and Partial Physics Knowledge. https://arxiv.org/abs/2606.08611

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

KEEP EXPLORING

Related papers

Learning State-Action Control Barrier Functions for Model-Free Control under Constraints

Ensuring constraint satisfaction for learning-based control is a critical challenge, especially in the model-free case. While safety filters address this challenge in the model-based setting, they typically rely on predictive models derived from physics or data. This reliance limits their applicability for advanced model-free learning control methods. To address this gap, we propose a new optimization-based control framework that determines safe control inputs directly from data. The benefit of the framework is that both the objective function and the safety constraint can be updated using model-free learning algorithms, enabling performance optimization while maintaining safety. As a key component, the concept of direct data-driven safety filters (3DSF) is first proposed. The framework employs a novel safety certificate, called the state-action control barrier function (SACBF). We present two approaches for synthesizing SACBFs, including learning from an expert controller and reinforcement learning. We develop a robustness framework that guarantees safety and recursive feasibility for the expert-guided approach under learning errors. The proposed control framework bridges the gap between model-free learning-based control and constrained control, by decoupling performance optimization from safety enforcement. Simulations on vehicle control illustrate the superior performance regarding constraint satisfaction and task achievement compared to model-based methods and reward shaping.

eess.SY

Safety Under State Uncertainty: Robustifying Control Barrier Functions

Safety-critical control is a crucial aspect of modern systems, and Control Barrier Functions (CBFs) have gained popularity as the framework of choice for ensuring safety. However, implementing a CBF requires exact knowledge of the true state, a requirement that is often violated in real-world applications where only noisy or estimated state information is available. This paper introduces the notion of Robust Control Barrier Functions (R-CBF) for ensuring safety under such state uncertainty. Crucially, this framework does not require knowledge of the magnitude of uncertainty for the synthesis of a robust safe controller. We formally characterize the class of robustifying terms that ensure robust closed-loop safety and show how a robustly safe controller can be constructed. We demonstrate the effectiveness of this approach through simulations and compare it to existing methods, highlighting the additional robustness and convergence guarantees it provides.

eess.SY

Model Predictive Control with Multiple Constraint Horizons

We propose a Model Predictive Control (MPC) formulation for nonlinear systems without terminal penalty or dedicated stabilizing terminal set, in which state constraints are enforced heterogeneously along the prediction horizon. In this setting a control-invariant set certifies near-term safety, while a less restrictive set constrains later predictions. This structure is motivated by safety-critical formulations, such as Control Barrier Function (CBF) based MPC, collision avoidance, and robotic receding-horizon planning, where near-term predictions must be certified safe and later predictions can be re-certified in future updates. We develop a value-function-difference analysis separating the effects of constraint-set selection and prediction-horizon length on closed-loop performance bounds, yielding implicit suboptimality certificates. Assuming cost-controllability, we further propose an upper-bound certificate which accounts explicitly for distinct constraint sets, their associated decay rates, and horizons. We also provide a lower-bound certificate for the closed-loop cost beyond the finite-horizon open-loop cost, which, for the admissible parameter range, is not weaker than the standard finite-horizon bound. Simulations on linear and nonlinear safety-critical systems demonstrate the proposed certificates \textit{a priori} and \textit{a posteriori}.

eess.SY