Stabilization with Prescribed Instant via Lyapunov Method

TL;DR

This paper introduces a Lyapunov-based control method for high-order integrator systems that guarantees exact stabilization at a prescribed time instant, regardless of initial conditions, advancing the concept of prescribed-time stability.

Contribution

It presents a novel backstepping controller with a rigorous Lyapunov proof ensuring exact settling time, distinguishing from existing prescribed-time stability approaches.

Findings

Controller achieves stabilization exactly at the prescribed time

Lyapunov proof verifies the stabilization property

Framework applicable to high-order integrator systems

Abstract

This letter investigates the prescribed-instant stabilization problem for high-order integrator systems. In anothor word, the settling time under the presented controller is independent of the initial conditions and equals the prescribed time instant. The controller is designed with the concept of backstepping. A strict proof based on the Lyapunov method is presented to clamp the settling time to the prescribed time instant from both the left and right sides. This proof serves as an example to present a general framework to verify the designed stabilization property. It should be emphasized that the prescribed-time stability (PSTS) [1] can only prescribe the upper bound of the settling time and is different from this work. The detailed argumentation will be presented after a brief review of the existing important research.