Search papers, labs, and topics across Lattice.
This paper introduces a stabilizing adaptive dynamic programming (ADP) framework for infinite-horizon optimal control problems by employing a parametrized critic to approximate the cost function and an actor to derive optimal inputs. The core innovation lies in explicitly incorporating a Lyapunov function into the optimization process for both the critic and actor, thereby guaranteeing closed-loop stability, a persistent challenge in ADP. A Hessian-free optimization routine is used, and convergence to near-optimal solutions is proven, with empirical results demonstrating significant performance gains over a nominal stabilizing controller.
Explicitly leveraging Lyapunov functions within ADP simultaneously optimizes control policies and guarantees closed-loop stability, overcoming a fundamental limitation of prior methods.
This work is concerned with a stabilizing adaptive dynamic programming (ADP) approach to approximate solution of a given infinite-horizon optimal control problem. Since the latter problem cannot, in general, be solved exactly, a parametrized function approximator for the infinite-horizon cost function is introduced in ADP (so called ``critic''). This critic is used to adapt the parameters of the function approximator. The so called ``actor'' in turn derives the optimal input of the system. It is a notoriously hard problem to guarantee closed-loop stability of ADP due to the use of approximation structures in the control scheme. Since at least stabilizability is always assumed in the analyses of ADP, it is justified to invoke a respective Lyapunov function. The proposed ADP scheme explicitly uses the said Lyapunov function to simultaneously optimize the critic and guarantee closed-loop stability. A Hessian-free optimization routine is utilized for the actor and critic optimization problems. Convergence to prescribed vicinities of the optima is shown. A computational study showed significant performance improvement for the critic-based approach compared a nominal stabilizing controller for a range of initial conditions.