Table of Contents
Fetching ...

A Complete Inverse Optimality Study for a Tank-Liquid System

Iasson Karafyllis, Filippos Vokos, Miroslav Krstic

TL;DR

This work tackles inverse optimality for a linearized tank–liquid system described by the viscous Saint-Venant model with surface tension and wall friction. It develops a weak-solution framework that accommodates discontinuous boundary inputs and constructs a Control Lyapunov Functional to derive stabilizing, $LgV$-type feedback laws. The authors prove that the stabilizing feedback is inverse-optimal for a meaningful quadratic cost $J$, and they establish exponential stabilization of a joint state–control norm with an explicit gain-margin structure, plus stronger stability estimates in a higher-norm akin to ISS for parabolic PDEs. The methodology, relying on energy-based arguments and Galerkin approximations, provides a benchmark approach that can extend to other PDEs with boundary control and motivates future explorations of inverse optimality in PDE settings.

Abstract

This paper presents a complete inverse optimality study for a linearized tank-liquid system where the liquid is described by the viscous Saint-Venant model with surface tension and possible wall friction. We define an appropriate weak solution notion for which we establish existence/uniqueness results with inputs that do not necessarily satisfy any compatibility condition as well as stabilization results with feedback laws that are constructed with the help of a Control Lyapunov Functional. We show that the proposed family of stabilizing feedback laws is optimal for a certain meaningful quadratic cost functional. Finally, we show that the optimal feedback law guarantees additional stronger stability estimates which are similar to those obtained in the case of classical solutions.

A Complete Inverse Optimality Study for a Tank-Liquid System

TL;DR

This work tackles inverse optimality for a linearized tank–liquid system described by the viscous Saint-Venant model with surface tension and wall friction. It develops a weak-solution framework that accommodates discontinuous boundary inputs and constructs a Control Lyapunov Functional to derive stabilizing, -type feedback laws. The authors prove that the stabilizing feedback is inverse-optimal for a meaningful quadratic cost , and they establish exponential stabilization of a joint state–control norm with an explicit gain-margin structure, plus stronger stability estimates in a higher-norm akin to ISS for parabolic PDEs. The methodology, relying on energy-based arguments and Galerkin approximations, provides a benchmark approach that can extend to other PDEs with boundary control and motivates future explorations of inverse optimality in PDE settings.

Abstract

This paper presents a complete inverse optimality study for a linearized tank-liquid system where the liquid is described by the viscous Saint-Venant model with surface tension and possible wall friction. We define an appropriate weak solution notion for which we establish existence/uniqueness results with inputs that do not necessarily satisfy any compatibility condition as well as stabilization results with feedback laws that are constructed with the help of a Control Lyapunov Functional. We show that the proposed family of stabilizing feedback laws is optimal for a certain meaningful quadratic cost functional. Finally, we show that the optimal feedback law guarantees additional stronger stability estimates which are similar to those obtained in the case of classical solutions.
Paper Structure (4 sections, 8 theorems, 170 equations)

This paper contains 4 sections, 8 theorems, 170 equations.

Key Result

proposition thmcounterproposition

Let $T>0$, $\varphi _{0} \in \bar{S}$, $\bar{\varphi }_{0} \in S$, $\left(\xi _{0} ,w_{0} \right)\in {\mathbb R}^{2}$, $f\in L^{2} (0,T)$ be given. Let $\xi ,w:\left[0,T\right]\to {\mathbb R}$, $\varphi \in L^{2} \left((0,T);H^{3} (0,1)\cap \bar{S}\right)$ be a weak solution on $[0,T]$ of the initia

Theorems & Definitions (20)

  • definition thmcounterdefinition
  • definition thmcounterdefinition
  • remark thmcounterremark
  • proposition thmcounterproposition
  • theorem 1
  • remark thmcounterremark
  • lemma thmcounterlemma
  • lemma thmcounterlemma
  • theorem 2
  • remark thmcounterremark
  • ...and 10 more