$H_{\infty}$-Optimal Estimator Synthesis for Coupled Linear 2D PDEs using Convex Optimization
Abstract: Any suitably well-posed PDE in two spatial dimensions can be represented as a Partial Integral Equation (PIE) -- with system dynamics parameterized using Partial Integral (PI) operators. Furthermore, $L_2$-gain analysis of PDEs with a PIE representation can be posed as a linear operator inequality, which can be solved using convex optimization. In this paper, these results are used to derive a convex-optimization-based test for constructing an $H_{\infty}$-optimal estimator for 2D PDEs. In particular, we first use PIEs to represent an arbitrary well-posed 2D PDE where sensor measurements occur along some boundary of the domain. An associated Luenberger-type estimator is then parameterized using a PI operator $\mathcal{L}$ as the observer gain. Examining the error dynamics of this estimator, it is proven that an upper bound on the $H_{\infty}$-norm of these error dynamics can be minimized by solving a linear operator inequality on PI operator variables. Finally, an analytical formula is proposed for inversion of a class of 2D PI operators, which is then used to reconstruct the Luenberger gain $\mathcal{L}$. Results are implemented in the PIETOOLS software suite -- applying the methodology and simulating the resulting observer for an unstable 2D heat equation with boundary observations.
- ℋ∞subscriptℋ\mathcal{H}_{\infty}caligraphic_H start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT optimal estimation for linear coupled PDE systems. In 2019 IEEE 58th Conference on Decision and Control (CDC), 262–267. IEEE.
- LMIs in control systems: analysis, design and applications. CRC press.
- Boundary observer design for hyperbolic PDE–ODE cascade systems. Automatica, 68, 75–86.
- Partial differential equations in ecology: Spatial interactions and population dynamics. Ecology, 75, 17–29.
- Backstepping observers for linear PDEs on higher-dimensional spatial domains. Automatica, 51, 85–97.
- A PIE representation of coupled 2D PDEs and stability analysis using LPIs. arXiv eprint:2109.06423.
- L2subscript𝐿2L_{2}italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT-gain analysis of coupled linear 2D PDEs using linear PI inequalities. In 2022 IEEE 61st Conference on Decision and Control (CDC), 6097–6104.
- Boundary output feedback stabilization of a class of reaction-diffusion PDEs with delayed boundary measurement. International Journal of Control, 1–11.
- Meurer, T. (2013). On the extended Luenberger-type observer for semilinear distributed-parameter systems. IEEE Transactions on Automatic Control, 58(7), 1732–1743.
- Inversion of separable kernel operator and its application in control synthesis. Delays and Interconnections: Methodology, Algorithms and Applications, 265–280.
- PIETOOLS 2020a: User manual. arXiv preprint arXiv:2101.02050.
- Sampled-data finite-dimensional observer-based control of 1D stochastic parabolic PDEs. SIAM Journal on Control and Optimization, 62(1), 297–325.
- PDE traffic observer validated on freeway data. IEEE Transactions on Control Systems Technology, 29(3), 1048–1060.
- Global observer design for Navier-Stokes equations in 2D. In 2021 60th IEEE Conference on Decision and Control (CDC), 1862–1867.
- Zuazua, E. (2005). Propagation, observation, and control of waves approximated by finite difference methods. SIAM review, 47(2), 197–243.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
