Bookshelf - IEEE Control Systems Society

advertisement
BOOKSHELF
Interested in Reviewing?
Readers interested in contributing reviews to the Bookshelf department should contact the
associate editor for book reviews,
indicating their area of expertise.
Prof. Chris C. Bissell
Department of Telematics
The Open University
Milton Keynes
Great Britain MK7 6AA U.K.
c.c.bissell@open.ac.uk
Real-Time Optimization by
Extremum-Seeking Control, by
Kartik B. Ariyur and Miroslav Krstic,
Wiley, 2003, US$64.95, ISBN
0471468592. Reviewed by Gang Tao.
This interesting and unique book
deals with the optimization of nonlinear dynamical systems using feedback and adaptation, and develops a
systematic extremum-seeking control
methodology supported by rigorous
theory and illustrative applications.
Extremum seeking is a nonmodelbased adaptive control method that
is applicable to control problems
involving a nonlinear plant or control objective, where the nonlinearity has a local minimum or maximum.
96
Extremum-seeking control employs
dynamic feedback, sinusoidal perturbation, and adaptive extremum
searching to find an unknown, optimal
operating condition for the plant or
control law. This book builds a solid
bridge between classical optimization
theory, modern feedback control, and
adaptation techniques; provides a collection of useful tools for related
problems; presents diverse applications of extremum-seeking schemes;
and demonstrates the potential of this
methodology for future applications.
Nonmodel-based adaptive control is
useful when it is difficult to obtain a
reliable first principles system model.
In this sense, the book is a novel and
significant addition to the adaptive
control literature.
With 12 chapters, six for fundamental theory and six for advanced
applications, plus six appendix sections, this book gives a self-contained,
rich, and rigorous coverage of
extremum-seeking theory and applications. The book is well organized, its
theme is logically developed, the presentation is compact and clear, and
the illustrations and examples are
informative.
Chapter 1 gives a historical
overview of extremum seeking, presents the design and analysis of an
extremum-seeking algorithm for a single-parameter problem, and lays
down a conceptual foundation for the
extremum-seeking method.
A basic system of extremum seeking consists of a dynamic plant with a
nonlinear function whose unknown
local minimum or maximum defines
an optimal operating condition or
desired output for the plant as well as
a dynamic feedback law, which, by
means of filters and sinusoidal perturbation signals, generates an online
estimate of the minimum or maximum
parameter as the plant input. The
feedback law is designed so that the
plant output error converges to a
neighborhood of the origin, whose
size depends on the amplitude and
the frequency reciprocal of the per-
IEEE Control Systems Magazine
turbation signals. This online optimization problem involves a nonlinear dynamic system with feedback
and adaptation, the solution of which
is derived and analyzed in terms of
frequency and time-domain conditions. In particular, the optimization
problem is solved by using dynamic,
adaptation-based feedback with sinusoidal perturbation, and the adaptive
scheme is nonmodel based. These
features render the extremum-seeking-based algorithms more effective
than classical optimization and adaptive control algorithms in many
advanced applications as presented
in Chapters 7–12.
Chapter 2 deals with extremum
seeking for a multiple-input single-output dynamic plant with a nonlinear
function for which the minimum or
maximum extremum is an unknown
multiparameter vector. A multiplechannel dynamic and adaptive feedback law with sinusoidal perturbation
signals is designed and analyzed to
ensure the desired extremum-seeking
properties. The complexity of the
extremum-seeking algorithm is essential due to dynamic coupling. A diagonal-dominance-based stability criterion is used to characterize a set of
checkable design conditions to handle
such coupling.
Chapter 3 addresses a more general problem of extremum seeking,
namely, slope seeking, where the
objective is to drive the output of
the plant to a value corresponding to
the slope of the reference-to-output
map. Extremum seeking is a special
case of slope seeking, in particular,
the case of zero slope. Slope seeking
is motivated by mission-critical applications such as aeroengine compressor control, aircraft antiskid braking,
minimum power demand formation
flight, and nuclear fusion. The slopeseeking algorithms are designed with
the additional commanded slope
information for both the single-parameter and multiparameter cases.
Chapter 4 considers extremum
seeking in discrete-time, with detailed
April 2004
stability analysis based on two-timescale theory. Chapter 5 solves the
extremum-seeking problem for a
class of general nonlinear dynamic
plants whose extremum nonlinear
functions are not separated from the
plant nonlinear dynamics, unlike the
cases considered in the preceding
chapters, where the nonlinear function appears between two linear
dynamic blocks in the plant. The
extremum-seeking system is formulated based on three time scales and is
analyzed using the methods of averaging and singular perturbation.
These solutions set up the frameworks for the corresponding multiparameter extremum-seeking and
slope-seeking designs. Chapter 6 presents an extremum-seeking-based
technique for minimizing the amplitude of the limit cycle of a nonlinear
control system, illustrated by
detailed design and analysis for the
Van der Pol system.
Chapters 7–12 present a series of
five applications of the extremumseeking technique. The first application involves traction maximization in
antilock braking for a car. Between the
wheel and a slippery road surface, the
friction force coefficient is a function
of the wheel slip, and there is a maximum value of this coefficient at some
unknown value of the wheel slip. With
linear acceleration as the plant output,
extremum-seeking estimates this
unknown coefficient for brakingtorque feedback control. Simulation
results indicate that the maximum friction force is reached by extremum
seeking, thus minimizing the car’s time
and distance to stopping.
Chapter 8 shows how to employ
the extremum-seeking technique to
maximize the productivity (mass outflow rate) of a continuous stirred tank
bioreactor. The steady mass outflow
rate is a nonlinear function of the
dilution rate, and the goal of extremum seeking is to adaptively adjust
the dilution rate to converge to an a
priori unknown optimal value to maximize the mass outflow rate. Simula-
April 2004
tion results suggest that this goal is
achievable as verified for two practical models of the biomass concentration growth rate function.
Chapter 9 applies extremum-seeking to aircraft formation flight control, aimed at reducing power
demand by flying the wingman aircraft on the peaks of the wake velocity distribution of the leader aircraft.
There is an optimal configuration of
the flight formation that yields maximal power reduction. Extremum seeking is used to adjust the wingmanleader separation to reach the optimal formation by using a formationhold autopilot for wingman control.
The extremum-seeking design procedure has four steps: aerodynamic
interference modeling, robust-control-based formation-hold autopilot,
extremum-seeking formulation, and
design. First, for a formation of large
transport aircraft with experimental
data, a model of the wake of the leading aircraft is specified, the force and
moment on the wingman in the wake
are described, and the wingman
dynamics and equilibrium in the
wake are derived. Second, a two-loop
robust formation-hold autopilot is
designed by combining a relative
velocity tracking loop, consisting of
an internal model plus an LQR gain,
with a separation tracking loop consisting of a PD compensator with a
reference vector signal generated
from extremum seeking. Third, an
intuitive extremum-seeking framework for formation flight power
demand minimization is transformed
into the standard extremum-seeking
structure for which a rigorous design
is available. Finally, the extremumseeking technique developed in
Chapter 2 is used to specify the
design filters and parameters. The
desired system performance is verified by simulations that invoke experimental data.
Chapter 10 features an industrialscale gas turbine combustor application in which the goal is to suppress
pressure oscillations. The need to
IEEE Control Systems Magazine
determine an optimal phase shift
(from pressure measurement to
either fuel injection or acoustic cancellation actuation) for oscillation
suppression is the motivation for
extremum seeking. This application is
performed in several key steps: identification of an averaged pressure
magnitude dynamics, control phase
tuning via extremum seeking, experimentation on a 4-MW single nozzle
combustion rig, and simulation of
instability suppression during engine
transient. The tuned control phase
converges with the optimal phase
shift, which depends on operating
conditions and several unknown parameters, so that the desired adaptive
oscillation suppression is achieved.
Experimental results show that
extremum-seeking control leads to
significant performance improvement.
Finally, extremum seeking is
applied to an aeroengine compressor
in Chapter 11, where system modeling, control design, and simulation
evaluation are considered, and
Chapter 12, where experimental
results are reported. The objective is
to maximize the compressor pressure
rise in the presence of an unknown
compressor characteristic function.
Compressor stall is an instability
phenomenon that can cause a sudden drop in performance known as
pressure rise. To apply extremum
seeking, a model of an axial-flow compression system is derived, and its
equilibria are calculated. In particular, the stall equilibria are specified,
exhibiting deep hysteresis, which is
the so-called stall characteristic. After
a detailed system analysis, two peakpressure extremum-seeking algorithms are presented, including one
for a reduced-order system model
and one for the full-order model, with
two corresponding stabilizing controllers. Simulation results for the fullorder control system show desired
performance with reduced hysteresis. Experimental set-up and results
of extremum seeking are given in
Chapter 12, which demonstrates the
97
system structure and desired performance as well. A simulation study of
near-optimal compressor operation
by means of slope seeking is also conducted, indicating that slope seeking
can recover system performance in
the presence of disturbances.
These applications are clearly
presented and technically convincing. Most of the applications are
sophisticated in both system modeling and control design. Their success
proves that extremum seeking is a
powerful technique for significant
engineering applications. These
examples are also representative of
additional systems for which extremum seeking may be effective, such
as power system and magnetic bearing system applications.
In summary, Real-Time Optimization by Extremum-Seeking Control is
a well-written and authoritative
book on this technically important
subject. It has unique demonstrations of important stability concepts
such as bifurcation, as well as analysis tools such as singular perturbations and averaging. The book is an
excellent technical reference or an
advanced textbook for graduate students, researchers, and engineers.
For those who are interested in
dynamic systems and control, I
strongly recommend this book as an
essential resource for learning about
extremum-seeking control and for
motivating further developments in
this subject area.
Stability and Control of Dynamical
Systems with Applications: A Tribute to Anthony N. Michel, by D. Liu
and P.J. Antsaklis, Birkhäuser, 2003,
430 pp, US$89.95, ISBN 0817632336.
Reviewed by Huaguang Zhang.
This book is an extensive compilation of papers presented at a workshop held at the University of Notre
Dame on 5 April 2003. It presents
recent important research results on
stability and control of dynamical
systems by 41 researchers.
The book is organized into three
98
major parts incorporating 21 chapters. The first part of the book contains seven chapters on stability
analysis of dynamical systems. Chapter 1 expands wave digital concepts
and relativity theory through some
modifications to Newton’s laws. Chapter 2 studies the notion of time and
establishes a consistent Lyapunov
methodology for nonlinear systems.
Moreover, the extended concept of
the vector Lyapunov function is introduced. Chapter 3 develops a mathematical model for a multibody
attitude system that exposes the
dynamic coupling between the rotational degrees of freedom of the base
body and the deformation or shape
degrees of freedom of the elastic subsystems. Furthermore, results that
guarantee asymptotic stability of this
multibody attitude system are
obtained. Chapter 4 discusses robust
control of uncertain hybrid systems
affected by both parameter variations
and exterior disturbances, and it provides a method for checking attainability. Chapter 5 overviews stability
properties of swarms, and it analyzes
swarm cohesion under very noisy
measurements using Lyapunov stability theory. Chapter 6 presents a necessary and sufficient asymptotic
stability condition for discrete-time,
time-varying, uncertain delay systems, and it applies the result to con-
IEEE Control Systems Magazine
trol problems of a communication
network. Chapter 7 investigates stability and L2 gain properties for
switched symmetric systems. The key
idea is to establish a common Lyapunov function for all of the subsystems in the switched systems.
Comprising six chapters, the second part of the book is concerned
with neural networks and signal processing. Chapter 8 investigates the
approximation capabilities of Gaussian radial basis functions and the
concept of locally compact metric
spaces. Chapter 9 provides a generalized state-space formulation and
learning algorithms for blind source
recovery based on the theory of multivariable optimization. Chapter 10
discusses the theme of approximate
dynamic programming. Furthermore,
it presents a method of direct neuraldynamic programming and its application to helicopter command
tracking. Chapter 11 studies online
approximator-based aircraft state
estimation. Chapter12 proposes and
analyzes a novel dynamic multiobjective evolutionary algorithm.
Chapter 13 introduces set membership adaptive filtering and its novel
feature of data-dependent selective
update of parameter estimates.
The final part of the book covers
power systems and control systems
(Chapters 14–21). Chapter 14 is concerned with trajectory sensitivity
theory and its practical application
to power systems. Chapter 15 investigates the design of a corrective
control strategy after substantial disturbances in large-scale electric
power systems. An analytical
approach in which the system is separated into smaller islands at a slightly reduced capacity is developed.
Chapter 16 expands control methods
for maintaining the stability of the
electric power generation transmission distribution grid. This chapter
also presents a roadmap for the
development of new controls for
power system stability.
Chapter 17 introduces data fusion
April 2004
modeling for groundwater system
identification based on Kalman filtering methods and a Markov random
field representation for spatial variations. Chapter 18 provides an introduction to the nominal design problem
along with results for feedback synthesis in an algebraic framework. Chapter
19 introduces the adaptive dynamic
programming algorithm and gives a
detailed proof. Chapter 20 analyzes the
reliability of supervisory control and
data acquisition systems used in offshore oil and gas platforms. Chapter
21 develops call admission control
algorithms, based on signal-to-interfer-
ence ratio, for power-controlled CDMA
cellular networks. In particular, call
admission control algorithms are
developed based on the necessary and
sufficient conditions under which the
power control algorithm will have a
feasible solution.
One welcome feature of the book
is that each chapter includes an
abstract, a detailed introduction,
and a concise conclusion, thereby
significantly assisting the readers’
comprehension. Each chapter is a
helpful guide for anyone engaged in
the analysis and control of dynamical systems, offering ample opportu-
nity for further exploration of the
approaches covered. Rigid mathematical descriptions and logical
derivations are another feature. The
main ideas presented are original,
and the results stated are advanced
and appropriate. The reviewer
believes that the book is an excellent
reference
source
for
researchers and practitioners in the
areas of dynamical systems
research and applications. The book
is well written and well organized,
and it is clear that the authors have
made important research contributions in this field.
Conference Report
(continued from p. 95)
the United States, starting from a regional system to a global system, which evolved according to a specific set of
established rules of noninterference, which in turn evolved
with time.
Oscar Crisalle questioned the name “robust control,”
and he concluded that this word could be misleading. For
example, a robust controller may become fragile if not
properly implemented in a finite word-length processor.
Tempo agreed that the name robust control could be too
narrow, and the use of the terminology uncertain systems
would be more appropriate for its broadness. This notion
may also reflect the development of methods or algorithms, which are not robust in the classical sense. Khargonekar added that the name “electrical engineering” is a
good example of a field that is dynamic and inclusive since
it started with power systems and evolved into electronics
and now incorporates wireless communication and nanotechnology. Hence, he concluded that control should
remain inclusive to embrace very diverse areas.
Başar said that we should periodically introduce new terminology not only to identify specific research groups or
April 2004
subgroups but also for selling our developments to the outside world. The terminology “robust control” was used after
the H∞ developments, and this name later became important for economists who named a field “robust economics.”
This adoption shows the significance of using the right terminology to market control to researchers working in other
areas. Kokotovic mentioned that, after actively working in
the control field for about 45 years, he has never before seen
so much demand for control expertise required in different
disciplines. Although control is extremely popular in many
areas, the real question is whether the traditional control
community will be able to respond to this demand or
whether the demand will be met by specialists in other areas
who develop, or redevelop, methods to suit their needs.
Başar finally drew a brief conclusion on the discussions
made during the panel, noting that the field is alive and
well, and there are lots of opportunities for those who are
willing to take the challenge to extend the boundaries of
robust control.
—Sergio Bittanti
—Patrizio Colaneri
IEEE Control Systems Magazine
99
Download