arXiv subjects

Behzad Azmi

Publications and source records attributed to Behzad Azmi.

At least 19 recordsLinked to original sources

arXiv2026

Finite-Dimensional Feedback Stabilization of Nonautonomous Stochastic Parabolic Equations

We investigate finite-dimensional feedback stabilization for nonlinear nonautonomous stochastic parabolic equations driven by $Q$-Wiener, covering both additive and multiplicative perturbations. The control is given by a finite linear combination of localized indicator-type actuators whose supports are selected as part of the construction and may have arbitrarily small total measure. The feedback law is constructed by means of oblique projections onto suitable finite-dimensional subspaces. Within the variational Gelfand triple framework, we prove well-posedness of the closed-loop system under standard coercivity, growth, and global Lipschitz assumptions. By appropriately choosing the actuator configuration and feedback strength, we establish exponential mean-square stabilization of the stochastic dynamics and, for pure multiplicative noise, almost-sure stabilization. A fully discrete three-layer implementation complements the theoretical results. Numerical experiments illustrate the influence of number of actuators, noise intensity, and nonlinear effects on the closed-loop stabilization behavior.

math.OC↗

arXiv2026

Hessian-augmented Supervised Learning for Hamilton-Jacobi-Bellman PDEs

A data-driven method is developed for approximating value functions in deterministic optimal control problems with nonlinear control-affine dynamics. The Pontryagin Maximum Principle optimality system is solved from multiple initial conditions to generate training data consisting of values, gradients, and Hessians of the value function, where Hessian information is obtained from a matrix Riccati equation along optimal trajectories. These quantities augment a weighted least-squares regression over sparse polynomial bases on hyperbolic cross index sets, with gradients and Hessians contributing additional linear equations per sample and substantially reducing sample complexity compared to value-only regression. Feedback laws are recovered analytically from the learned value function. In high dimensions, a partial Hessian strategy controls the cost of data generation. The approach is validated on problems of increasing state dimension, where second-order data augmentation is shown to improve approximation accuracy and closed-loop performance, with up to an order-of-magnitude reduction in the number of training samples required relative to lower-order methods.

math.OC↗

arXiv2026

Finite-Dimensional MOR-Based RHC for Steering 2D Navier-Stokes Equations to Desired Trajectories

This paper investigates the local exponential stabilization of the two-dimensional Navier--Stokes equations to a given reference trajectory by means of receding horizon control (RHC). The control is realized as a linear combination of finitely many actuators, represented by indicator functions supported on subsets of a prescribed control subdomain. We establish local exponential stabilizability and suboptimality for the resulting RHC scheme. Numerical experiments for two flow configurations of increasing complexity illustrate the theoretical findings and assess the practical performance of the method. In addition, we propose a model-order-reduced RHC approach based on proper orthogonal decomposition, which significantly reduces the computational cost while maintaining favorable closed-loop stabilization performance in the numerical experiments.

math.OC↗

arXiv2025

Recovery of the optimal control value function in reproducing kernel Hilbert spaces from verification conditions

Approximating the optimal value function $v^*$ for infinite-horizon, nonlinear, autonomous optimal control problems is both challenging and essential for synthesizing real-time optimal feedback. We develop an abstract optimal recovery framework in reproducing kernel Hilbert spaces (RKHS) for reconstructing unknown target functions from mixed equality and inequality functional constraints. Within this framework, the approximation of $v^*$ is cast as a collocation-type problem derived from verification conditions for optimality -- most prominently, the Hamilton-Jacobi-Bellman (HJB) equation -- that uniquely characterizes $v^*$. As the set of collocation points becomes dense in the ambient domain $\Omega$, we establish convergence of the RKHS approximants to $v^*$: globally on $\Omega$ in the RKHS norm when $v^*$ is analytic, and locally (in a neighborhood of the origin) in the RKHS norm when $v^*$ is bounded from above and below by quadratic functions. Furthermore, we show that a practical numerical realization of the abstract scheme reduces to the classical policy iteration algorithm. Numerical experiments support the effectiveness of the proposed approach.

math.OC↗

arXiv2025

Stabilization of Parabolic Time-Varying PDEs using Certified Reduced-Order Receding Horizon Control

We address the stabilization of linear, time-varying parabolic PDEs using finite-dimensional receding horizon controls (RHCs) derived from reduced-order models (ROMs). We first prove exponential stability and suboptimality of the continuous-time full-order model (FOM) RHC scheme in Hilbert spaces. A Galerkin model reduction is then introduced, along with a rigorous a posteriori error analysis for the associated finite-horizon optimal control problems. This results in a ROM-based RHC algorithm that adaptively constructs reduced-order controls, ensuring exponential stability of the FOM closed-loop state and providing computable performance bounds with respect to the infinite-horizon FOM control problem. Numerical experiments with a non-smooth cost functional involving the squared l1-norm confirm the methods effectiveness, even for exponentially unstable systems.

math.OC↗

arXiv2025

On the Convergence of the Policy Iteration for Infinite-Horizon Nonlinear Optimal Control Problems

Policy iteration (PI) is a widely used algorithm for synthesizing optimal feedback control policies across many engineering and scientific applications. When PI is deployed on infinite-horizon, nonlinear, autonomous optimal-control problems, however, a number of significant theoretical challenges emerge - particularly when the computational state space is restricted to a bounded domain. In this paper, we investigate these challenges and show that the viability of PI in this setting hinges on the existence, uniqueness, and regularity of solutions to the Generalized Hamilton-Jacobi-Bellman (GHJB) equation solved at each iteration. To ensure a well-posed iterative scheme, the GHJB solution must possess sufficient smoothness, and the domain on which the GHJB equation is solved must remain forward-invariant under the closed-loop dynamics induced by the current policy. Although fundamental to the method's convergence, previous studies have largely overlooked these aspects. This paper closes that gap by introducing a constructive procedure that guarantees forward invariance of the computational domain throughout the entire PI sequence and by establishing sufficient conditions under which a suitably regular GHJB solution exists at every iteration. Numerical results are presented for a grid-based implementation of PI to support the theoretical findings.

math.OC↗

arXiv2025

Optimal Control of General Nonlocal Epidemic Models with Age and Space Structure

We analyze a class of general nonlinear epidemic models with age and space structure, including a nonlocal infection term depending on age and space. After establishing the well-posedness of the state partial differential equation, we introduce a control parameter interpreted as a vaccination rate. Under certain conditions, we show that an optimal control exists and how it can be characterized by first-order optimality conditions. Finally, we present numerical examples of the optimal control problems governed by these models.

math.OC↗

arXiv2024

Stabilization to trajectories of nonisothermal Cahn-Hilliard equations

In this work, it is proven the semiglobal exponential stabilization to time-dependent trajectories of the nonisothermal Cahn-Hilliard equations. In the model, the input controls are given by explicit feedback operators that involve appropriate oblique projections. The actuators are given by a finite number of indicator functions. The results also hold for the isothermal Cahn-Hilliard system. Numerical simulations are shown that illustrate the stabilizing performance of the proposed input feedback operators.

math.OC↗

arXiv2024

Output-based receding horizon stabilizing control

A receding horizon control framework is coupled with a Luenberger observer to construct an output-based control input stabilizing parabolic equations. The actuators and sensors are indicator functions of small subdomains, representing localized actuation and localized measurements. It is shown that, for a class of explicitly given sets of actuators and sensors, we can guarantee the stabilizing property of the constructed input. Results of numerical simulations are presented validating the theoretical findings.

math.OC↗

arXiv2024

Stabilizability of parabolic equations by switching controls based on point actuators

It is shown that a switching control involving a finite number of Dirac delta actuators is able to steer the state of a general class of nonautonomous parabolic equations to zero as time increases to infinity. The strategy is based on a recent feedback stabilizability result, which utilizes control forces given by linear combinations of appropriately located Dirac delta distribution actuators. Then, the existence of a stabilizing switching control with no more than one actuator active at each time instant is established. For the implementation in practice, the stabilization problem is formulated as an infinite horizon optimal control problem, with cardinality-type control constraints enforcing the switching property. Subsequently, this problem is tackled using a receding horizon framework. Its suboptimality and stabilizabilizing properties are analyzed. Numerical simulations validate the approach, illustrating its stabilizing and switching properties.

math.OC↗

arXiv2024

Finite-Dimensional RHC Control of Linear Time-Varying Parabolic PDEs: Stability Analysis and Model-Order Reduction

This chapter deals with the stabilization of a class of linear time-varying parabolic partial differential equations employing receding horizon control (RHC). Here, RHC is finite-dimensional, i.e., it enters as a time-depending linear combination of finitely many indicator functions whose total supports cover only a small part of the spatial domain. Further, we consider the squared l1-norm as the control cost. This leads to a nonsmooth infinite-horizon problem which allows a stabilizing optimal control with a low number of active actuators over time. First, the stabilizability of RHC is investigated. Then, to speed-up numerical computation, the data-driven model-order reduction (MOR) approaches are adequately incorporated within the RHC framework. Numerical experiments are also reported which illustrate the advantages of our MOR approaches.

math.OC↗

arXiv2023

Adaptive Parameter Optimization For An Elliptic-Parabolic System Using The Reduced-Basis Method With Hierarchical A-Posteriori Error Analysis

In this paper the authors study a non-linear elliptic-parabolic system, which is motivated by mathematical models for lithium-ion batteries. One state satisfies a parabolic reaction diffusion equation and the other one an elliptic equation. The goal is to determine several scalar parameters in the coupled model in an optimal manner by utilizing a reliable reduced-order approach based on the reduced basis (RB) method. However, the states are coupled through a strongly non-linear function, and this makes the evaluation of online-efficient error estimates difficult. First the well-posedness of the system is proved. Then a Galerkin finite element and RB discretization are described for the coupled system. To certify the RB scheme hierarchical a-posteriori error estimators are utilized in an adaptive trust-region optimization method. Numerical experiments illustrate good approximation properties and efficiencies by using only a relatively small number of reduced basis functions.

math.NA↗

arXiv2023

On the nonmonotone linesearch for a class of infinite-dimensional nonsmooth problems

This paper provides a comprehensive study of the nonmonotone forward-backward splitting (FBS) method for solving a class of nonsmooth composite problems in Hilbert spaces. The objective function is the sum of a Fr\'echet differentiable (not necessarily convex) function and a proper lower semicontinuous convex (not necessarily smooth) function. These problems appear, for example, frequently in the context of optimal control of nonlinear partial differential equations (PDEs) with nonsmooth sparsity promoting cost functionals. We discuss the convergence and complexity of FBS equipped with the nonmonotone linesearch under different conditions. In particular, R-linear convergence will be derived under quadratic growth-type conditions. We also investigate the applicability of the algorithm to problems governed by PDEs. Numerical experiments are also given that justify our theoretical findings.

math.OC↗

arXiv2023

Analysis of RHC for stabilization of nonautonomous parabolic equations under uncertainty

Stabilization of a class of time-varying parabolic equations with uncertain input data using Receding Horizon Control (RHC) is investigated. The diffusion coefficient and the initial function are prescribed as random fields. We consider both cases, uniform and log-normal distributions of the diffusion coefficient. The controls are chosen to be finite-dimensional and enter into the system as a linear combination of finitely many indicator functions (actuators) supported in open subsets of the spatial domain. Under suitable regularity assumptions, we study the expected (averaged) stabilizability of the RHC-controlled system with respect to the number of actuators. An upper bound is also obtained for the failure probability of RHC in relation to the choice of the number of actuators and parameters in the equation.

math.OC↗

arXiv2021

Saturated feedback stabilizability to trajectories for the Schl\"{o}gl parabolic equation

It is shown that there exist a finite number of indicator functions, which allow us to track an arbitrary given trajectory of the Schl\"ogl model, by means of an explicit saturated feedback control input whose magnitude is bounded by a constant independent of the given targeted trajectory. Simulations are presented showing the stabilizing performance of the explicit feedback constrained control. Further, such performance is compared to that of a receding horizon constrained control minimizing the classical energy cost functional.

math.OC↗

arXiv2020

Stabilization of nonautonomous parabolic equations by a single moving actuator

It is shown that an internal control based on a moving indicator function is able to stabilize the state of parabolic equations evolving in rectangular domains. For proving the stabilizability result, we start with a control obtained from an oblique projection feedback based on a finite number of static actuators, then we used the continuity of the state when the control varies in relaxation metric to construct a switching control where at each given instant of time only one of the static actuators is active, finally we construct the moving control by traveling between the static actuators. Numerical computations are performed by a concatenation procedure following a receding horizon control approach. They confirm the stabilizing performance of the moving control.

math.OC↗

arXiv2020

Optimal Feedback Law Recovery by Gradient-Augmented Sparse Polynomial Regression

A sparse regression approach for the computation of high-dimensional optimal feedback laws arising in deterministic nonlinear control is proposed. The approach exploits the control-theoretical link between Hamilton-Jacobi-Bellman PDEs characterizing the value function of the optimal control problems, and first-order optimality conditions via Pontryagin's Maximum Principle. The latter is used as a representation formula to recover the value function and its gradient at arbitrary points in the space-time domain through the solution of a two-point boundary value problem. After generating a dataset consisting of different state-value pairs, a hyperbolic cross polynomial model for the value function is fitted using a LASSO regression. An extended set of low and high-dimensional numerical tests in nonlinear optimal control reveal that enriching the dataset with gradient information reduces the number of training samples, and that the sparse polynomial regression consistently yields a feedback law of lower complexity.

math.OC↗

arXiv2019

A Hybrid Finite-Dimensional RHC for Stabilization of Time-Varying Parabolic Equations

The present work is concerned with the stabilization of a general class of time-varying linear parabolic equations by means of a finite-dimensional receding horizon control (RHC). The stability and suboptimality of the unconstrained receding horizon framework is studied. The analysis allows the choice of the squared $\ell_1$-norm as control cost. This leads to a nonsmooth infinite-horizon problem which provides stabilizing optimal controls with a low number of active actuators over time. Numerical experiments are given which validate the theoretical results and illustrate the qualitative differences between the $\ell_1$- and $\ell_2$-control costs.

math.OC↗