Bilateral Backstepping Control

• Bilateral backstepping is a control methodology that combines backstepping techniques with dual-sided actuation to overcome structural challenges in nonlinear systems and PDEs.
• It employs tailored integral transformations and hybrid switching logic to ensure global asymptotic stability despite non-strict-feedback structures and coupled boundary conditions.
• The approach enables finite-time or exponential convergence, reduces control effort, and improves fault tolerance in systems where classical backstepping fails.

The bilateral backstepping methodology refers to a class of control, estimation, and observer design procedures that systematically combine the backstepping method with dual-sided (bilateral) actuation or feedback, often in scenarios where classical backstepping or continuous global stabilizing feedback laws are obstructed by structural features of the controlled system. This methodology is prominent in the control of nonlinear finite-dimensional systems with non-strict-feedback structures, linear and nonlinear partial differential equations (PDEs) subject to actuation and/or sensing at both domain boundaries, and in cases where distributed, delay, or PDE-ODE cascaded dynamics preclude application of standard single-ended backstepping. Bilateral backstepping employs a combination of tailored Volterra and Fredholm-type integral transformations, hybrid switching, and folding techniques to deliver global stabilization, exponential or finite-time convergence, and enhanced robustness and observer capabilities.

1. Fundamental Principles of Bilateral Backstepping

The bilateral backstepping methodology arises when structural obstacles preclude design of classical continuous stabilizing feedback using conventional backstepping. Consider the general class of single-input, two-state nonlinear systems written in a perturbed strict-feedback-like form: $$\begin{aligned} \dot x_1 &= f_1(x_1, x_2) + h_1(x_1, x_2, u), \ \dot x_2 &= f_2(x_1, x_2) u + h_2(x_1, x_2, u), \end{aligned}$$ where $h_1$ and $h_2$ are unstructured terms possibly nonlinear in $u$ and state, and $f_2(x_1, x_2) \neq 0$ globally. In the absence of $h_1, h_2$, standard backstepping applies. However, their presence makes the feedback "matching" step implicit or intractable, often leading to stabilization only to a compact attractor set, not the origin (Shiromoto et al., 2015).

To recover global asymptotic stability, bilateral methodology constructs a hybrid controller that combines:

• A local stabilizer valid in a neighborhood of the origin, typically derived from the linearized system or through LQR/pole-placement if controllable;
• A global practically stabilizing backstepping law that ensures global attractivity of a compact set containing the origin;
• A hysteresis-based hybrid switching logic that ensures the compact attractor of the global law lies within the region of contraction of the local stabilizer, yielding global asymptotic stability of the closed-loop system.

The approach extends to infinite-dimensional PDEs through:

• Bilateral actuation at both domain boundaries,
• Folding transformations mapping a bilateral problem to a higher-dimensional unilateral one with nontrivial transmission (folding) boundary conditions,
• Successive Volterra and Fredholm integral transforms (in particular, Volterra transformations for spatial recursion and Fredholm transformations for decoupling coupled boundary conditions or non-strict-feedback PDE structures) (Kerschbaum et al., 2021, Vazquez et al., 2016).

2. Bilateral Backstepping in Nonlinear Finite-Dimensional Systems

For finite-dimensional nonlinear systems where backstepping is structurally obstructed by $u$-dependence in $h_1$ and $h_2$, the bilateral methodology proceeds as follows (Shiromoto et al., 2015):

1. Construct a local stabilizer: Find $V_\ell(x)$ (positive-definite, proper), $h_1$0, and region $h_1$1 such that $h_1$2 under $h_1$3.
2. Build a global practical backstepping law: Isolate the obstacle, construct a global $h_1$4-subsystem stabilizer $h_1$5 and ensure the disturbances $h_1$6, $h_1$7 satisfy boundedness and sector conditions. Define an extended Lyapunov function

$h_1$8

and synthesize a globally continuous "virtual" feedback $h_1$9 so the set $h_2$0 is practically asymptotically stable.

1. Inclusion of the global attractor in the local basin: Choose parameters such that the global attractor $h_2$1 is within the region of contraction for the local controller.
2. Mode switching: Implement a two-level hybrid switching logic—local stabilizer in a small neighborhood, global backstepping law elsewhere—with hysteresis for robust transitions.
3. Rigorous stability proof: Use Lyapunov arguments to show that the origin is globally asymptotically stable for the complete hybrid controller.

This yields robust global stabilization for systems otherwise intractable by classical continuous or pure backstepping controllers.

3. Bilateral Backstepping for PDEs: Theory and Construction

In PDE domains, bilateral backstepping facilitates designs with boundary actuation (and possibly sensing) at two spatial ends. The methodology encompasses both parabolic (reaction-diffusion), hyperbolic (transport or wave), and mixed PDE-ODE cascades. Core design steps include (Kerschbaum et al., 2021, Vazquez et al., 2016, Chen et al., 2019, Sun et al., 2024):

1. System "Folding": For bilateral (two-sided) actuation, perform a folding transformation about a design point, mapping the system to an augmented one with coupling at an interior (fold) boundary and "unilateral" actuation at the new edge. This increases the system dimensionality and introduces transmission boundary conditions.
2. First Backstepping Transformation: Deploy a Volterra-type integral transform to render the system into a "strict feedback" or decoupled target form. This necessitates solving kernel PDEs on triangular (Goursat) domains, often via successive approximation or characteristic methods.
3. Second Transformation (Decoupling/Fredholm Step): Apply further Volterra–Fredholm integral transforms to decouple residual boundary coupling induced by the fold, yielding a final target system composed of uncoupled stable components (e.g., heat equations).
4. Boundary Feedback Synthesis: The controller is computed by evaluating the inverse of the chain of transformations at the actuated boundaries, resulting in explicit feedback laws in original coordinates.
5. Stability Proof: Construct composite Lyapunov functionals (e.g., on $h_2$2 spaces) for the target system and show through norm equivalences and bounded invertibility of the transformation chain that exponential (or finite-time) stability in the target implies the same in the original variables.
6. Effort/Performance Trade-offs: Bilateral designs can reduce required actuator effort for a given convergence rate, improve fault tolerance, and distribute control authority—demonstrable, for example, by $h_2$3-norm comparison of feedback kernel magnitudes as in the constant coefficient reaction-diffusion case (Vazquez et al., 2016).

4. Observer, Output Feedback, and Nonlinear Bilateral Extensions

Bilateral methodology is not limited to full-state feedback. It is compatible with observer and output-feedback designs, including nonlinear observer-based control for highly nonlinear or viscous Hamilton–Jacobi PDEs (Bekiaris-Liberis et al., 2018, Chen et al., 2019). The typical procedure includes:

• Dual-Ended Observers: Construct observer chains with measurements from both ends or at symmetrically folded internal points, ensuring rapid convergence of the estimation error using Volterra/Volterra–Fredholm backstepping kernels, and facilitating separation-principle-based output-feedback synthesis (Chen et al., 2019).
• Nonlinear Feedback/Observer Linearization: Apply a feedback linearizing transformation to the PDE or ODE, so that the backstepping design operates in a coordinate where the system dynamics are linear (up to bounded nonlinear remainder terms). Then employ bilateral backstepping in this transformed domain (Bekiaris-Liberis et al., 2018).
• Explicit Region of Attraction and Regional Stability: For nonlinear systems, regional exponential stability can be established, and regions of attraction estimated based on local invertibility and gain arguments (Bekiaris-Liberis et al., 2018).

5. Performance, Robustness, and Extensions

Bilateral backstepping offers important advantages and flexibility (Vazquez et al., 2016, Kerschbaum et al., 2021, Sun et al., 2024):

• Control Effort Reduction: Especially in strong reaction or large domain cases ($h_2$4), bilateral controllers can halve or better the total required feedback energy compared to unilateral designs.
• Finite-Time or Arbitrarily Fast Stabilization: For hyperbolic systems with spatially varying coefficients, finite-time convergence is achievable with explicit formulae for settling time and kernel characterization, subject to invertibility of the transformation (Sun et al., 2024).
• Fault Tolerance and Redundancy: The presence of two actuators allows for operation under actuator failure by switching to unilateral designs without re-deriving kernel equations.
• Trade-offs Tunable via Design Parameters: Choices of folding point, residual observer error weighting, or hybrid switching thresholds can be tuned to optimize for peak effort, speed of response, or robustness (akin to "water–bed" trade-off scenarios in kernel gain magnitudes).

6. Representative Applications

Applications of bilateral backstepping span a range of control scenarios:

• Nonlinear State-Space Systems: Design of hybrid controllers for systems where standard backstepping fails (Shiromoto et al., 2015).
• Coupled Parabolic PDEs: Stabilization of systems with spatially varying coefficients, generalized to networked, multi-component PDEs (Kerschbaum et al., 2021).
• Hyperbolic and Mixed PDEs: Finite-time stabilization, explicit energy decay formulas, and observer designs for hyperbolic PDEs, including traffic flow models with moving shocks (Sun et al., 2024, Yu et al., 2019).
• PDE-ODE Cascades: Control of diffusion processes coupled with ODEs at interior points by compositional backstepping and folding (Chen et al., 2019).
• 2-D and Delayed Systems: Bilateral backstepping concepts extended to 2-D domains with boundary input delay, using transport PDE cascades and trigonometric kernel expansions (Guan et al., 2023).
• Nonlinear Output Feedback: Stabilization and trajectory tracking for viscous Hamilton–Jacobi PDEs with bilateral actuation and sensing, enabling regional stability and observer-based control (Bekiaris-Liberis et al., 2018).

7. Methodological Comparison and Design Table

Problem Class	Transformation Chain	Main Stability Guarantee
Nonlinear finite-dim.	Local + global law, hybrid switching	Global asymptotic stability
1D Parabolic PDE	Folding → Volterra → Volterra–Fredholm	Exponential $h_2$5-stability
Hyperbolic PDE	Bilateral Volterra (Goursat kernels)	Exponential/finite-time decay
Mixed PDE-ODE Cascade	Folding → Tiered Volterra transforms	Exponential $h_2$6-stability
Nonlinear Output-Feedback	Feedback linearization + bilateral backstepping	Regional exponential stability

This synthesis exemplifies the comprehensive reach and technical sophistication of bilateral backstepping methods, underscoring their centrality in advanced nonlinear and infinite-dimensional control design (Shiromoto et al., 2015, Kerschbaum et al., 2021, Vazquez et al., 2016, Chen et al., 2019, Sun et al., 2024, Bekiaris-Liberis et al., 2018, Guan et al., 2023, Chen et al., 2019).