Density and Cost in Non-linear Control

The duality between cost and flow is well known and carefully studied in several scientific fields, including economics and fluid mechanics. The purpose of this paper is to show how this duality relates to the basic concepts of nonlinear control theory for ordinary differential equations. A duality theorem for optimal control is derived using the Hahn-Banach theorem. This puts focus on convexity aspects in control synthesis and the recent theory of almost global stability. As a closely related result, it is shown that existence of a density function is both necessary and sufficient for almost global stability in a non-linear system.

[1]  Anders Rantzer,et al.  Convex dynamic programming for hybrid systems , 2002, IEEE Trans. Autom. Control..

[2]  A. Rantzer,et al.  An converse theorem for density functions , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[3]  A. Rantzer A dual to Lyapunov's stability theorem , 2001 .

[4]  R. Vinter Convex duality and nonlinear optimal control , 1993 .

[5]  D. R. Fulkerson,et al.  Flows in Networks. , 1964 .

[6]  Anders Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[7]  P. Parrilo,et al.  On convexity in stabilization of nonlinear systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[8]  L. Young,et al.  Lectures on the Calculus of Variations and Optimal Control Theory. , 1971 .

[9]  Katsuhisa Furuta,et al.  Swinging up a pendulum by energy control , 1996, Autom..

[10]  Pablo A. Parrilo,et al.  Nonlinear control synthesis by convex optimization , 2004, IEEE Transactions on Automatic Control.

[11]  D. Luenberger Optimization by Vector Space Methods , 1968 .

[12]  A. Rantzer,et al.  Smooth blending of nonlinear controllers using density functions , 2001, 2001 European Control Conference (ECC).

[13]  F. L. Hitchcock The Distribution of a Product from Several Sources to Numerous Localities , 1941 .