Sliding mode control
|
In control theory sliding mode control is a type of variable structure control where we try to alter the dynamics of a nonlinear system via application of a high-speed switching control. This is a state feedback control scheme where the feedback gains are not continuous function of time.
This control scheme involves following two steps:
- selection of a hypersurface or a manifold such that the system trajectory exhibits desirable behaviour when confined to this manifold.
- Finding feed-back gains so that the system trajectory intersects and stays on the manifold.
We will consider only state-feedback sliding mode control.
Consider a NL system described by
- <math> \dot{x}(t)=f(x,t)+B(x,t)u(t),\quad x\in R^n, B\in R^m \quad (A1)<math>
For existence and uniqueness of solution of above equation, assume that the functions f(.,.) and B(.,.) are continuous and sufficiently smooth.
The sliding surface is of dimension (n-m) given by
- <math> \sigma(x)=[\sigma_1(x),\ldots,\sigma_m(x)]^T=0,\quad \sigma(x) \in R^{(n-m)} \quad (A2)<math>
The σ(x) is called switching function. Then the vital part of VSC design is to choose a control law so that the sliding mode exists and is reachable along σ=0
The principle of sliding mode control is to forcibly constrain the system, by suitable control strategy, to stay on the sliding surface on which the system will exhibit desirable features. When the system is constrained by the sliding control to stay on the sliding surface, the system dynamics are governed by reduced order system obtained from (A2) as will be explained later.
To force the system states to satisfy σ=0, one must ensure that the system is capable of reaching the state σ=0 from any initial condition and, having reached σ=0, that the control action is capable of maintaining the system at σ=0.
These conditions are stated in the form of following theorems.
- Theorem 1(condition of existence of sliding mode and reachability)
- Consider a Lyapunov function
<math> V(\sigma(x))=\frac{1}{2}\sigma^T(x)\sigma(x)\quad \quad(A3)<math>
For the system given by (A1), and the sliding surface given by (A2), a sufficient condition for the existence of a sliding mode is that
<math> \frac{dV(\sigma)}{dt}=\sigma^T\dot{\sigma}\;<0 <math>
in a neighborhood of σ=0. This is also a condition for reachability.
- Theorem 2(Region of attraction)
- For the system given by (A1) and sliding surface given by (A2), the subspace for which σ=0 is reachable is given by
- <math> \sigma\;=\;\{x:\sigma^T(x)\sigma(x)\;<0\;\forall t\}<math>
These two theorems form the foundation of variable structure control.
Control Design
Consider a plant with single input. The sliding surface <math>\sigma(x)=0<math> is defined as follows:
<math>\sigma(x)\;=\;s_1x_1+s_2x_2+\ldots+s_{n-1}x_{n-1}+x_n \quad (A4)<math>
Taking the derivative of lyapunov function in (A3), we have
<math> \begin{matrix}\dot{V}&=&\sigma(x)^T\dot{\sigma}(x)\\
&=&\sigma(x)^T\frac{\partial{\sigma(x)}}{\partial{x}}\dot{x} \\
&=& \sigma(x)^T\frac{\partial{\sigma(x)}}{x}(f(x,t)x+g(x,t)u) \end{matrix}<math> <math>\quad \quad (A5)<math>
Now the control input u(t) is so chosen that time derivative of V is negative definite. The control input is chosen as follows:
<math>u(x,t)=\left\{\begin{matrix} u^+(x), & \mbox{for}\sigma\;>0 \\ u^-(x),& \mbox{for}\sigma\;<0\end{matrix}\right.<math>