A converse Lyapunov-type theorem for control systems with regulated cost

TL;DR

This paper establishes a necessary and sufficient condition for control systems to be globally asymptotically controllable with a regulated cost, using a new type of continuous Lyapunov function called a Minimum Restraint function.

Contribution

It introduces the first necessity condition for control systems with regulated cost, extending previous sufficiency results to continuous functions.

Findings

Necessary and sufficient condition via Minimum Restraint function

Necessity of the condition proven for the first time

Extension of previous results requiring only continuity

Abstract

Given a nonlinear control system, a target set, a nonnegative integral cost, and a continuous function $W$, we say that the system is globally asymptotically controllable to the target with W-regulated cost, whenever, starting from any point z, among the strategies that achieve classical asymptotic controllability we can select one that also keeps the cost less than W(z). In this paper, assuming mild regularity hypotheses on the data, we prove that a necessary and sufficient condition for global asymptotic controllability with regulated cost is the existence of a special, continuous Control Lyapunov function, called a Minimum Restraint function. The main novelty is the necessity implication, obtained here for the first time. Nevertheless, the sufficiency condition extends previous results based on semiconcavity of the Minimum Restraint function, while we require mere continuity.