
Feedback linearization is a common strategy employed in
nonlinear control
Nonlinear control theory is the area of control theory which deals with systems that are nonlinear, time-variant, or both. Control theory is an interdisciplinary branch of engineering and mathematics that is concerned with the behavior of dyn ...
to control
nonlinear systems
In mathematics and science, a nonlinear system is a system in which the change of the output is not proportional to the change of the input. Nonlinear problems are of interest to engineers, biologists, physicists, mathematicians, and many other ...
. Feedback linearization techniques may be applied to nonlinear control systems of the form
where
is the state,
are the inputs. The approach involves transforming a nonlinear control system into an equivalent linear control system through a change of variables and a suitable control input. In particular, one seeks a change of coordinates
and control input
so that the dynamics of
in the coordinates
take the form of a linear, controllable control system,
An outer-loop control strategy for the resulting linear control system can then be applied to achieve the control objective.
Feedback Linearization of SISO Systems
Here, consider the case of feedback linearization of a single-input single-output (SISO) system. Similar results can be extended to multiple-input multiple-output (MIMO) systems. In this case,
and
. The objective is to find a coordinate transformation
that transforms the system (1) into the so-called
normal form which will reveal a feedback law of the form
that will render a linear input–output map from the new input
to the output
. To ensure that the transformed system is an equivalent representation of the original system, the transformation must be a
diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable.
Definition
Given two m ...
. That is, the transformation must not only be invertible (i.e., bijective), but both the transformation and its inverse must be
smooth
Smooth may refer to:
Mathematics
* Smooth function, a function that is infinitely differentiable; used in calculus and topology
* Smooth manifold, a differentiable manifold for which all the transition maps are smooth functions
* Smooth algebraic ...
so that differentiability in the original coordinate system is preserved in the new coordinate system. In practice, the transformation can be only locally diffeomorphic and the linearization results only hold in this smaller region.
Several tools are required to solve this problem.
Lie derivative
The goal of feedback linearization is to produce a transformed system whose states are the output
and its first
derivatives. To understand the structure of this target system, we use the
Lie derivative
In differential geometry, the Lie derivative ( ), named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector fi ...
. Consider the time derivative of (2), which can be computed using the
chain rule
In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , ...
,
:
Now we can define the Lie derivative of
along
as,
:
and similarly, the Lie derivative of
along
as,
:
With this new notation, we may express
as,
:
Note that the notation of Lie derivatives is convenient when we take multiple derivatives with respect to either the same vector field, or a different one. For example,
:
and
:
Relative degree
In our feedback linearized system made up of a state vector of the output
and its first
derivatives, we must understand how the input
enters the system. To do this, we introduce the notion of relative degree. Our system given by (1) and (2) is said to have relative degree
at a point
if,
:
in a
neighbourhood
A neighbourhood (British English, Irish English, Australian English and Canadian English) or neighborhood (American English; see spelling differences) is a geographically localised community within a larger city, town, suburb or rural are ...
of
and all
:
Considering this definition of relative degree in light of the expression of the time derivative of the output
, we can consider the relative degree of our system (1) and (2) to be the number of times we have to differentiate the output
before the input
appears explicitly. In an
LTI system
In system analysis, among other fields of study, a linear time-invariant (LTI) system is a system that produces an output signal from any input signal subject to the constraints of linearity and time-invariance; these terms are briefly defined ...
, the relative degree is the difference between the degree of the transfer function's denominator polynomial (i.e., number of
pole
Pole may refer to:
Astronomy
*Celestial pole, the projection of the planet Earth's axis of rotation onto the celestial sphere; also applies to the axis of rotation of other planets
*Pole star, a visible star that is approximately aligned with the ...
s) and the degree of its numerator polynomial (i.e., number of
zero
0 (zero) is a number representing an empty quantity. In place-value notation
Positional notation (or place-value notation, or positional numeral system) usually denotes the extension to any base of the Hindu–Arabic numeral system (or ...
s).
Linearization by feedback
For the discussion that follows, we will assume that the relative degree of the system is
. In this case, after differentiating the output
times we have,
:
where the notation
indicates the
th derivative of
. Because we assumed the relative degree of the system is
, the Lie derivatives of the form
for
are all zero. That is, the input
has no direct contribution to any of the first
th derivatives.
The coordinate transformation
that puts the system into normal form comes from the first
derivatives. In particular,
:
transforms trajectories from the original
coordinate system into the new
coordinate system. So long as this transformation is a
diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable.
Definition
Given two m ...
, smooth trajectories in the original coordinate system will have unique counterparts in the
coordinate system that are also smooth. Those
trajectories will be described by the new system,
:
Hence, the feedback control law
:
renders a linear input–output map from
to
. The resulting linearized system
:
is a cascade of
integrators, and an outer-loop control
may be chosen using standard linear system methodology. In particular, a state-feedback control law of
:
where the state vector
is the output
and its first
derivatives, results in the
LTI system
In system analysis, among other fields of study, a linear time-invariant (LTI) system is a system that produces an output signal from any input signal subject to the constraints of linearity and time-invariance; these terms are briefly defined ...
:
with,
:
So, with the appropriate choice of
, we can arbitrarily place the closed-loop poles of the linearized system.
Unstable zero dynamics
Feedback linearization can be accomplished with systems that have relative degree less than
. However, the normal form of the system will include
zero dynamics
In mathematics, zero dynamics is known as the concept of evaluating the effect of zero on systems.
History
The idea was introduced thirty years ago as the nonlinear approach to the concept of transmission of zeros. The original purpose of intr ...
(i.e., states that are not
observable
In physics, an observable is a physical quantity that can be measured. Examples include position and momentum. In systems governed by classical mechanics, it is a real-valued "function" on the set of all possible system states. In quantum ph ...
from the output of the system) that may be unstable. In practice, unstable dynamics may have deleterious effects on the system (e.g., it may be dangerous for internal states of the system to grow unbounded). These unobservable states may be controllable or at least stable, and so measures can be taken to ensure these states do not cause problems in practice.
Minimum phase
In control theory and signal processing, a linear, time-invariant system is said to be minimum-phase if the system and its inverse are causal and stable.
The most general causal LTI transfer function can be uniquely factored into a series of a ...
systems provide some insight on zero dynamics.
See also
*
Nonlinear control
Nonlinear control theory is the area of control theory which deals with systems that are nonlinear, time-variant, or both. Control theory is an interdisciplinary branch of engineering and mathematics that is concerned with the behavior of dyn ...
Further reading
* A. Isidori, ''Nonlinear Control Systems,'' third edition, Springer Verlag, London, 1995.
* H. K. Khalil, ''Nonlinear Systems,'' third edition, Prentice Hall, Upper Saddle River, New Jersey, 2002.
* M. Vidyasagar, ''Nonlinear Systems Analysis'', second edition, Prentice Hall, Englewood Cliffs, New Jersey, 1993.
* B. Friedland, ''Advanced Control System Design'', facsimile edition, Prentice Hall, Upper Saddle river, New Jersey, 1996.
External links
* {{Scholarpedia, title=Feedback linearization, urlname=Feedback_linearization, date=2009, curator=Fabio Celani and Alberto Isidori, accessdate=31 December 2022
ECE 758: Modeling and Nonlinear Control of a Single-link Flexible Joint Manipulatornbsp;– Gives explanation and an application of feedback linearization.
ECE 758: Ball-in-Tube Linearization Examplenbsp;– Trivial application of linearization for a system already in normal form (i.e., no coordinate transformation necessary).
*
Wolfram language
The Wolfram Language ( ) is a general multi-paradigm programming language developed by Wolfram Research. It emphasizes symbolic computation, functional programming, and rule-based programming and can employ arbitrary structures and data. It is ...
functions to d
feedback linearization comput
and determin
zero dynamics
Nonlinear control