In control theory, dynamical systems are in strict-feedback form when they can be expressed as
\begin{cases}
x |
=f0(x)+g0(x)
z | |||
|
1=f1(x,z1)+g1(x,z1)
z | |||
|
2=f2(x,z1,z2)+g2(x,z1,z2)
z | |||
|
i=fi(x,z1,z2,\ldots,zi-1,zi)+gi(x,z1,z2,\ldots,zi-1,zi)zi+1 for1\leqi<k-1\\ \vdots\\
z |
k-1=fk-1(x,z1,z2,\ldots,zk-1)+gk-1(x,z1,z2,\ldots,zk-1)
z | |||
|
k=fk(x,z1,z2,\ldots,zk-1,zk)+gk(x,z1,z2,...,zk-1,zk)u\end{cases}
where
x\inRn
n\geq1
z1,z2,\ldots,zi,\ldots,zk-1,zk
u
f0,f1,f2,\ldots,fi,\ldots,fk-1,fk
fi(0,0,...,0)=0
g1,g2,\ldots,gi,\ldots,gk-1,gk
gi(x,z1,\ldots,zk) ≠ 0
1\leqi\leqk
fi
gi
z |
i
x,z1,\ldots,zi
See main article: Backstepping.
Systems in strict-feedback form can be stabilized by recursive application of backstepping.[1] That is,
x |
=f0(x)+g0(x)ux(x)
is already stabilized to the origin by some control
ux(x)
ux(0)=0
ux
Vx
u1(x,z1)
z |
1=f1(x,z1)+g1(x,z1)u1(x,z1)
is stabilized so that
z1
ux
V1(x,z1)=Vx(x)+
1 | |
2 |
(z1-ux(x))2
The control
u1
V |
1
u2(x,z1,z2)
z |
2=f2(x,z1,z2)+g2(x,z1,z2)u2(x,z1,z2)
is stabilized so that
z2
u1
V2(x,z1,z2)=V1(x,z1)+
1 | |
2 |
(z2-u1(x,z1))2
The control
u2
V |
2
u
u
zk
uk-1
uk-1
zk-1
uk-2
uk-2
zk-2
uk-3
u2
z2
u1
u1
z1
ux
ux
x
This process is known as backstepping because it starts with the requirements on some internal subsystem for stability and progressively steps back out of the system, maintaining stability at each step. Because
fi
0\leqi\leqk
gi
1\leqi\leqk
ux
ux(0)=0
x=0
z1=0
z2=0
zk-1=0
zk=0
. Hassan K. Khalil . 2002 . 3rd . Nonlinear Systems . 0-13-067389-7 . . Upper Saddle River, NJ.