Asymptotic stabilization with locally semiconcave control Lyapunov functions on general manifolds
Introduction
Asymptotic stabilization on noncontractible manifolds, a difficult control problem [1], [2], [3], has been studied by a few researchers [1], [2], [4], [5], [6], [7]. The main problem is that a noncontractible manifold, as a configuration space, never has a continuous asymptotically stabilizing static state feedback control at any desired equilibrium. Hence one needs to design a discontinuous or time-varying stabilizing controller [3].
Control Lyapunov functions (CLFs) play an important role in feedback control design [3], [8], [9]. In particular, semiconcave strict CLFs enable designing discontinuous asymptotic stabilizing controllers [10]. Rifford proposed a discontinuous controller, defined on Euclidean space, based on semiconcave strict CLFs [10]. However, Rifford’s controller cannot be directly applied to stabilization on manifolds or systems with unbounded inputs.
In this paper, we introduce the framework of a locally semiconcave practical CLF for stabilization on manifolds. We consider the disassembled differential instead of the limiting subderivative of a locally semiconcave function. Then, we show that the directional subderivative used in the definition of the practical CLF is replaced with the disassembled differential. Further, we propose a Rifford–Sontag-type discontinuous asymptotically stabilizing static state feedback controller with the disassembled differential of the locally semiconcave practical control Lyapunov function (LS-PCLF) by means of sample stability.
For general differentiable manifolds, we proposed the minimum projection method to design a locally semiconcave strict CLF [11], [12], but we did not show how to stabilize the origin of control systems defined on manifolds with the LS-PCLFs. In this paper, we show that the locally semiconcave CLF, obtained by the minimum projection method, is particularly advantageous for calculating the disassembled differential. Therefore, one can easily design a controller when the LS-PCLF is obtained by the minimum projection method.
Section snippets
Differentiable manifolds
A brief introduction of differentiable manifolds is necessary to discuss the control systems defined on manifolds [13], [14]. In this paper, denotes an -dimensional smooth manifold, a vector space called the tangent space to at , and an element of a tangent vector at . denotes the dual space to , called the cotangent space at , and an element of a cotangent vector (or a differential 1-form) at . A subset is said to be precompact in , if its closure in is
Locally semiconcave practical control Lyapunov functions
Strict CLFs are commonly used for the development of an asymptotically stabilizing controller. For discontinuous control design, semiconcave strict CLF was introduced by Rifford [10]. The locally semiconcave strict CLF is defined as follows.
Definition 4 Locally Semiconcave Strict CLF A global locally semiconcave strict control Lyapunov function for system (5) is a locally semiconcave function such that the following properties hold: is proper; that is, the set is compact for every . is positive definite; that is,
Sample stabilization with locally semiconcave control Lyapunov functions
In this section, we consider an asymptotically stabilizing controller design problem for the following control-affine system: where and . Moreover, mappings are assumed to be locally Lipschitz continuous with respect to for all , and satisfies .
We introduced the disassembled differential for locally semiconcave functions and comment on some properties of the disassembled differential. In this subsection, we
Practical stabilization with minimum projection method
According to the preceding discussion, we can design an asymptotic stabilizing controller with an LS-PCLF by means of sample stability. To design an LS-PCLF on manifolds, we can use the minimum projection method. In this section, we show how the LS-PCLF generated by the method has an advantage in controller design.
Example: obstacle avoidance of a mobile robot
In accordance with the preceding discussion, we can design a sample stabilizing controller for control system (21) defined on manifold . In this section, we show an example of the proposed method.
We consider the following mobile robot system discussed in [11]: where is a state and is an input. Also considered is a disk-shaped obstacle with radius 1 centered at (−2,0).
The problem here is to design a sample stabilizing controller at the origin taking
Conclusion
In this paper, we proposed a sample stabilizing controller for a control system defined on a general manifold with a locally semiconcave practical control Lyapunov function. We employed the disassembled differential in the proposed controller, which enabled us to easily design a sample stabilizing controller when the locally semiconcave control Lyapunov function was designed by the minimum projection method. Finally, we confirmed the effectiveness of the proposed method through an example.
We
References (23)
A universal construction of Artstein’s theorem on nonlinear stabilization
Systems & Control Letters
(1989)- et al.
Minimum projection method for nonsmooth control Lyapunov function design on general manifolds
Systems & Control Letters
(2009) - et al.
Multilayer minimum projection method for strict nonsmooth control Lyapunov function design
System & Control Letters
(2010) The stabilization problem: AGAS and SRS feedbacks
Stabilization problem for nonholonomic control systems
Mathematical Control Theory
(1991)- et al.
Controllability and motion algorithms for underactuated Lagragian systems on Lie groups
IEEE Transactions on Automatic Control
(2000) - et al.
Global stabilization for systems evolving on manifolds
Journal of Dynamical and Control Systems
(2006) - et al.
Practical and asymptotic stabilization of chained systems by the transverse function control approach
SIAM Journal on Control and Optimization
(2004) - T. Tsuzuki, Y. Yamashita, R. Enomoto, Global asymptotic stabilization by using the control Lyapunov function, in:...