Density Functions for Navigation Function Based Systems

In this paper, we present a scheme for constructing density functions for systems that are almost globally asymptotically stable (i.e., systems for which all trajectories converge to an equilibrium except for a set of measure zero) based on navigation functions. Although recently-proven converse theorems guarantee the existence of density functions for such systems, results are only existential and the construction of a density function for almost globally asymptotically stable systems remains a challenging task. We show that for a specific class of dynamical systems that are defined based on a navigation function, a density function can be easily derived from the system's underlying navigation function

[1]  Kostas J. Kyriakopoulos,et al.  Nonholonomic navigation and control of cooperating mobile manipulators , 2003, IEEE Trans. Robotics Autom..

[2]  A. Jadbabaie,et al.  Density Functions for Navigation-Function-Based Systems , 2006, IEEE Transactions on Automatic Control.

[3]  V. Kumar,et al.  Weak Input-to-State Stability Properties for Navigation Function Based Controllers , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[4]  D. Angeli.  Some remarks on density functions for dual Lyapunov methods , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

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

[6]  Daniel E. Koditschek,et al.  The construction of analytic diffeomorphisms for exact robot navigation on star worlds , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

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

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

[9]  Lyal B. Harris.  November , 1890, The Hospital.

[10]  Jesse Freeman,et al.  in Morse theory, , 1999 .

[11]  Pablo Monzón.  On necessary conditions for almost global stability , 2003, IEEE Trans. Autom. Control..

[12]  Kostas J. Kyriakopoulos,et al.  A feedback-based multiagent navigation framework , 2006, Int. J. Syst. Sci..

[13]  D. Koditschek,et al.  Robot navigation functions on manifolds with boundary , 1990 .

[14]  Daniel E. Koditschek,et al.  Exact robot navigation using artificial potential functions , 1992, IEEE Trans. Robotics Autom..

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