$H_2$-Optimal Estimation of a Class of Linear PDE Systems using Partial Integral Equations

Danio Braghini,Sachin Shivakumar,Matthew M. Peet

2024-11-04

Abstract:The $H_2$ norm is a commonly used performance metric in the design of estimators. However, $H_2$-optimal estimation of most PDEs is complicated by the lack of state-space and transfer function representations. To address this problem, we re-characterize the $H_2$-norm in terms of a map from initial condition to output. We then leverage the Partial Integral Equation (PIE) state-space representation of systems of linear PDEs coupled with ODEs to recast this characterization of $H_2$ norm as a convex optimization problem defined in terms of Linear Partial Integral (LPI) inequalities. We then parameterize a class of PIE-based observers and formulate the associated $H_2$-optimal estimation problem. The optimal observer synthesis problem is then recast as an LPI, and the resulting observers are validated using numerical simulation.

Optimization and Control

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: for systems described by partial differential equations (PDEs), how to design the optimal H2 observer for state estimation. Specifically, the paper aims to address the following challenges:

1. **Lack of state - space and transfer function representations**: The state - space and transfer function representations of most PDE systems are difficult to obtain, which makes it difficult to directly apply traditional H2 optimal estimation methods.

2. **Complexity of distributed systems**: PDE systems usually involve boundary conditions and distributed system states, which increases the difficulty of designing observers.

To solve these problems, the paper proposes the following methods:

- **Using the partial integral equation (PIE) representation**: Parameterize the linear PDE system by defining the PIE state - space representation and combine it with ordinary differential equations (ODEs).

- **Re - characterizing the H2 norm**: Re - characterize the H2 norm as the L2 gain from the initial condition to the output, thereby transforming the problem into a convex optimization problem.

- **Optimization problem based on linear partial integral inequality (LPI)**: By introducing LPI inequalities, transform the H2 optimal estimation problem into a convex optimization problem, and then solve for the optimal observer.

Finally, the paper verifies the effectiveness of the proposed H2 optimal observer in the unstable inhomogeneous reaction - diffusion equation and the energy - conserving Euler - Bernoulli beam equation through numerical simulation.

### Formula summary

- **Definition of H2 norm**:
\[
\|G\|_{H_2}:=\sup_{z, x \text{ satisfy (3)}} \frac{\|z\|_{L_2}}{\|x_0\|}
\]

- **LPI inequality constraints**:
\[
\begin{bmatrix}
-\gamma I & C \\
C^* & T^*PA + A^*PT + C^*C
\end{bmatrix} \prec -\epsilon I
\]
\[
\begin{bmatrix}
W & B_1^*P + D_{21}^*Z^* \\
PB_1 + ZD_{21} & P
\end{bmatrix} \succeq \epsilon I
\]

- **Observer dynamic equation**:
\[
\partial_t(T\tilde{x}(t)) = A\tilde{x}(t)+L(C_2\tilde{x}(t)-y(t))
\]

These formulas and methods together form the core content of the paper and solve the problem of H2 optimal estimation in PDE systems.