Abstract:Unlike ODEs, whose models involve system matrices and whose controllers involve vector or matrix gains, PDE models involve functions in those roles functional coefficients, dependent on the spatial variables, and gain functions dependent on space as well. The designs of gains for controllers and observers for PDEs, such as PDE backstepping, are mappings of system model functions into gain functions. These infinite dimensional nonlinear operators are given in an implicit form through PDEs, in spatial variables, which need to be solved to determine the gain function for each new functional coefficient of the PDE. The need for solving such PDEs can be eliminated by learning and approximating the said design mapping in the form of a neural operator. Learning the neural operator requires a sufficient number of prior solutions for the design PDEs, offline, as well as the training of the operator. In recent work, we developed the neural operators for PDE backstepping designs for first order hyperbolic PDEs. Here we extend this framework to the more complex class of parabolic PDEs. The key theoretical question is whether the controllers are still stabilizing, and whether the observers are still convergent, if they employ the approximate functional gains generated by the neural operator. We provide affirmative answers to these questions, namely, we prove stability in closed loop under gains produced by neural operators. We illustrate the theoretical results with numerical tests and publish our code on github. The neural operators are three orders of magnitude faster in generating gain functions than PDE solvers for such gain functions. This opens up the opportunity for the use of this neural operator methodology in adaptive control and in gain scheduling control for nonlinear PDEs.

Towards a MATLAB Toolbox to compute backstepping kernels using the power series method

On Computation of Approximate Solutions to Large-Scale Backstepping Kernel Equations via Continuum Approximation

Gain-Only Neural Operators for PDE Backstepping

A Generic MATLAB Toolbox to Approximate PDEs Using Computational Geometry

Adaptive rational Krylov methods for exponential Runge--Kutta integrators

Efficient Computation of Laplace Residual Power Series with Explicit Coefficient Formulas

Neural Operator Approximations for Boundary Stabilization of Cascaded Parabolic PDEs

An analysis of approximation algorithms for iterated stochastic integrals and a Julia and Matlab simulation toolbox

Backstepping Control of a Class of Space-Time-Varying Linear Parabolic PDEs via Time Invariant Kernel Functions

An iterative method for Helmholtz boundary value problems arising in wave propagation

High-order implicit time integration scheme based on Padé expansions

Adaptive Rational Krylov Methods for Exponential Runge–Kutta Integrators

Parallel-in-time Multilevel Krylov Methods: A Prototype

Adaptive control of reaction-diffusion PDEs via neural operator-approximated gain kernels

Neural Operators of Backstepping Controller and Observer Gain Functions for Reaction-Diffusion PDEs

Toward Efficient Kernel-Based Solvers for Nonlinear PDEs

Adaptive Neural-Operator Backstepping Control of a Benchmark Hyperbolic PDE

Power Series Method for Time-Integration in Computational Acoustics

Superconvergent postprocessing of the discontinuous Galerkin time stepping method for nonlinear Volterra integro-differential equations

FKreg: A MATLAB toolbox for fast Multivariate Kernel Regression

Exact Calculation of the Mean-Square Error in the Method of Expansion of Iterated Ito Stochastic integrals Based on Generalized Multiple Fourier Series