@misc{312,
author = {Nicholas Kottenstette and Heath LeBlanc and Emeka Eyisi and Joseph Porter},
title = {A Backstepping Control Framework for m-Triangular Systems},
abstract = {$m$-Triangular Systems are dynamical physical systems which can be
described by $m$ triangular subsystem models. Many physical system
models such as those which describe fixed-wing and quadrotor aircraft
can be realized as $m$-Triangular Systems. However, many control engineers
try to fit their dynamical model into a $1$-Triangular System model.
This is commonly seen in the backstepping control community in
which they have developed pioneering adaptive control laws which can
explicitly account for operating state constraints. We shall
demonstrate that such control laws can even be implemented in a
non-adaptive form while still addressing actuator limitations such as
saturation. However, most importantly, by removing the adaptation
component, a {\em strictly output passive} input-output mapping can be
realized. This important property is most applicable to the
networked control community. For the networked control community,
this {\em key property} allows us to integrate an aircraft into our framework such that a {\em discrete-time
lag compensator} can be used by a ground control station for remote
navigation in a {\em safe and stable manner in spite of time-varying delays and random data loss}. The applicability of our result shall
be made clear as we demonstrate how an inertial navigation system for
a quadrotor aircraft can be constructed. Specifically: i) the desired inertial
position ($\zeta_s=[\zeta_{Ns},\zeta_{Es},\zeta_{Ds}]\tr$) and yaw ($\psi_s$)
setpoints can be concatenated to consist of the {\em virtual} desired
setpoint ($\bar{u}=[\zeta_s \tr, \psi_s]\tr$); ii) the {\em virtual}
desired setpoint corresponds to the $m=3$-concatenated state outputs
$\bar{x}=[x_{(1,1)}\tr,x_{(2,1)}\tr,x_{(3,1)}\tr]\tr =
[[\zeta_{N},\zeta_{E}],\zeta_{D},\psi]\tr$; which iii) are augmented
such that the output $\bar{v}$ equals $\bar{x}$ at
steady-state operation; iv) using Lemma~\ref{L:sop_bstep} we can show
that the backstepping framework renders the quadrotor aircraft to be
strictly output passive (sop) ($\dot{V}(v) \leq -\epsilon_b \bar{v}\tr \bar{v} + \bar{v}\tr
\bar{u}$) such that $V(v)=\frac{1}{2}v\tr v$ is a Lyapunov function in
terms of all concatenated system states $v$ associated with the
$m$-Triangular System. Lemma~\ref{L:PassiveClosedLoop} then shows how the resulting
continuous-time strictly output passive system involving the quadrotor
aircraft can be integrated into an advanced digital control framework
such that a strictly output passive {\em discrete-time lag}
compensator can be used to control the inertial position from a
ground-station in an $L^m_2$-stable manner such that time-delays and
data loss will not cause instabilities.
},
year = {2011},
pages = {1-13},
month = {04/28/2011},
publisher = {Institute for Software Integrated Systems},
address = {Nashville},
}