The value functions of singularly perturbed time-optimal control problems in the framework of Lyapunov functions method

The Dirichlet problems for singularly perturbed Hamilton–Jacobi–Bellman equations are considered. Some impulse variables in the Hamiltonians have coefficients with a small parameter of singularity εε in denominators.The research appeals to the theory of minimax solutions to HJEs. Namely, for any ε>0ε>0, it is known that the unique lower semi-continuous minimax solution to the Dirichlet problem for HJBE coincides with the value function uεuε of a time-optimal control problem for a system with fast and slow motions.Effective sufficient conditions based on the fact are suggested for functions uεuε to converge, as εε tends to zero. The key condition is existence of a Lyapunov type function providing a convergence of singularly perturbed characteristics of HJBEs to the origin. Moreover, the convergence implies equivalence of the limit function u0u0 and the value function of an unperturbed time-optimal control problem in the reduced subspace of slow variables.