Looye 20080116
Looye 20080116
PROEFSCHRIFT
door
Samenstelling promotiecommissie:
C ov er:
The highly ma n oeuv ra b le a n d post-sta ll ca pa b le X -3 1 A ex perimen ta l a ircra ft:
con cepts from this thesis w ere a pplied to this a ircra ft in the V EC TO R progra m.
A cry lic on ca n v a s pa in tin g b y R ob ert J a n L ooy e ( Private collection Dr. Steinhauser)
A ll rights reserv ed. N o pa rt of the ma teria l protected b y this copy right n otice ma y
b e reproduced or utilised in a n y form or b y a n y mea n s, electron ic or mecha n ica l,
in cludin g photocopy in g, recordin g or b y a n y in forma tion stora ge a n d retriev a l
sy stem, w ithout the prior permission of the a uthor.
IS B N / EA N : 9 7 8 -9 0 -5 3 3 5 -1 4 8 -2
LIGHT Control Laws (FCLs) make the difference between the dynamic be-
F haviour of an aircraft of its own, and what it actually fl ies and feels like
to the pilot and passenger. To this end, FCLs consist of dynamic feedback and
feedforward transformations of sensor and command signals into suitable control
defl ections, providing desired manual or automatic fl ying behaviour and passenger
comfort, under clear as well as turbulent atmospheric conditions.
Flight control laws have to meet a large amount of performance and safety re-
q uirements in order to ensure they perform reliably in all fl ight conditions, under
adverse operating conditions, in the event of hardware failures, etc. Feedback of
sensor measurements hereby not only infl uences, but also brings about strong in-
teraction between aircraft fl ight – , airframe structural – , control system hardware
– , sensor – , engine – , and landing gear dynamics, thus involving several engineer-
ing disciplines simultaneously. As a conseq uence, the design of fl ight control laws
is a challenging, multi-disciplinary design task.
The multi-disciplinary aspect in FCL design is becoming more and more impor-
tant. In order to improve over-all effi ciency, aircraft designs are continuously
pushed to physical limits. This results in for example more fl exibility of the air-
frame structure and “ just-right” sized actuators and control surfaces. Also, the
availability of control laws is more and more exploited, e.g. to actively reduce
loads on the airframe, to provide active stabilisation, and to reduce structural
vibrations. The current design process for fl ight control laws is not well con-
figured for an inherently multi-disciplinary approach. The main reason is that
multi-disciplinary aspects are addressed only after the principal design loop, in
analyses performed by specialist departments. This usually gives rise to req uests
for fixes, resulting in additional design loops.
The objective of this thesis is to develop concepts and methods for a new process
that allows for easy incorporation of multi-disciplinary aspects in fl ight control
design from the beginning. The prereq uisite for doing this is the availability of
integrated multi-disciplinary aircraft models that not only include fl ight dynam-
ics, but also accurately describe structural dynamics, airframe loading, systems
dynamics, etc. As an example, an integrated model allows control bandwidth to
be adjusted, while keeping a close watch on airframe loading. This will save time
consuming design iterations with the loads department afterwards.
Multi-disciplinary aircraft modelling req uires a generic model structure that al-
viii Summary
control law. As a fourth contribution, this thesis proposes a different way. Un-
certain model parameters, which also appear in the inverse model equations, are
used as additional degrees of freedom in parameter synthesis. The combined NDI
and outer loop control laws are then tuned simultaneously to meet performance
and robustness specifications using multi-objective optimisation. Robustness is
hereby addressed by directly incorporating robustness measures as optimisation
criteria, and by simultaneously addressing nominal and selected worst-case pa-
rameter combinations in the optimisation.
In the current design process, tuning of control laws is mostly performed man-
ually. However, multi-disciplinary design requires a considerably larger set of
criteria set to be addressed simultaneously. For this reason the use of multi-
objective optimisation for tuning of free control law parameters is recommended.
The underlying min-max approach allows the large amounts of (usually conflict-
ing) multi-disciplinary design criteria and constraints to be addressed efficiently,
aiming to achieve best-compromise solutions. Relative importance of criteria is
expressed using scaling functions that have a clear physical interpretation. The
optimisation problem is not necessarily convex: the main objective however is
to automatically search for satisfactory design solutions. Obviously, suitable
aircraft dynamics models needed for evaluation of numerical criteria are auto-
matically generated from the object-oriented model structure described above.
As a fifth contribution this thesis extends the approach of multi-objective optimi-
sation to large controller structures that consist of multiple interacting functions.
A sequential tuning strategy is proposed in which new controller functions are
sequentially added to the synthesis, eventually resulting in optimisation of the
over-all control system. This strategy allows inner loop functions to be tuned
in combination with various outer loop functions. This may considerably reduce
control law complexity, since duplication of functionality is avoided.
The contributions described above have been combined into a simplified flight
control law design process. This process has been applied for the design of an
automatic landing system for a small passenger aircraft. The proposed tuning
strategy allowed the same set of inner loops to be used with all outer loop con-
troller functions, like glide slope and localiser tracking, and flare and runway
alignment in case of cross wind. Before flight testing, autoland control laws are
extensively tested using Monte Carlo (MC) analysis, often giving rise to new de-
sign iterations in a second design loop as described above. In the autoland design
MC analysis has been directly incorporated in the tuning process, demonstrating
that this additional loop can be avoided using the proposed design process. The
autoland system was successfully tested in six automatic landings, without the
need for any re-tuning of control law parameters.
x Summary
Contents
Summary vii
1 In tro d uc tio n 1
1.1 Flight control laws . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 The flight control law design process . . . . . . . . . . . . . . . . . 7
1.3 Future developments in flight control law design . . . . . . . . . . . 10
1.4 Objective of the thesis . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5 General approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Overview and contributions . . . . . . . . . . . . . . . . . . . . . . 15
7 C onclusions 189
7.1 An integrated flight control law design process . . . . . . . . . . . 191
7.2 Recent application examples . . . . . . . . . . . . . . . . . . . . . . 196
7.3 Lessons learnt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198
7.4 Recommendations for future research . . . . . . . . . . . . . . . . . 200
A ppendices 20 3
Bibliography 245
Nomenclature 259
Index 271
Samenvatting 275
Introduction
2 Introduction
Abstract
Control laws as present in the flight control computers of modern aircraft
provide the functionality for safe manual and automatic control in flight.
The design of flight control laws (F CL s) consists of the actual design
phase, followed by a validation phase that involves ex tensive simulations,
rig tests and, eventually , flight tests. Multi-disciplinary aspects play an
important role, since F CL s not only improve aircraft flight dy namics, but
also aff ect structural dy namics, airframe loading, sy stem dy namics, etc.
Currently these aspects are not addressed until the validation phase, fre-
q uently resulting in late design iterations. In future aircraft design projects
interactions between flight control and other engineering disciplines will
become considerably stronger, req uiring multi-disciplinary aspects to be ad-
dressed from the beginning. This is where this thesis aims to contribute.
Three aspects will be addressed in detail: development of integrated multi-
disciplinary aircraft models to allow a wide range of design criteria to be
evaluated and addressed in sy nthesis of the control laws, development of
approaches for handling various ty pes of uncertainty and model variation
in tuning of design parameters, and the integration of these methodologies
into a design process structure that allows complex control law structures
to be handled effi ciently and transparently .
3
N the early days of aviation, the pilot used to control the aircraft with the
I help of cockpit controls that were directly linked with aerodynamic control
surfaces via mechanical elements such as rods, cables and trolleys. Stabilisation,
compensation of coupled responses to steering inputs (e.g. turn co-ordination),
rejection of atmospheric disturbances, manoeuvring of the aircraft, and navigation
were performed by the pilot alone, supported by early cockpit instruments only.
The current situation in military and civil aircraft is quite different. Although
mechanical linkage between cockpit control devices and control surfaces and en-
gines has remained in designs well into the seventies and eighties of the previous
century, the tasks of the pilot in military and civil aircraft have been increas-
ingly automated. Starting with active dampers – basic autopilot modes, stability
and command augmentation systems and automatic landing systems have evolved
over decades, leading to full-authority digital control systems as present in today’s
aircraft. A detailed historical overview and interesting references can be found in
Ref. [84].
Modern civil transport aircraft are flown using the so-called flight guidance and
control (FG& C) systems [38, 15], comprising the flight control system (FCS), the
flight management system (FMS), the automatic flight control system (AFCS),
and mostly also some form of structural control (SC) or active loads control
(ALC). In Figure 1.1 the functions of these systems have been ordered according
to their hierarchical level in the form of a block diagram. Several components
of the system, to be discussed subsequently, are operated via control devices,
displays, and panels in the cockpit (top left). Eventually, actuation systems are
commanded that drive control surfaces (painted black in the aircraft depicted top
right) and engines to make sure the aircraft responds in the desired way.
1. flight control (FC). This task is performed by the FCS. This system allows
the pilot to manually steer the aircraft with the help of the side stick or con-
trol column, and pedals. With the help of feedback and feedforward control
algorithms the FCS allows the (auto-) pilot to directly command aircraft
motion variables, such as body angular rates, accelerations, or combinations
thereof, and makes sure these commands are tracked accurately and inde-
pendently (de-coupling), especially under atmospheric disturbances. Ex-
tensive protection features prevent the pilot from bringing the aircraft into
dangerous flight situations, outside its envelope of safe operation. Velocity
and flight path are controlled with the help of throttles and speed brakes. In
case of system failures, the cockpit controls are electronically directly linked
to control surfaces (“direct law”), bypassing all levels of automation. The
pilot uses the FCS to perform manual, short-term steering tasks, mainly
during take-off, landing, and ground operation.
2. flight guidance (FG ). This task is performed by the AFCS, consisting of the
autopilot and autothrottle. The pilot selects modes of operation and enters
target values for speed, altitude, vertical speed, and heading via the glare
shield control unit (see Figure). The autopilot and autothrottle compute
appropriate command signals that are executed by the FCS. Stability and
4 Introduction
equipped with a full authority digital engine control (FADEC) system, which
augments the otherwise highly nonlinear throttle responses and allows for direct
commanding of for example the engine pressure ratio (EPR) or fan shaft speed
(N1 ).
F M = F l i g h t M a n a g e m e n t
F G = F l i g h t G u i d a n c e
F C = F l i g h t C o n t r o l
S L C = S t r u c t u r a l a n d L o a d C o n t r o l
A L C = A c t i v e L o a d C o n t r o l
S C = S t r u c t u r a l C o n t r o l
A P = A u t o p i l o t
g l a r e s h i e l d A T H R = A u t o t h r o t t l e
S C A = S t a b i l i t y a n d C o m m a n d A u g m e n t a t i o n
c o n t r o l u n i t
d i s p l a y s
p r i m a r y c o n t r o l s u r f a c e s
s e n s o r s
M C D U
c o n t r o l
d e v i c e s
s
t t l e
r o
t h
b a c k - u p
" d i r e c t l a w "
3 2 1
A c t u a t i o n
* A e r o d y n a - A i r c r a f t
m i c c o n t r o l S e n s o r s
F G F C d y n a m i c s
F M s u r f a c e s
A P , A T H R S C A
* E n g i n e s
S L C
A L C , S C
a t t i t u d e
f l i g h t p a t h , A t t i t u d e r a t e s ,
t r a j e c t o r y & r a t e s ,
s p e e d a c c e l e r a t i o n s
a c c e l .
F l i g h t g u i d a n c e a n d c o n t r o l s y s t e m s
Figure 1.1: The relation between displays, controls, and control laws in a modern
transport aircraft
• Even the most basic control tasks are subject to a large number of design
requirements. For example, handling qualities criteria have to be met, sta-
bility must be guaranteed (which may be challenging in case the pilot is in
the loop), and control activity must be limited (especially in turbulent con-
ditions). Control law behaviour must further be accepted by pilots, often
giving rise to additional qualitative and subjective criteria to be met;
• Control laws have to work over the full operating envelope of the aircraft1 .
Aircraft flight dynamics may be highly nonlinear as a function of the flight
condition and flight attitude, requiring control law scheduling as a function
of these parameters;
• Sensor signals can usually not be used directly, but need processing through
complementary filters to reduce the effect of atmospheric disturbances, through
notch filters to reduce structural dynamics content of signals, through es-
timation algorithms to compute signals not directly measurable (e.g. side
slip angle often requires this), etc.;
• Implementation aspects must be kept in mind, like capacity of the FCC and
certification of software;
• Most control law development work is performed well before the first air-
craft has flown. This means that the design team has to rely on data from
theoretical methods, wind tunnel experiments, and extrapolation from pre-
vious programs. Consequently, robustness to tolerances in the data is an
important issue in design and clearance of the FCLs;
• Control laws rely on sensors and use actuators to perform their tasks. These
devices may fail. The design team has to make sure that the control laws
under no circumstance make things worse than they are (uncontrollability,
instability!). Failures must be handled properly, even if this means that
functionality is reduced or completely deactivated (so-called “direct law”,
see Figure 1.1);
• As already discussed in the previous section, FCLs consist of many many
functions. Each function requires the above issues to be considered individ-
ually, but ...;
• ... at the same time, have to be safely integrated in the over-all system;
• Beyond handling of complex aircraft flight dynamics, flight control law de-
sign integrates many engineering areas. The reason is illustrated in the form
of a block diagram in Figure 1.2. The collection of interconnected blocks
constitutes the over-all dynamics of the aircraft, involving:
– flight dynamics (aerodynamics, propulsion, environment, loading, etc.);
1 Actually, even beyond, since the aircraft must be recoverable from the most awkward flight
attitudes
1.2 The flight control law design process 7
s e n s o r s ign als (b u s )
D isplay s,
motions, ...
Integrated aircraft dynamics
Figure 1.2: Feedback interaction of flight control laws, aircraft dynamics, and
system dynamics
C u s to m e r & A ir w o r th in e s s
R e q u ir e m e n ts
B a selin e
F C L S tru c tu re
B a s e lin e F C L
C o m p . / G ra p h .
D esig n D eta iled F C L
C riteria D esig n / A n a lysis
no
Off-line Design
Ok? 1
yes
F C L In teg ra tio n /
C o d in g
C o m p . / G ra p h .
A ssessm en t A ssessm en t A S E (* ) L o a d s (* * )
C riteria , T est (C lea ra n c e) A n a lysis A n a lysis
S p ec ific a tio n s
no
Ok? 2
yes D e s ig n
s ta n d a r d F C L
H /W & S /W P ro -
d u c tio n /In teg ra tio n
F C S S ystem
T est R ig T estin g
S p ec ific a tio n (Iro n B ird )
no
Ok? 3
yes F lig h t
s ta n d a r d F C L
A irc ra ft
In teg ra tio n
no
Ok? 4
P r o d u c tio n
yes s ta n d a r d F C L
(fin a l u p d a te )
• Loop 1: Off-line design. In this phase actual design of control laws takes
place. B ased on their required functionality, a baseline structure is devel-
oped. The choice of control devices, command variables, functional break-
down into loops and components, etc. will largely depend on the philosophy
of the design team.
The nex t step is detailed design of control law functions, based on the base-
line structure and aircraft and system models/ data that are available at the
time. D etailed design requirements are based on customer and airworthiness
requirements, as well as in-house criteria. These in turn may be formulated
in the form of computational and graphical criteria that relate to design
methods that are used within the design group. For ex ample, specific min-
imum stability margins may be required, or bounds on time and frequency
responses may be imposed.
W ithin the controller structure, parameters, complementary filters, estima-
tors, nonlinear functions, etc. are defined and tuned to best meet the speci-
fications, after which the control laws are ex tensively tested using linear and
nonlinear simulations. N owadays, for control law synthesis and analysis a
wide range of methodologies is available, see for ex ample [77].
• Loop 2 : A ssessm ent a nd c lea ra nce. After integration of designed control law
functions, ex tensive assessment is carried out. This assessment may involve
real time simulation in the flight simulator, ex tensive robustness analysis
against tolerances in model data (especially in the case of military aircraft),
performance of analyses as required for certification (e.g. Monte Carlo anal-
ysis in the case of automatic landing), etc. In this phase not only control law
performance and robustness is addressed, but also interaction with airframe
structural dynamics and loads. To this end, the control law specification is
released to the disciplinary departments involved. The aeroelastic depart-
ment will perform ex tensive aeroservoelastic analysis in order to make sure
flutter margins of the closed-loop system (Figure 1.2 ) are preserved over the
aircraft flight envelope, for all weight and balance conditions and configu-
rations. Loads analysis is performed to make sure that a.o. manoeuvre and
gust loads design envelopes are not ex ceeded due to flight control system
action.
Any design deficiency that shows up in this phase gives rise to the second
design cycle. According to Irving, control laws that passed this phase have
reached the maturity of D esign S ta nda rd.
to test in flight. The iron bird may be operated in combination with the
flight simulator, allowing realistic test scenarios to be performed. Design
deficiencies may arise from over-looked aspects (e.g. unanticipated failure
scenarios), or deficiencies in system models. Especially nonlinearities may
adversely affect control law performance. In this case, the model needs to
be updated before adapting the control laws (Figure 1.3, top right).
The flight control laws status after satisfying the hardware test specifications
is designated Flight Standard by Irving.
• Loop 4 : Flight testing. This loop involves extensive validation of the control
laws in the aircraft in flight. O bviously, the number of tests will be limited
because of time, cost, safety, and environmental constraints. Therefore,
flight test results are partly intended to validate results from the second
design phase. In case of design deficiencies, control law updates may be
required. The final version (p ro du ctio n standard) will be certified with the
aircraft.
The design cycles may involve various stages in the off-line design process. Design
modifications may be initiated in Detailed FC L Design / Analy sis, in the B aseline
FC L Stru ctu re, as well as in the Detailed Design Req u irements. Even a change in
design philosophy may appear to be necessary, but hopefully at an early stage.
Especially in the case of military aircraft, the Assessment and C learance phase
may proceed on parts of the flight envelope or specific functions, as FCLs for other
parts, or other FCL functions, enter rig and flight testing.
In case of a new aircraft type or derivative, the development of the aircraft models
(top right in Figure 1.3) is a process by itself, which runs in parallel with the
FCL design. Major updates usually result from new wind tunnel experiments
(e.g. after configuration changes) and, in a later stage, from flight tests. Model
improvements require most analyses to be performed over again and frequently
force the control laws to be updated as well. Clearance results as presented to the
authorities for certification must eventually be produced using the most up-to-
date model data, since consistency with flight test results has to be demonstrated
[37].
Figure 1.4: H ighly flexible wing design of the Boeing 787 Dreamliner (Image
source: The Boeing Company, photo nr. K 6 39 6 5-03)
The current industrial design process is not well configured to accommodate this.
the aircraft may be moved aft, so that the tailplane will contribu te to over-all lift in eq u ilibriu m
cru ise fl ight [1 5 ].
12 Introduction
from loop 2 onwards (Figure 1.3), more and more people, departments, and
test equipment get involved. Depending on the required modification, inter-
mediate steps may have to be performed over again, costing progressively
more engineering time and resources. As can be seen from the figure, loads
and aeroelasticity aspects are not addressed in detail until specialist depart-
ments perform flight loads analyses with the FCLs included. The impact
of late design iterations along the third loop will increase significantly as
actuators are sized more tightly. Finding trade-offs between control law
performance and, for example, airframe loading via loop 2 will be impracti-
cal and expensive;
2. Models used for FCL design allow for evaluation of criteria primarily re-
lated to flight dynamics and handling characteristics. Usually, only static
aeroelastic effects (flight shape deformation of the airframe) are taken into
account. Analysis of flight loads, detailed analysis of actuation system dy-
namics, and assessment of structural dynamics influences require special
models, only available within the respective engineering departments;
• Develop a model structure for aircraft flight dynamics that allows for easy
and intuitive integration of model components and data from other engi-
neering disciplines, allowing for multi-disciplinary design analysis;
• Extend methodologies that allow for automatic robust tuning of flight con-
trol laws, eventually allowing for automatic multi-disciplinary compromise
tuning of FCL parameters.
Modelling
* F u nc tiona l des ign * c om p onents (p ,T )
req u irem ents * a irc ra ft m odel (p ,T )
* P h y s ic s * c ontroller / filters (T )
* Model da ta * F C S (p ,T )
* c riteria (p ,T )
no
A
Ok?
y es
As s es s m ent
(p -V a ria tion)
no B 1
Ok?
y es
The process consists of two main loops. The first loop (A) is based on opti-
misation results where the designer decides upon shifting trade-offs (via criteria
scaling), or in some cases, structural changes to the controller. Loop (B) is based
on assessment results and may involve replacement or selection of additional pa-
rameter cases to be taken into account in the optimisation in order to improve
robustness. The design work based on the process described above is discussed in
detail in [50].
The FSA process has two key elements that make it highly suitable for multi-
disciplinary flight control law design. Firstly, the adopted object-oriented mod-
elling technology is well suited for multi-disciplinary model integration, as will be
explained in the following section. Secondly, multi-objective optimisation is able
to handle large amounts of criteria simultaneously (up to O(102 ) or more). This
provides enough room to address multi-disciplinary aspects.
1.6 Overview and contributions 15
The structure of the FSA process puts less emphasis on control law architecture
design (in Figure 1.5 referred to as a modelling activity) and on the way how
complex control laws are handled. These aspects are to be improved upon in the
frame of this thesis.
A pp.B
3 . F le x . a ircra ft
m ode l inte g r.
7 . C onclus ions
A pp.A
4 . R a p id F C L
p rototy p ing
5 . N D I-b a s e d
F C L de s ig n
6 . A utola nd s y s te m
de s ig n
One aspect that is absent in contemporary aircraft models for control design is
airframe flexibility. The influence of control laws on flutter margins and airframe
loading is currently left to the loads and aeroelasticity department, giving rise
to design iterations along loop 2 (Figure 1.3) in case problems show up. Taking
aeroelastic aspects into account in the flight control design model allows these
design iterations to be eliminated. This however requires the integration of rigid
and aeroelastic aircraft models, which is not an obvious task due to overlaps be-
tween both model types. In Chapter 3 these overlaps are identified and solved
mathematically in the form of the so-called residualised model method. In addi-
tion, a procedure is developed that also allows the aeroelasticity department to
improve its models regarding flight mechanical aspects.
As depicted in Figure 1.3, two key aspects in the off-line design phase are the
adopted control design philosophy, and the baseline controller structure. In case
of standard flight control functions the design choices are strongly influenced or
even imposed by previous aircraft programs. However, in the near future new
functions will be introduced, like drive-by-wire for taxiing on the ground. Key
decisions like selection of control variables, control allocation and sizing, etc. are
still open. A possibility for rapid prototyping would be an excellent means to
study the implications of such choices and to support fundamental decisions,
both in flight control as well as over-all aircraft design. Even for conventional
control functions, rapid prototyped control laws may be passed on as a preliminary
design to other departments for aircraft-level design analysis (e.g. control sizing).
Such a rapid-prototyping process is enabled by object-oriented modelling. This
methodology namely allows for automatic generation of nonlinear control laws
based on inversion of model equations, like Nonlinear Dynamic Inversion (NDI).
This will be demonstrated in, and is main contribution of, Chapter 4.
1.6 Overview and contributions 17
Chapter 7: Conclusions
In this chapter the design process proposed in Chapter 6 is generalised and it is
shown how the other contributions of this thesis fit in. Current developments and
some recent applications are discussed. In addition, some lessons learnt will be
shared and recommendations for future work are made.
18 Introduction
Chapter 2
Multi-disciplinary aircraft
model development using
object-oriented modelling
techniques
20 Multi-disciplinary aircraft model development
Abstract
In this chapter a physically-oriented model structure for complex multi-
disciplinary aircraft dynamics models is presented. For implementation
the object-oriented modelling language M odelica is used. Object-oriented
modelling (OOM ) is based on implementation of “ nativ e” physical, rather
than simulation-ready differential and algebraic equations, allowing v ari-
ous engineering discipline-specific modelling methods to be combined in a
single model implementation. The proposed aircraft flight dynamics model
structure comes with the Flight Dynamics Library, a M odelica library con-
taining re-usable components, as well es base classes for aircraft-specific
components. The model structure allows for implementation of flexible as
well as rigid aircraft, in slow low up to fast-high flight regimes. Another
important adv antage of OOM is that v arious types of runtime models may
be automatically generated from a single implementation. From a control
point of v iew, this allows for automatic generation of models for nonlin-
ear simulation analysis, inv erse models for trimming and inv ersion-based
synthesis techniques, linear symbolic models for robustness analysis, etc.
In this chapter the main principles of OOM , the new aircraft model struc-
ture, and an example aircraft model implementation will be described.
C o n tributio n s
P ublicatio n
G ertjan Looye, Simon H eck er, Thiemo K ier, Christian Reschk e, J ohann
Bals: Multi-disciplinary aircraft model development using object-oriented
modelling techniques, International Forum on Aeroelasticity and Struc-
tural Dynamics (IFASD), M unich, G ermany, J une 2 0 0 5 .
2.1 Current practice in multi-disciplinary modelling 21
tion.
22 Multi-disciplinary aircraft model development
1
Sp ec ific a tio n level Physical system and
mod elling scope
2
System level
Physical component
b reak -d ow n
4
O rd inary D ifferential /
M a th ema tic a l level
D ifferential A lg eb raic E q n.’s
5
R u n time level S imu lation mod el
CFD method, or obtained from model identification during a planned flight test
campaign.
The third step is to actually formulate the equations and algorithms that underlie
the model components and to make sure the required data is available. The
equations are based on laws of physics, application rules that come with data
sources (e.g. aerodynamics), international model standards (e.g. International
Standard Atmosphere), algorithms as implemented in a system’s control unit,
etc. Interconnections between model components may for example be constraints,
energy flows, or signal flows. The third step in the modelling process will be
referred to as physical level.
The fourth step is to collect all equations and to derive mathematical standard
forms, like ordinary differential (ODEs) or differential algebraic equations (DAEs),
suitable for time simulation of the model. For this reason, the level this step is
performed at will be referred to as mathematical level. For derivation of ODEs or
DAEs it is necessary to specify which variables are to be considered as inputs2 ,
as outputs, or as states. This means that from this moment on, the causality of
the model is fixed.
Finally, the model is connected with a simulation algorithm, allowing the actual
model simulation to be performed. This algorithm strongly depends on the na-
ture of the model. For example, whether the model has been brought into the
form of ordinary differential or differential algebraic equations (ODEs or DAEs),
the extent of stiffness of these equations, whether the simulation model contains
2 If any, since systems do not necessarily have inputs. However, physical systems considered
continuous states, discrete states or both, or whether state events should be han-
dled or not. T he im p lem entation m ay involve inline (local) integ ration of m odel
states, a state vector m ay be p assed to an ex ternal integ ration alg orithm , or var-
ious com p onents m ay be integ rated seq uentially using diff erent alg orithm s in a
seq uence of m ini sim ulation runs. T his fi fth step in the m odelling p rocess is at
the so-called simulation level.
ẋ = f (x, u, p)
(2 .1 )
y = h(x, u, p)
where x ∈ IR nx is a vector containing m odel states with dim ension nx , the vector
u ∈ IR nu contains m odel inp uts, y ∈ IR ny contains m odel outp uts, and p ∈ IR np
contains constant p aram eters that m ay be set by the user p rior to sim ulation. In
the p ast, coding of this function was p erform ed using a p rog ram m ing lang uag e lik e
C or F O R T R A N . N owaday s, block diag ram s have becom e very p op ular, allowing
subsy stem s in the above form to be g rap hically interconnected via their inp uts and
outp uts. S ince the variables in u and y have been ex p licitly identifi ed as inp uts
and outp uts resp ectively , m odel im p lem entation at this level is also referred to as
“ causal” m odelling .
In a num ber of eng ineering dom ains im p lem entation at the p hy sical level (step 3 )
has becom e com m on p ractice. F or ex am p le, for construction of m ulti-body sy s-
tem m odels software is available that off ers com p onent libraries (bodies, joints,
hing es, ex ternal forces, etc.) from which a m odel m ay be constructed g rap hi-
cally . T he sam e holds for electronic circuits, for which a rang e of p rog ram s and
com p onent libraries is readily available. T he diff erential (alg ebraic) eq uations are
g enerated autom atically , ex p loiting the discip line-sp ecifi c m odel structures. A
well k nown m odelling p aradig m that has found ap p lication in various eng ineering
discip lines are bond g rap hs, based on energ y and energ y ex chang e between com -
p onents [1 6 ]. In 1 9 9 1 W illem s laid the foundation for what has becom e k nown as
the B ehavioural A p p roach to the descrip tion of dy nam ical sy stem s [1 0 2 ], strong ly
advocating m odel descrip tion at the p hy sical level and p roviding a m athem atical
fram ework for describing sy stem behaviour and (control-relevant) sy stem p rop er-
ties. In the B ehavioural A p p roach p hy sical com p onent break -down is referred to
as “ tearing ” and describing the com p onent behaviour as “ z oom ing ” [1 3 9 ].
Im p lem entation at the p hy sical level has a num ber of advantag es over doing this
at a m athem atical level:
24 Multi-disciplinary aircraft model development
- 1 +
R 2 1/L
R 1= 10
R 2 = 10 0
S
+ +
A C =220
+
C = 0 .0 1
L = 0 .1
+ 1
1/R 1 1/C S
-
1. In level 3, causality of the model is not fixed yet, whereas at level 4 causality
is inherent to the implemented differential equations. As a result, from an
implementation at level three, different runtime models with different sets
of (reversed) inputs and outputs may be generated from one and the same
model.
2. D ifferential equations for simulation are just one form of executable model
code. Other forms are static equations, symbolic linear state space models,
L inear Fractional Transformations (L FTs), etc. From level 3, the form of
the runtime model is still open.
In practice, the above restrictions do not pose severe problems, since within most
engineering areas application-specific work-arounds and program libraries have
been developed that considerably reduce the coding effort. For example, for the
block diagram-based modelling tool Simulink [8 1] libraries for various engineering
domains are readily available.
2.1 Current practice in multi-disciplinary modelling 25
1 1
Sp ec ific a tio n level Physical system and Physical system and
mod elling scope mod elling scope
2 2
System level Physical component Physical component
b reak -d ow n b reak -d ow n
5 5
R u n time level S imu lation mod el T rajec tory interc onnec tion S imu lation mod el
Distributed / Co-simulation
H /W in th e loop simulation
relatively easy. Unfortunately, Figure 2.2 clearly shows that this still does not
solve the “black box” problem.
Another important problem remains. Model components may only communicate
via data flows and model components must be executed in a given sequence. This
causes problems as soon as components algebraically depend on each others data.
Such algebraic loops require expensive iterative solving or very short simulation
time steps in case loops are broken artificially.
Apparently, level 4 is not necessarily a suitable level to (1) implement models and
(2) to integrate models. The problems sketched above disappear when taking the
model implementation one level up, namely to level 3. Since at this level inter-
connection equations are still physical, connection of model components can be
performed in the form of physical equations as well. Of course, this implemen-
tation approach has an important prerequisite. It must be possible to combine
models from various disciplines and based on various modelling paradigms into a
single implementation. As it is diffi cult and unnatural to, for example, implement
a block diagram in a multi-body package.
This problem was recognised by Elmqvist, who in 197 8 proposed a dedicated
modelling language, called Dymola (Dynamic Modelling Language) [30]. The
basic philosophy behind this language is:
1. implementation takes place at the level 3: physical objects and phenomena
and their interactions may be implemented as model objects and model
interactions respectively in a one-to-one fashion;
2. the language serves as a common base for development of discipline-specific
component libraries.
The result of the second point is that model components may be composed from
discipline-specific libraries. The common language base allows these components
2.1 Current practice in multi-disciplinary modelling 27
to be combined in a single model. At the time, issues like algebraic loops between
model components and structural singularities in models prevented practical use
of the language. By 1991 most of these issues had been resolved [32], resulting
in a first release of a modelling and simulation environment based on the Dy-
mola language, also called Dymola (Dynamic Modelling Laboratory) [4]. In the
mean time, several other research groups started developing dedicated physical
modelling languages and tools. All languages are strongly supported by graph-
ical tools, allowing model components to be constructed from discipline-specific
libraries using “drag-and-drop”. Since libraries may in turn be based on discipline-
specific modelling paradigms, an electronic circuit (for example) also graphically
looks as such, and a control law may still be implemented in the form of a block-
diagram.
In 1996 several developers in the physical modelling field, as well as simulation
and modelling experts, started joint work to develop a common, free physical
modelling language standard, named Modelica. In 2000 the non-profit Modelica
Association was founded, with the objective to maintain, develop and promote the
Modelica language. By now, the Modelica language has achieved a high degree of
maturity and several modelling tools (“Modelica translators”) have become avail-
able, featuring graphical model composition and extensive simulation capabilities.
In 2006 Dassault Systèmes announced that the systems simulation extension of
its CATIA CAD software will be based on the Modelica language. A wide range
of libraries has been developed (e.g. multi-body systems, electronics, thermody-
namics, block diagrams, power trains, hydraulics, pneumatics, fuel cells, bond
graphs) that on the one hand allow for composition of discipline-specific model
components, while on the other hand these components may be used along side in
an integrated multi-disciplinary model. This allows for development of large scale,
intuitively structured hierarchical models. P apers on several complex examples
may be downloaded from the Modelica home page [89].
example, the aircraft may request its surrounding atmospheric conditions from
the atmosphere model by sending its local inertial position. Any other aircraft
(or e.g. sensor) object in the model may do this as well. This is different from
most block-oriented libraries, where an atmospheric model is directly linked to,
and thus occupied by, the one aircraft. The ability to easily include multiple air
vehicles is useful for applications involving mutual interactions, like towed gliders,
wake vortexes, air-to-air refuelling, release of missiles, etc.
• Provide the geodetic reference. As indicated in Figure 2.4, to this end the
World Geodetic System 1984 [7] (WGS84) is used. The object implements
an Earth-Centred Earth-Fixed (ECEF) reference frame, which has the same
origin as the ECI, but rotates with the Earth. The attitude of the ECEF
(w.r.t. ECI) is available in a connector. A set of functions transform ECI
and ECEF referenced position vectors into geodetic longitude, latitude, and
height co-ordinates (w.r.t. WGS84 ellipsoid) and vice versa. For a given
longitude and latitude, another function provides the local undulation of
the so-called EGM96 (Earth Gravitational Model 1996) geoid with respect
to the WGS84 ellipsoid, providing the Mean Sea Level (MSL) reference [68].
altitude of 100 ft above the Earth surface. A simple Earth boundary layer model
logarithmically reduces the wind velocity to zero on the ground.
Component interconnections
The one-to-one implementation of the depicted physical objects and phenomena
is enabled by the physical nature of the interconnections. Each component has
one or more mechanical connectors. Such a connector defines a physical attach-
ment point on the object. For the engines and sensors this is the point at which
it is attached to the airframe. Aerodynamic forces actually act all over the air-
frame. However, in flight mechanics usually only the summed effect with respect
to some reference point, like the Aerodynamic Centre (AC), is of interest. Also for
the aerodynamic forces in the aeroelastic aerodynamic model in fact only their
summed effect is considered due to so-called left-generalisation with rigid and
flexible eigenmodes, as will be described in Sections 3.1 and B.2.7. Therefore, the
aerodynamic models need a single connector only. The variables contained in the
32 Multi-disciplinary aircraft model development
connectors are given in Table 2.1. In this table Fl is the local frame of reference
the connector variables are defined in. The position and orientation of Fl with
respect to FE C I (the Earth-Centred Inertial frame of reference) are defined by R0
and Tl,0 respectively. Remember that by the inclusion of the world model at the
2.2 The aircraft model structure 33
top-level, see Figure 2.4, FECI has been defined as the basic reference frame for all
model components. Although Ωl in the connector is superfluous (orientation and
rotational speed are kinematically directly related), the variable is included for
efficiency reasons as explained in [98]. The reasons for using Tl,0 to describe the
orientation of Fl are that the description does not become singular (as opposed to
for example Euler angles when θ = ±π / 2) and that within the object the matrix
is ready for use to transform local variables between the local and ECI reference
frames. Again, a more elaborate explanation is given in [98].
The forces and moments in the connector are declared as flow variables, whereas
kinematic variables are declared as across variables. The difference between both
types is best illustrated via an example, see Figure 2.6. The three numbered
objects are linked at the connector of object 3. The across variables in the three
connectors are now related as follows:
R 0 1 = R0 2 = R 0 3
Tl,01 = Tl,02 = Tl,03
Ωl1 = Ωl2 = Ωl3
This simply implies that the local reference frames in the three objects are merged:
they have the same position and orientation. The flow variables are related as
follows:
The basic interpretation is that the sum of inflowing and outflowing quantities
must be zero. In this case, the relations basically imply the balance of forces at
connector C3. Note that no direction of variables is assumed: the interconnections
just add two types of connector equations.
1 2
C 2
C 1
3 C 3
Kinematics
The backbone of the model depicted in Figure 2.5 are the k inematics and airframe
components. The first defines a “North-East-Down” (NED) local vertical frame
with its origin moving with a fixed position in the aircraft, preferably the centre
of gravity. The object also defines a right-handed body-fixed reference frame with
its origin at the same location, but with a fixed attitude w.r.t. the airframe (x-
axis towards the nose, z-axis down). The attitudes and inertial positions of both
reference systems are available in the two connectors. The one on top represents
the aircraft body reference system (Fl (Table 2.1) is Fb ), the one belows represents
the vehicle-carried NED reference frame (Fl is Fv ). For the kinematics block
various versions are available or in preparation, like 6 Degrees of Freedom (DOF)
with Euler angles and WGS84 co-ordinates as states, as well as versions with 3
DOF (longitudinal or lateral), Q uaternion states, or Earth-fixed position states.
A irframe
The difference between a rigid and a flexible aircraft is, in fact, only in the airframe
object. In case of a rigid airframe, it contains the standard Newton-Euler force
and moment equations with respect to a body reference system [15] (attitude
and position in lower connector). Although the origin of this reference system is
preferably the centre of gravity (for compatibility with standard flight dynamics
models), a fixed point w.r.t. the undeformed airframe shape may be more useful
for referencing reasons. The local gravity acceleration is obtained by a call to the
world object (Figure 2.4). Note that the computation of gravity depends on the
method that is selected in the world object. In case of a flexible airframe, linear
elastic equations of motion in modal form augment the Newton-Euler equations
[137, 21, 106]. The body axes system is hereby considered as a so-called mean
axis system. The momentary shape of the airframe is characterised by states in
the form of generalised co-ordinates (also called mode shape multipliers). The
underlying data (modal mass, damping, stiffness, and mode shape matrices) are
automatically read from a specified file prior to simulation. More details on
nonlinear equations of motion of flexible aircraft can be found in Appendix B.
Connection of the airframe object to the k inematics object (see Figure 2.5) makes
that the reference systems in both connectors merge, i.e. from then on the airframe
is moving freely with respect to the inertial reference, according to kinematic
equations described in the k inematics object.
The airframe object has a second connector on top (see Figure 2.5). This con-
nector may contain a different reference frame with a constant offset, or may
simply be identical to the body frame (to be specified via an offset parameter). It
is intended for interconnection of for example external force model components,
sensor models, etc. In case of a flexible airframe also generalised co-ordinates
and generalised forces are contained in addition to the variables in Table 2.1.
Note that the kinematic equations that describe the position and orientation of
the local reference frames are contained in the k inematics object. Application
of Newton’s second law in case of a constant airframe mass relates the external
2.2 The aircraft model structure 35
the AeroRef object, whereby the latter describes the offset between the airframe
body axes and the aerodynamic reference system. The upper aerodynamics com-
ponent is directly connected with the upper airframe connector, making use of
generalised co-ordinates declared therein. In case kinematics and the balance
between aerodynamic and actuation forces are relevant, a direct interconnection
between the actuators and aerodynamics models may be added.
The engine models (top left) are connected to the airframe via a slightly different
type of transformation. Instead of an offset, the number of a structural grid
point, where the object is to be attached, may be specified. At simulation start the
transformation object requests the rows of the modal matrix that apply to the grid
point from the airframe object, allowing it to continuously compute the kinematic
relation and force balance between its connectors as a function of the offset from
the airframe reference and the local deformation, see also Appendix B. This for
example implies that directional thrust variations due to local deformation at the
engine attachment point are automatically taken into account.
S ensor models
The very same principle as used for interconnecting engine models with the air-
frame structure also applies to the sensor models, located in the top-right corner
of Figure 2.5. A set of sensor types is available in the library. For example,
accelerometers compute local accelerations at their point of attachment (speci-
fied via grid point number, or offset) as a function of the inertial motion of the
airframe, its position in the airframe reference, as well as the local airframe de-
formation.
The ILS, GPS, and radio altimeter sensors obtain their values by making a func-
tion call to the airport, world, and terrain environment models respectively (Fig-
ure 2.4), passing on their momentary inertial position as an argument. In this
way, for example multiple GPS sensor objects may be included at various loca-
tions on the airframe. Each object can request its very local co-ordinates from
the world object.
S ystems
On-board systems are included in the actuators component. This component
may describe actuators and hydraulic / electric systems using simple transfer
2.3 The Modelica Flight Dynamics Library 37
Avionics bus
Finally, the thin bar at the top of Figure 2.5 represents a so-called data bus. This
bus includes signals that one would typically find on avionics buses in the aircraft,
like the readings of all sensors, command signals to engine and control surface
actuators, gear status, etc. For this reason, the sensor, actuator, and engine
models have been attached to the bus object. The bus is also accessible from
outside and allows direct connection to elements from the Modelica block diagram
library. This enables a control system composed using this library to directly
communicate with the aircraft data bus. When connecting a model component
the user is asked which variable is to be inserted into, or retrieved from the data
bus. A large amount of commonly used variables has been pre-defined, but the
user is of course free to add more. It is important to point out that in case of
a bus, any signal connector may be connected. For example, the G P S and ILS
objects via their connections contribute their respective outputs to the D atabus.
In case of standard connectors however, both connectors have to be of the same
type (e.g. mechanical as defined above).
• A erod y n amics contains example aerodynamic models for use in rigid and
flexible aircraft models, as well as base classes that the user may extend
(inherit) to develop his own aircraft-specific model components. Each air-
craft type or family namely tends to use unique application rules. For this
38 Multi-disciplinary aircraft model development
• Airframes contains rigid and flexible airframe model objects. The rigid
ones may have constant mass and inertia tensor (entered via parameters),
or these may change at a given rate (e.g. as a function of fuel consumption).
The flexible airframe component loads its mass, and modal data from an
external file (usually a Matlab mat-file [80]).
• G ear currently contains a simplified landing gear model for which basic
properties may be set and which may be attached to the airframe object in
Figure 2.5. A base class containing a standard interface for interconnection
with the airframe is provided for implementation of detailed landing gear
models, e.g. composed with help of the multi-body library by specialists in
the field.
• Propu lsion contains, as for the aerodynamics, example engine model im-
plementations, as well as base classes that allow the user to implement his
own propulsion models.
• Types contains type definitions for internal variables, to which the user
may add his own.
M od elica
F lig h t D yn am ics L ibrary
mod el, its parameters may be ed ited by d ouble-click ing on the object. For ex am-
ple, in case of the fl ex ible airframe the number of mod es to be consid ered may
be altered , as w ell as the w ay of hand ling remaining mod es (e.g. truncation or
resid ualisation).
Figure 2.8: Graphical aircraft model composition using drag and drop from the
library
the bus and passed on to output connectors NavOut and A ird ata respectively.
More details on model translation and automatic generation of inverse models
will be discussed in Chapter 4.
This section discusses the implementation of an example model using the Flight
Dynamics Library. The aircraft is DLR ’s fly-by-wire test bed ATTAS (Advanced
Technologies Testing Aircraft System [17 ]), a V FW -6 14 small passenger aircraft
(3̃0 passengers) with two turbofan engines mounted on top of the wings, see
Figure 2.9 . This model was originally developed in the frame of the EU project
R EAL [110 ] for automatic landing control laws design and is the bases for for
flight control law designs described in Chapters 5 and 6 of this thesis.
2.5 Application example: ATTAS 41
• Aerodynamics: based on a base class that defines equations for typical aero-
dynamic variables like angle of attack, angle of side slip, true airspeed, Mach
number, etc. ATTAS-specific application rules and aerodynamic coeffi cient
data are implemented [105]. In addition, for the aerodynamic model multi-
plicative uncertainty is added to the coeffi cients in order to cover potential
differences with the actual aerodynamics;
• Sensors: the ATTAS is equipped with a range of sensors for air data, in-
ertial measurements (accelerometers, etc.), guidance (ILS, Radio altitude),
etc. These sensors are combined into a sensor system model, composed of
components readily available in the Flight Dynamics Library.
actuators, which have been modelled as first order transfer functions with
rate and position limits.
N o landing gear model is included, since within the scope of the REAL project
simulations are stopped as soon as the first main gear touches the ground. The
composed model is shown in Figure 2.10. N ote that the structure is very similar
to Figure 2.5. ATTAS only has two engines and is modelled as a rigid airframe,
so that a single rigid body suffices to represent its inertial properties. The engines
of the VFW-614 are mounted on top of the wings, resulting in strong influence on
the air flow over the horizontal tailplane. This explains the direct links between
the engine and aerodynamics model components in Figure 2.10.
connected to the data bus as well, allowing them to grab the appropriate inputs.
The avionics component in Figure 2.12 collects sensor and other signals of interest
from the data bus and makes them available as model outputs (right). Complete
lists of inputs and outputs of the ATTAS model are provided in Tables 2.2 and 2.3
for future reference.
The data behind the various model components has been obtained from compu-
tational methods and (flight test) experiments. Many of the parameter values
have tolerances, even up to 30% . Also, the runway and terrain models are of
parametric nature to allow for Monte Carlo analysis-based control law certifica-
tion. For future reference, all parameters are listed in Tables 2.4 and 2.5. By
declaring these parameters at the top level of the model, they become accessible
from outside and may be modified prior to simulation.
2.5 Application example: ATTAS 45
ẋ = f (x, u, p ) (2.3)
yM eas = hM eas (x, u, p )
yS im = hS im (x, u, p )
(2.4)
where x is the state vector (states are automatically selected, but the user may
enforce specific variables to be assigned as such), u is the input vector, contain-
ing the entries of Table 2.3, yM eas and yS im are the aforementioned vectors of
46 Multi-disciplinary aircraft model development
measurement and analysis signals. The model compiler may provide the above
equations in symbolic as well as algorithmic form (e.g. c-code).
From a control design point of view, numerical integration of the equations 2.3
allows for nonlinear simulation analysis of the aircraft with control laws. However,
this is not sufficient. For example:
• Most control analysis methods are linear, requiring the model to be available
accordingly. The nonlinear model equations may be linearised numerically
or symbolically.
2.6 Conclusions
In this chapter a new physically-oriented structure for aircraft flight dynamics
models has been proposed. This structure applies to flexible just as well as rigid
aircraft. Furthermore, the environment models allow for implementation of flight
vehicles flying at a wide range of flight conditions from low to high speed and
from ground level to large altitudes. For example, Earth curvature and rotation,
may be fully taken into account. Based on the object-oriented modelling lan-
guage Modelica, this structure could be implemented one-to-one in a graphical
modelling environment. Re-usable components and base components have been
organised in a library structure, allowing for drag-and-drop model construction.
Modelica comes with a large array of discipline-specific libraries for electronics,
hydraulics, multi-body systems, etc. Due to the common language base, model
components can be constructed from these libraries and integrated in a single
multi-disciplinary aircraft model.
From a flight control point of view, various kinds of run time models for design
analysis can be generated from one and the same aircraft model implementa-
tion. Examples, like nonlinear simulation models, (symbolic) linearised models,
dynamic and static inverse models, etc. are given in Appendix A. As will be seen
in the following chapters, this automation aspect saves considerable engineering
time and guarantees consistency between various model forms.
48 Multi-disciplinary aircraft model development
Abstract
This chapter describes a procedure for development of an integrated model
of a fl ex ible aircraft by combining available fl ight dynamics and aeroelastic
models. B oth types of models largely complement each other. H owever,
two overlaps are typically present that should be properly tak en care of.
In the fi rst place, rigid aircraft fl ight dynamics models usually already
tak e the deformation of the airframe q uasi-statically into account in the
aerodynamics computation. Second, aeroelastic models also contain so-
called rigid-body modes that correspond with the fl ight dynamics degrees
of freedom. The adopted solution is to leave the fl ight dynamics model un-
changed, and to remove rigid modes and the q uasi-static infl uence on the
fl ight dynamics from the aeroelastic model. This so so-called “ residualised
model method” is ex tended to properly handle so-called unsteady aerody-
namic lag states. As a spin-off result, it will be shown how the proposed
procedure can be used to correct rigid body dynamics in an aeroelastic state
space model.
C o n tributio n s
• A general procedure for integrating fl ight mechanics and aeroelastic
models of aircraft, based on available industry-standard data sources;
• P roper handling of unsteady aerodynamic eff ects in aeroelastic mod-
els for integration with flight mechanics models;
• A s a sp in-off resu lt: a correction method to imp rov e the flight me-
chanics degrees of freedom within u nsteady aeroelastic state sp ace
models u sing a linearised flight mechanics model.
Publication
G ertjan L ooy e: Integration of rigid and aeroelastic aircraft models using
th e residualised model meth od, International F oru m on A eroelasticity
and S tru ctu ral D y namics (IF A S D ), M u nich, G ermany , J u ne 2 0 0 5 .
Integration of rigid and aeroelastic aircraft models 55
LIGHT dynamics and aeroelastic models play an important role in the air-
F craft design process. The fi rst are among others used for dev elopment of
the fl ight control law s, handling q uality assessment and, in comb ination w ith dis-
trib uted aerodynamic force and mass models, for manoeuv re loads analysis. In
fl ight dynamics (F D ) models the airframe is mostly assumed to b e rigid, or to
deform q uasi-statically as a function of the fl ight state and control surface defl ec-
tions. A eroelastic (A E ) models describ e complex unsteady interactions b etw een
airframe structural dynamics and the airfl ow . These models are among others
used for computation of fl utter margins and gust loads analysis, as w ell as design
of structural control law s. A lthough fl ight dynamics and aeroelastic models are
dev eloped b y separate engineering disciplines, there has long since b een a grow ing
interest in dev elopment of integrated models. The references [1 3 7 , 4 1 , 1 1 3 , 6 7 , 4 5 ]
as w ell as the impressiv e w ork b y N A S A -Langley in this fi eld [2 1 , 1 8 , 2 0 , 8 ] are
only a few ex amples. O ne reason is that aircraft tend to get more and more fl ex -
ib le due to lighter and increasingly slender airframe designs. A s a conseq uence,
neglecting of structural dynamics on fl ight dynamics and loads, or measures lik e
application of low -pass fi lters on sensor signals used b y the fl ight control system
(F C S ), may no longer do. A nother reason is that tak ing structural dynamics into
account early on in the design of the fl ight control law s allow s direct trade-off s to
b e made b etw een e.g. control b andw idth and fl ight loads or fl utter margins. This
w ill av oid the possib le need for re-tuning of control law s on req uest of the loads
and fl utter departments afterw ards. Integrated models further allow for design of
integrated aeroelastic and fl ight control law functions.
A s a b asic principle, dev elopment of integrated aircraft models should use agreed-
on components from the inv olv ed engineering disciplines, rather than each disci-
pline to dev elop its integrated models from scratch. This not only sav es eff ort,
b ut more importantly, it prev ents inconsistencies b etw een v arious models, w hich
may hamper rather than improv e the ov er-all design process. This b asic principle
is the motiv ation for the w ork as describ ed in this chapter.
The prob lem is, giv en a fl ight dynamics and an aeroelastic model, how to properly
comb ine these into an integrated aircraft model. C urrent practice is that fl ight
dynamics models are b ased on nonlinear N ew ton-E uler eq uations of motion for a
rigid b ody and aerodynamic forces and moments are computed using coeffi cient
tab les and application rules as a function of the aerodynamic fl ight state. The co-
effi cient tab les are ob tained from handb ook methods, C F D analyses, w ind tunnel
ex periments, and ev entually, from fl ight test. A eroelastic models are b ased on lin-
ear structural eq uations as resulting from modal analysis of a fi nite element model.
C omputation of unsteady aerodynamic loads is mostly done in the freq uency do-
main for the harmonically deforming airframe using the D oub let-Lattice method
(D LM ) [6 ]. S ince results are ob tained in the freq uency domain, sev eral methods
are av ailab le for approx imation in the Laplace domain, allow ing for use in time
simulation [5 7 , 1 0 9 , 1 3 3 ]. A lthough aeroelastic and fl ight dynamics models are
complementary, there are tw o major ov erlaps. In the fi rst place, the fl ight dynam-
ics aerodynamic model nearly alw ays already tak es the q uasi-steady deformation
of the airframe as a function of the fl ight state into account. To this end aero-
56 Integration of rigid and aeroelastic aircraft models
dynamic coefficients are corrected using so-called flex factors. Aeroelastic models
on the other hand, usually contain so-called rigid body modes as resulting from
modal analysis of the unrestrained airframe structure. Including these modes in
the Doublet-Lattice computation results in an aerodynamic model for rigid and
flexible airframe motion, as well as interactions in between. Consequently, the
AE model includes flight dynamics-related states and rigid aircraft (unsteady)
aerodynamics.
Simply leaving out the flex factors and rigid modes from the flight dynamics and
aeroelastic models respectively is generally not the best option. The flex factors
mostly result from trim computations using CFD methods that give more accu-
rate results in steady flow conditions as compared with DLM. Furthermore, flight
dynamics models, including the flex factors, are eventually matched with flight
test data as soon as these become available. Changing these models thereafter
should be avoided. Finally, leaving the quasi-steady effects to the aeroelastic
model builds in a dependency on the number of modes that is included in the
structural model. On the other hand, rigid aerodynamics in AE models as re-
sulting from DLM are not as accurate [113], since the method is less suited for
predicting drag and steady forces.
Alternative approaches have therefore been proposed by W inther et al [140] and
by K önig and Schuler [114]. B oth methods have in common that, besides an add-
on term in case of the first approach, the flight dynamics model is left untouched.
The difference is in the underlying assumptions and in the implementation. An in-
depth analysis and comparison is given in R ef. [108]. The K önig-Schuler method
applies a modal transformation that replaces rigid modes in the AE model with
the quasi-flexible flight dynamics model states. The integration method as pro-
posed in this chapter originates from the work by W inther. The methodology
basically states that the flight dynamics model is a fully flexible one with all
aeroelastic dynamics quasi-statically residualised as a function of flight dynamic
states and control inputs. This implies that when “ re-implementing” aeroelastic
dynamics, only dynamic increments – without the quasi-steady contribution– need
to be added. Therefore, as a proper name for this approach Residualised Model
(RM) method is proposed.
As presented in R ef. [140] the method has two limitations: (1) the presented
aeroelastic model structure does not include aerodynamic lag states resulting
from the aforementioned R ational Function Approximation (R FA) of the unsteady
aerodynamics, and (2) the aeroelastic model is treated in its state space form. The
linear nature of the latter limits validity of the integrated model. For example,
the dynamic pressure in the AE model remains fixed and inertial coupling ef-
fects are not easily included. Therefore, in this chapter the model integration
will first be discussed at the level of aerodynamic models and the equations of
motion, facilitating future incorporation of detailed interaction effects. At the
end the application to aeroelastic state space models in line with R ef. [140] will
be discussed. Consequently, the chapter is structured as follows. In Sections 3.1
and 3.2 some relevant basics of flight dynamics and aeroelastic models will be
reviewed. In Section 3.3 the integration of equations of motion and aerodynamic
3.1 Review of aircraft fl ight dynamics models 57
model components will be discussed. In Section 3.5 the application to state space
models is described, including a spin-off result for correcting rigid body modes
in aeroelastic state space models. Application examples are given in Sections 3.4
and 3.6. Finally, conclusions are drawn in Section 3.7.
where m and Ib are the aircraft mass and inertia tensor respectively, Vb and Ωb are
translational and rotational velocities along the body axes. The components of
the gravity acceleration vector Gv are transformed from a vehicle-carried vertical
(Fv ) into body axes (Fb ) using the cosine matrix Tbv . This matrix is a function of
T
the Euler attitude angles Θ = [φ , θ , ψ] . The equations are driven by external
aerodynamic (FAb , MAb ) and other (Fother , Mother , like thrust, gear) forces and
moments respectively. For notational simplicity it is here assumed that an earth-
fixed axis system Fe may be considered as an inertial reference. The vehicle
carried frame Fv is parallel to Fe , but its origin moves with the aircraft centre of
gravity (CoG).
Kinematic relations between Euler angular rates and body rates are given by:
h iT
Θ̇T = φ˙ , θ˙, ψ̇ = Tφ b (φ , θ ) Ωb (3.3)
where Tbv is the rotation matrix from Fv into Fb and Re is the position vector of
the aircraft CoG in Fe .
58 Integration of rigid and aeroelastic aircraft models
where q̄ is the dynamic pressure, S is the wing reference area, c̄ is a reference length
(e.g. mean aerodynamic chord, or half wing span), CX , CY , CZ are dimensionless
total force coefficients in the direction of the aerodynamic reference system Fa
(e.g. wind or stability axes), and likewise, Cl , Cm , Cn are the moment coefficients.
The origin of the aerodynamic reference system Fa is the Aerodynamic Reference
P oint (ARP ). The vector rar p is the position vector of the ARP with respect to
the CoG and Tba transforms the forces and moments from Fa into Fb .
The aerodynamic coefficients are usually computed from polynomials with the
aerodynamic flight state (Vtas , α, β , ...), Mach number M , body angular rates,
control surface deflection, etc. as variable parameters. The polynomial coefficients
are obtained from look-up tables, as a function of e.g. the angle of attack and
Mach number. The application rule for CZ may look something like:
qc̄ α̇c̄
CZ = CZ0 (α, M ) + CZq (α, M ) + CZU U + CZU̇ U̇ + CZα̇ (α, M ) + ... (3 .6 )
Vt a s Vt a s
where q and U are pitch rate and control deflections respectively. Wind and
turbulence influences (VW ) are taken into account via the aerodynamic flight state
variables, which are airflow referenced. The coefficients either implicitly include
the influence of quasi-steady deformation of the airframe (e.g. when tuned to
match flight test data), or coefficients like CZ0 and CZU are explicitly corrected
using so-called flex factors. These factors in turn may have been formulated as a
function of vertical load factor (nz ), dynamic pressure, etc [36].
The dependency of (3.6) on rates of angle of attack (α̇) and control deflections
(U̇ ) represents unsteady flow effects. The most important is that changes in the
down wash angle from the wing and wind disturbances are felt with a delay at
the horiz ontal tail plane, see for example Ref. [36].
Finally, in this chapter the state vector of the flight dynamics model will be called
xR :
zs Fs
w Gv
xb
A R P
C oG
ra rp
z
Vta s Fb
xs
zb
the remainder of this chapter. If necessary, the rigid modes are modified as follows:
(1) Translational modes are corrected to involve unit translations (1 m), and,
in case the corresponding generalised co-ordinates ηx , ηy , ηz are one, the air-
frame moves forward, downward, and to the right respectively;
(2) Rotational modes are corrected to involve unit rotations (1 rad) around the
CoG, and, in case the corresponding generalised co-ordinates ηφ , ηθ , ηψ are one,
the airframe rolls right-wing down, pitches nose-up, and yaws nose to the right
respectively.
In this way, positive entries of ηR make the aircraft move in the directions of
corresponding axes of Fb (Figure 3.1).
Substitution of (3.9) into the linear structural equations of motion (3.8) results
in the following right-generalised form:
ηR
{ −ω 2 [MgR , MgE ] +j ω [BgR , BgE ] + [KgR , KgE ]} = FgA + Fgother
| {z } | {z } | {z } ηE
Mgh Bgh Kgh
(3.10)
where Mgh , Bgh , Kgh are the half-generalised mass, damping and stiffness ma-
trix respectively, and have been partitioned into columns that apply to rigid and
flexible mode shape co-ordinates. Damping is usually assigned per mode, based
on estimated or experimental values. It is common practice to transform the
equations from structural into body axes, giving rise to linearised Euler and grav-
ity terms in the otherwise zero-valued partitions BgR and KgR respectively. The
right-generalised form is important for loads analysis, since it describes the dis-
tribution of the various forces over the airframe. The generalised co-ordinates
are solved from the modal differential equation as obtained by left-multiplication
with ΦTgh (partitioned as in (3.9)):
MRR 0 BRR 0 KRR 0 ηR
−ω 2 +j ω + =
0 MEE 0 BEE 0 KEE
ηE
} (3 .1 1 )
| {z } | {z } | {z
" # Mhh Bhh Khh
ΦT
gR
(FgA + Fgother )
ΦT
gE
The matrices MEE , BEE an d KEE are d iag o n al d u e to o rtho g o n ality o f the mo d es
w ith resp ect to the mass an d stiff n ess matrices Mg g , Kg g . F o r the same reaso n ,
the o ff -d iag o n al b lo ck s in Mh h an d Kh h are z ero . D u e to the ad ap ted rig id mo d e
shap es the p artitio n MR R has the to tal aircraft mass an d in ertia ten so r o n its
d iag o n al: MR R = d iag (m I 3 , Ib ).
3.2 Review of aeroelastic aircraft models 61
The matrices Qgh (k, M ) and QgX (k, M ) are unsteady aerodynamic loads on the
grid points, induced by airframe motion and deformation, and control defl ections
ηX 1 respectively. For notational brevity, gust inputs are considered to be in-
cluded in ηX . These loads have been computed for a limited number of reduced
freq uencies k = ω¯ c / V ta s , and at a given M ach number M using the Doublet L at-
tice method. For later use in the model integration process it is important that
ηR is body referenced (see remark below (3.10)). This has some implications on
QgR (k, M ), as explained in S ection 3.A.
In order to allow for time simulations, the aerodynamic loads are fi rst approxi-
mated in the L aplace domain using a rational function approximation (R FA). This
involves least-sq uares fi tting of a transfer function form as proposed in e.g. R efs.
[5 7 , 109 , 133] to available matrices Qgh (ki ) and QgX (ki ) (with i = 1, 2, · · · , n k )2 .
For later use it will be most helpful to perform the approximation for QgR and
QgE either separately, or to partition the R FA result afterwards. This is explained
in S ection 3.B . The aerodynamic loads eventually end up in the form3 :
2
QgR (s) ≈ A1g R Vtc̄a s s + A2g R Vc̄2 s2
ta s
+ DgR (sI − RR Vtc̄a s )−1 ER s
2
QgE (s) ≈ A0g E + A1g E Vtc̄a s s + A2g E Vc̄2 s2 (3.13)
ta s
+ DgE (sI − RE Vtc̄a s )−1 EE s
QgX (s) ≈ A0g X + A1g X c̄
Vt a s s + DgX (sI − RX Vtc̄a s )−1 EX s
N ote that A0g R should be zero, since attitude angles and position physically do
not induce aerodynamic forces (see S ection 3.A). Also, A2g X has been left out from
the approximation here, since second derivatives of control and wind inputs are
not always available from the actuator or wind models respectively. Depending
on the applied method, the diagonal of R.. may contain a single set of so-called
lag-poles and a full E -matrix [5 7 ], or the same set of poles repeated as many times
as the column dimension of Qg... [109 , 133].
1 The apparently strange notation η
X originates from the aeroelastic ity d om ain: here it
is c om m on prac tic e to c onsid er c ontrol su rfac e d efl ec tions ju st as a spec ial m od e of airfram e
d eform ation.
2 R ec ently, a far m ore effi c ient approach has b een d ev eloped , inv olv ing a single R F A only, see
R ef. [5 9 ].
3 The approx im ation is v alid for the M ach nu m b er M at w hich Q
gh / gX (k , M ) w as c om pu ted .
This d epend enc y is left ou t for notational sim plic ity.
62 Integration of rigid and aeroelastic aircraft models
Note that since A0gR = 0 (eq. (3.13)) A0RR and A0ER will be zero as well.
Finally, for use in the following section the right most terms in (3.13) are realised
in state space form as follows:
ẋLE = RE Vtas
c̄ xLE + EE η̇E so that: QgElag = DgE xLE (3.15)
where xLE are so-called lag states. The realisations of QgR and QgX are similar.
same flight condition, aircraft confi guration, weight and balance, etc.
3.3 Integration of fl ight dynamics and aeroelastic models 63
(3.16)
where Q̃ER , Q̃EX and Q̃EE are time-domain versions of generalised aerodynamic
forces as in (3.14). The terms Q̃REt and Q̃REr are deformation-induced forces
and moments affecting translational (subscript t) and rotational (subscript r)
dynamics of the aircraft. These will be discussed in the following sub-section.
Finally, QEother = ΦTgE Fgother .
Note that the equations only couple via external forces and moments. This is
achieved by the choice of mean body axes, which attitude and translation describe
the mean motion of the airframe, and by making the additional assumptions that
the inertia tensor Ib is constant and that deformation and deformation rates are
collinear [137]. In case these assumptions are not valid, inertial coupling terms
must be included as a.o. derived by Buttrill et al. [21] and Reschke [106].
Mean body axes are located such that relative momentum due to deformation of
the airframe is zero at all times. This nonlinear constraint is diffi cult to satisfy.
H owever, in case free-free modal analysis has been performed, a body reference
system with its origin attached to the momentary C oG and with its axes in the
directions of the translational rigid mode shapes, automatically fulfils so-called
“ practical” or linearised mean axis constraints [22]. The reason is that these
practical constraints are basically equivalent to orthogonality of flexible w.r.t.
rigid modes. This is the case in the models as described in Section 3.2, causing
the off-diagonal partitions of Mhh and Khh in Eq. (3.11) to be zero. The rigid
modes were re-oriented in the directions of the body axes Fb , without affecting
orthogonality with respect to flexible modes. As a result, the body axes Fb as
used in the FD model may simply be regarded as mean axes, and the state vector
xR of (3.1) describes the mean over-all motion of the aircraft. Furthermore, xRb
and ηR may be related as follows:
δVb δ V̇b
η̇R = δxRb = η̈R = δ ẋRb = (3.17)
δΩb δ Ω̇b
where δ means a deviation from the initial condition. Similarly, control and wind
inputs and external forces in both models are related as:
˙ T δFother
ηX = δU η̇X = δ U QRother = ΦgR Fgother = (3.18 )
δMother
W ind inputs are not included explicitly here, but these are handled exactly the
same way as ηX . AE models may have many more wind inputs than FD models,
allowing wind disturbances to hit (groups of) DLM panels at different delayed
time instances [56].
64 Integration of rigid and aeroelastic aircraft models
Vtas (3.19)
+ DER (sI − c̄ RR )
−1
ER s ]ηR
c̄ Vtas
+ [A0EX + A1EX Vtas s + DEX (sI − c̄ RX )
−1
EX s ]ηX }
by:
c̄ c̄2 2
QRE (s)ηE = A0RE ηE + A1RE sηE + A2RE 2 s ηE (3.22)
Vtas Vtas
Vtas
+ DRE (sI − RE )−1 EE sηE
c̄
Subtracting the effect of ηE0 the coupling terms in (3.16) are now formulated as
follows:
Q̃REt
Q̃RE =
Q̃REr
c̄ c̄2
= q̄ A0RE (ηE − ηE0 ) + A1RE η̇E + A2RE 2 η̈E + DRE xLE
Vtas Vtas
Here xLE are lag states resulting from state-space realisation of the unsteady term
in (3.22) using (3.15).
At this point it may have become clear why it is helpful to have elastic dynamics to
drive a separate set of lag states xLE . The coupling term DRE xLE now involves
unsteady flow effects as caused by structural dynamics only. U nsteady effects
induced by rigid motion and control deflections are namely already accounted for
in MAb and FAb in the FD model, for example using the α̇ and β̇ derivatives in
(3.6). Furthermore, the computation of ηE0 in (3.20) may use the very same lag
states as applied for Q̃ER and Q̃EX respectively.
The dependency of the unsteady aerodynamics forces on the Mach number has
been ignored in this section. In nonlinear simulation however, this effect should
be accounted for. As already indicated in Equation (3.12), the aerodynamic
forces are computed over a grid of Mach numbers and reduced frequencies. The
dependence on the latter is accounted for by the Rational Function Approximation
at a given Mach number (Eqn. (3.13)). The recommended approach is to develop
interpolation schemes between Rational Function Approximations of Qgh (k, M )
and QgX (k, M ) at various values of M .
A summary of the integrated model equations is presented in Table 3.1. The
very same principle as sketched above may be applied to augment flight loads
models with aeroelastic dynamics. To this end the (elastic part of) the AE model
in right-generalised form as in (3.10) and (3.13) is required. The aerodynamic
contribution Q̃gE is similar to (3.23).
Equations of motion:
n o
m V̇b + Ωb × Vb − Tbv (φ , θ , ψ)Gv = F Ab +Q̃REt +Fother
Ib Ω̇b + Ωb × Ib Ωb = MAb +Q̃REr +Mother
c̄
Q̃EX = q̄ A0EX ηX + A1EX η̇X + DEX xLX
Vt a s
n o
ηE 0 = (KEE − q̄A0EE )−1 Q̃ER + Q̃EX + QEother
L ag state s:
Vt a s
ẋLR = RR xLR + ER η̇R
c̄
Vt a s
ẋLE = RE xLE + EE η̇E
c̄
Vt a s
ẋLX = RX xLX + EX η̇X
c̄
N ote: R.. and E.. are usually sparsely occupied, which should be exploited in the imple-
mentation.
O th e r re lations:
δFother
ηX = δU η̇X = δ U˙ QRother = ΦT
gR Fgother = δMother
• A ltitude: 1 5 0 0 m abov e M S L ;
• M ach number: 0 .5 0 .
Elevator input
−5
δE (deg)
−10
−15
0 2 4 6 8 10 12 14 16 18 20
Pitch rate
10
qb (deg/s)
Flexible AC
0 Rigid AC
−10
0 2 4 6 8 10 12 14 16 18 20
Angle of attack
20
α (deg)
10
0
0 2 4 6 8 10 12 14 16 18 20
Load factor at CoG
2
n (−)
1
z
0
0 2 4 6 8 10 12 14 16 18 20
time (s)
Figure 3.2: Aircraft responses due to elevator input: flight mechanical parameters
0
0 2 4 6 8 10 12 14 16 18 20
0.2
q (−)
0.1
−0.1
0 2 4 6 8 10 12 14 16 18 20
Generalised co−ordinate 1
0.3
η1
0.2
η10
η1 (−)
0.1
−0.1
0 2 4 6 8 10 12 14 16 18 20
time (s)
0
0 2 4 6 8 10 12 14 16 18 20
Pitch rate
5
q (deg/s)
Flexible AC
0 Rigid AC
b
−5
0 2 4 6 8 10 12 14 16 18 20
Angle of attack
10
α (deg)
0
0 2 4 6 8 10 12 14 16 18 20
Load factor at CoG
1.5
n (−)
1
z
0.5
0 2 4 6 8 10 12 14 16 18 20
time (s)
Figure 3.4: Aircraft responses due to control vane input: flight mechanical pa-
rameters
0
0 2 4 6 8 10 12 14 16 18 20
0.1
q (−)
0.05
−0.05
0 2 4 6 8 10 12 14 16 18 20
Generalised co−ordinate 1
0.2
η1
0.15
η10
η1 (−)
0.1
0.05
0
0 2 4 6 8 10 12 14 16 18 20
time (s)
Figure 3.5 : Aircraft responses due to control vane input: structural dynamics
70 Integration of rigid and aeroelastic aircraft models
Again, it has to be made sure that elastic modes use a separate set of lag states. If
necessary the matrices are easily adapted to achieve this. The state space system
is completed by bringing all matrices to the right hand side. Having explained
the structure of the system, in the following a simplified notation will be used:
The RM method can now be applied the same way as in Section 3.3. First ηE0 is
computed from the third row by setting η̈E = η̇E = 0:
ηE0 = −A−1
EE0 {AER1 η̇R + AELR xLR + AELX xLX + (3.26 )
BEX0 ηX + BEX1 η̇X + BEQ QEother }
The aeroelastic dynamics are described by the lower part of (3.25):
AEE1 AEE0 AELR AELE AELX
η̈E η̇E
η̇E I 0 0 0 0 ηE
ẋLR
=
0 0 R̂R 0 0 xL
R
(3.27)
ẋLE EE 0 0 R̂E 0 xLE
ẋLX 0 0 0 0 R̂X xLX
BE 1 BE0 BEQ AER1
0 0 0 0
η̇X
+ 0 0 + 0 QEother + ER δ xRb
η
X
0 0 0 0
EX 0 0 0
where δ xRb from the FD model, instead of η̇R is now used. The flexible to rigid
coupling then becomes a simple output equation of the state space system (3.27 ):
η̇E
ηE
yRE = ARE1 ARE0 ARE0 A−1
EE0 AELR AELE ARE0 A−1
EE0 AELX x LR
x
LE
xLX
η̇X
+ ARE0 A−1
EE0 BEX1 BEX0
ηX
yRE = MRR
−1
Q̃RE
N ote that there is no need to compute ηE0 explicitly. In fact, provided that the
rigid degrees of freedom, as determined by ηR match the flight mechanical ones,
as described by δ xRb (see Section 3.2), the AE model only needs to be partitioned
as in (3.25). Obtaining the equations (3.27 ) and (3.28 ) is then straight forward.
. U
Nonlinear Flight
.
C om p u tation of:
xR , x R U
- L oad s M ec hanic s M od el
- A c c elerations (inc l. s tatic -flex ib ility )
- S ens or s ignals xRb
- xRb 0
xRb
L inear
A eroelas tic U0
E la s tic a n d M od el
.
la g s ta tes U - U0
.
U
η̈R BR1 − ARE 0 A−1E E 0 BE X0 BR0 − ARE 0 A−1 E E 0 BE X0
η̇R
= 0 0
η̇X
ẋLR 0 0 ηX
ẋLX EX 0
BRg ARR1 − ARE 0 A−1 E E 0 AE R1 ARR0
0 I 0
+ 0 Fgo th e r +
(3 .2 9 )
ER 0
0 0 0
ARLR − ARE 0 A−1E E 0 AE LR ARLX − ARE 0 A−1 E E 0 AE LX η̇R
0 0 ηR
R̂R 0 xLR
0 R̂X xLX
(3.30)
w here the sparsely populated matrices Akin1 and Akin0 describe linearised k ine-
matic relations. P rovided that (3.1 8 ) holds, comparison betw een (3.29) and (3.30)
then leads to the follow ing corrections in (3.25):
So that eventually, the corrected aeroelastic state space system look s lik e:
A∗RR1 AF D ARE1 ARE0 A∗RLR ARLE A∗RLX
δ ẋ
Rg
0 δxRg
δ ẋRe Ak i n 1 Ak i n 0 0 0 0 0 0 δxR
e
0
η̈E
AER1 AEE1 AEE0 AELR AELE AELX η̇E
0 0 0 0 0 0
η̇E
= I ηE
ẋLR
ER 0 0 0 R̂R 0 0 xL
R
ẋLE 0 0 EE 0 0 R̂E 0 xL E
ẋLX 0 0 0 0 0 0 R̂X xL X
BR
∗
1
BR
∗
0
BF D other BREQ
∗
0 0
0 0
BE1 BE 0
η̇X
0 BQ E
QRother
+ 0 0
ηX +
0 0 (3 .3 1 )
QEother
0 0
0 0
0 0 0 0
EX 0 0 0
T his model is w ell suited for aeroservoelastic analysis, since the rigid states di-
rectly match the flight dynamics ones.
clear that the eigenvalues of the AE model, associated with the flight dynamics
modes, have moved to those of the linearised FD model (’o’ and ’∆’ markers
match), as expected. As a consequence, the phugoid mode (right) is now correctly
represented by the integrated model, whereas in the AE model it was only present
in the form of two real poles very close to the origin. The main reason is that
drag is not accounted for in the AE model.
The correction of the AE model becomes even more apparent from the example
frequency response from elevator to pitch rate at a structural point near the
cockpit (Figure 3.9). The left most peaks of the AE and FD models clearly do
not match. From Figure 3.8 it can be seen that the underlying modes are the
short period and phugoid. As noted before, an important reason is the absence of
drag in the AE model. The integrated model (Eqn. (3.31)) matches both peaks
of the FD model (Eqn. (3.30)) and the structural dynamic peaks of the original
AE model (Eqn. (3.25)). It will be clear that the corrected AE model will be
more reliable for use in for example the design of structural or flight control law
functions.
15
Imag
10
0.06
1
Imag
Imag
0.04
0.5
0.02
0
0
−0.5 −0.02
−1 −0.5 0 0.5 −0.02 −0.01 0 0.01 0.02
Real Real
0
10
mag(q)
−1
10
−2
10
−3
10 −2 −1 0 1 2 3
10 10 10 10 10 10
Frequency (rad/s)
Figure 3.9 : Frequency responses of the linear models: elevator to pitch rate in
cockpit
76 Integration of rigid and aeroelastic aircraft models
3.7 Conclusions
In this chapter a method for integration of available flight dynamics and aeroe-
lastic aircraft models has been proposed. The most important contribution has
been in the combination of the aerodynamics models, whereby only dynamic incre-
ments are added to the otherwise unchanged flight dynamics equations of motion.
Since the underlying assumption is that flight dynamics models include statically
residualised aeroelastic effects, the approach is called R esidualised M odel method.
O riginally proposed in R ef. [140], the main contribution of this chapter is in the
handling of unsteady aerodynamic lag states. It is hereby important to make
sure that no rigid dynamics unintentionally couple into the FD model via these
states. As a secondary contribution, the integration of models has been discussed
for equations of motion and aerodynamics separately, allowing more detailed (e.g.
inertial) coupling effects to be included later on. The approach is directly appli-
cable to modelling for loads analysis.
It is important to remind that the validity of the integrated model is limited to the
scope of its components. For example, the AE aerodynamic model is more or less
only valid around the (subsonic) M ach number it has been computed at. Dynamic
pressure variation is taken into account in the AE model, so that some form of
interpolation between R FA matrices derived for a grid of M ach numbers will do.
O ther limitations are that the DL M assumes that the angle of attack remains
small. Since modal analysis is performed for a specific aircraft configuration and
loading, the aircraft mass and C oG location should stay approximately constant
during simulation.
From the chapter it may have become clear that aeroelastic models may involve
tremendous amounts of data. For this reason, a lot of effort has been and will be
invested in more effi ciently and transparently handling of this data, as well as the
pre-processing for model use. This has resulted in the Dynamic Aircraft M odel
Integration Process (DAM IP), described in R ef. [59].
For now, the idea behind the model has been to leave the FM model unchanged as
far as possible, assuming that the FD model has been matched with experimental
data and that the quasi-flexible influences in the FD model are equivalent to
residualised aeroelastic dynamics. A next step is to use aeroelastic methods and
models to improve FD models in other aspects. This requires model integration
earlier on in the development process, before validation work has started.
3.7 Conclusions 77
Qgh (k, M ) = [QgR (k, M ), QgE (k, M )] = AIC gg (k, M ) [ΦgR , ΦgE ] (3.32)
H owever, both the pitch (φy ) and yaw (φz ) mode shapes have to be corrected,
such that only pitch and yaw effects, but no angle of attack respectively side
slip arise. These are namely already accounted for by the heave (φz ) and lateral
displacement (φy ) mode shapes. In the following it is important to remember the
adopted forms of the rigid mode shapes as described in Section 3.2.
The pitch mode shape should be combined with the heave one, such that the heave
velocity in the CoG (ARP), and thus the angle of attack, equals z ero. In case of
oscillatory pitching with magnification of the mode shape vector with ηθ (ω), the
local angle at the CoG equals αp itc h (ω) = φy0 ηθ (ω) = ηθ (ω), with φy0 = 1 rad
the corresponding angle in the mode shape vector. For notational brevity, it is
here assumed that the static angle of attack equals z ero (if this is not the case,
the derivation is very similar). The angle of attack due to heaving equals:
Abstract
Object-oriented modelling allows for efficient construction of multi-
discip linary sy stem models in a p h y sically -oriented way . A s a uniq ue
feature, th e modelling ap p roach allows for automatic generation of regu-
lar, static, as well as inv erse simulation models. Inv erse models form th e
basis of v arious commonly used nonlinear controller sy nth esis meth ods,
such as N onlinear D y namic Inv ersion. T h e resulting multi-v ariable con-
trol laws are easily tuned to meet p erformance sp ecifi cations and av oid th e
need for gain sch eduling. In combination with automatic inv ersion, th ese
sy nth esis meth ods are ideally suited for control law rap id-p rototy p ing, al-
lowing ex p erimentation with command v ariables, control selection and al-
location, etc. in v ery sh ort automated design cy cles. A fter selection of th e
fi nal arch itecture, th e control laws may be dev elop ed furth er in a detailed
design stage. T h is is demonstrated on a nonlinear control p roblem for an
aircraft manoeuv ring on th e ground.
C o n tributio n s
• A general p rocedure for automatic generation of N onlinear D y namic
Inv ersion fl igh t control laws from a sy mbolic aircraft model;
• A N onlinear D y namic Inv ersion-based design p rocedure for rap id
p rototy p ing of fl igh t control laws in early design stages of a new
aircraft, or for rap id-p rototy p ing of new ty p es of fl igh t control law
functions.
P ublicatio n
G ertjan L ooy e: Rapid prototyping using inversion-based control and
object-oriented modelling. In: N onlinear A naly sis and S y nth esis T ech -
niq ues for A ircraft C ontrol, series L ecture N otes in C ontrol and Informa-
tion S ciences, V ol. 3 6 5 , S p ringer V erlag, B erlin, A ugust 2 0 0 7 .
Rapid prototyping using inversion-based control 83
• quick re-design in case of model data updates (as is frequently the case in
the aircraft pre-design phase);
• testing of individual control law functions in the detailed design phase within
or around a preliminary, but fully functional control system.
Since synthesis techniques like Feedback Linearisation already have proved their
value in many applications, these control laws may be naturally developed further
in the detailed design phase, once key decisions like control variable selection
and control allocation have been made, and the aircraft configuration has been
finalised.
In this chapter the above approach is described and demonstrated on an aircraft-
on-ground (i.e., taxiing, roll-out, and take-off run) nonlinear control problem. In
Section 4.1 object-oriented modelling of flight dynamics is discussed. Sections 4.2
and 4.3 describe the generation of simulation and inverse models, as well as how
the latter may be applied within various control law structures. Section 4.4 de-
scribes the proposed rapid-prototyping design steps. Section 4.5 describes their
application to lateral-directional ground control laws. Conclusions are drawn in
Section 4.6.
w here Fyext and Mzext are the ex ternal force and moment along the body yb and
zb ax es respectiv ely. F or both w heels the eq uation for the lateral ty re force has the
follow ing structure:
class Wheel. This class is then instantiated as a rear and front w heel in the m odel by
setting ap p rop riate v alues for Gtyre , xw h eel , and θs teer (for the rear w heel θs teer = 0,
for the front w heel, θs teer = θN W ).
The connectors contain tw o so-called fl ow v ariables (Mz and Fy ) and tw o across
v ariables: rb and vb (in p ractice, inertial p osition and the direction cosine m atrix of
the local body ax es are used instead, S ection 2 .2 ). W hen connecting com p onents, fl ow
v ariables are sum m ed to z ero and across v ariables are set equal betw een connectors
inv olv ed. This is autom atically done by the m odel com p iler, as w ill be discussed
further on. A s show n in F ig ure 4.1 , this ap p roach allow s for v ery easy addition of
other com p onents. E v en if the m ass is no long er concentrated in the fram e (i.e.
distributed ov er the w heels as w ell), the m odel structure rem ains the sam e and only
ap p rop riate equations of m otion hav e to be added to the Wheel m odel class.
Figure 4.2: Structure of the aircraft-on-ground model, along side the Flight Dy-
namics Library top level structure (left).
available in the two connectors (top: body reference frame, below: NED refer-
ence frame). Attitude descriptions may be based on quaternions or Euler angles,
and position integration may be based on a flat, round, or elliptic Earth.
The airframe object basically describes the mechanical equations of motion. In
case of the on-ground model, the airframe is assumed to be a rigid-body. H owever,
the airframe may be flexible as well (Chapter 2), or may be constructed from the
Modelica multi-body systems (MBS) library. Connection between the airframe
and kinematics objects (see Figure 4.2) cause the reference systems in both con-
nectors merge, i.e. from then on the airframe is moving freely with respect to the
inertial reference, with its kinematics described in the corresponding object. The
airframe object has a second connector on top, intended for interconnection of for
example external force model components, sensor models, etc. Besides kinematic
variables, each connector also describes (generalised) forces and moments along
the local reference systems axes, declared as flow variables, see Section 2.2.
The airframe equations of motion are primarily driven by aerodynamic, propul-
sion, and gear forces and moments. These are computed in corresponding model
components in Figure 4.2. These components are aircraft-specific, in this case
containing the neural-network based model described in Ref. [48]. Computation
of key variables like the angle of attack, side slip, true airspeed, etc. is inherited
from an aerodynamics base class. Local mean wind and turbulence are obtained
from the localW ind object.
Besides the airframe, each component is described in its own local reference frame.
An attachment object, as for example between an engine and the airframe models,
transforms kinematics and forces and moments between its connectors. In this
case of a rigid attachment, relative positions and attitudes may be entered as
parameters. In case of a flexible airframe it is suffi cient to enter the grid point
number on the structural model. The attached components then automatically
move and rotate with the local structure point.
The actu ation sy stem component in Figure 4.2 describes actuators and hydraulic
/ electric systems. These may be constructed from hydraulics and electronics
libraries (see for example [11]), but for the aircraft-on-ground model, only the
co-ordination of control surface movements is described.
Finally, the thin bar at the top of Figure 4.2 represents a so-called data bus.
This bus includes signals that one would typically find on avionics buses in the
aircraft, like the readings of all sensors, command signals to engine and control
surface actuators, gear status, etc. For this reason, the sensor, actuator, and
engine models have been attached to the bus object. The bus is also accessible
from outside and allows direct connection to elements from the Modelica block
diagram library. This enables a control system composed using this library to
easily communicate with the aircraft components.
L anding g ears
Of course, the most interesting aspect of the aircraft-on-ground model is the land-
ing gear. The physical equations are provided in Refs. [48, 28]. Figure 4.3 shows
the gear constructed as a simple multi-body system. Most important is the gear
90 Rapid prototyping using inversion-based control
compression, which determines internal gear load, which in turn heavily influences
tyre forces. The gear model uses the terrain model to the right in Figure 4.2, so
that the compression of each gear results from location and orientation of the
airframe, and the local terrain elevation above the Earth ellipsoid as defined in
the World Geodetic System 1984 (WGS84 [7]). The principle of computation is
illustrated in Figure 4.4. The centre line of the gear in its uncompressed position
is extended to the ground:
T
Rterrain = Rg ear + T0,g ear [0, 0, lg ear ] (4.6)
h = fW G S 8 4 (Rterrain ) (4.7)
hterrain = fterrain (Rterrain ) (4.8)
0 = h − hterrain (constraint) (4.9)
whereby Rg ear is the inertial position of a fixed reference point on the gear (in
this case, the bottom of the unloaded gear), Rterrain is the inertial position of the
crossing between the gear extension and the ground, lg ear is the length from the
gear reference point to the ground. In case lg ear < 0 this variable is the amount
of compression (tyre compression is neglected, see Ref. [48]). The transformation
matrix from gear body into inertial axes is T0,g ear . The geodetic height h (in
WGS84 co-ordinates) at Rterrain is computed from the function fW G S 8 4 , which
is available in the world model. The terrain elevation at Rterrain is hterrain ,
computed from the terrain model function fterrain (in the terrain model). By
applying the constraint (4.9), lg ear can be computed. The equations have been
implemented as such in the G round R eference object in Figure 4.3. The model
compiler will automatically build in a numerical nonlinear equation solver to solve
for lg ear .
Here X(t) ∈ IR nX are variables of which time derivatives Ẋ(t) occur in the
model, and w(t) ∈ IR nw contains any other variables, like local ones, inputs, and
outputs. The vector p ∈ IR np contains any parameters that may be set prior to,
but remain constant during, simulation. In the sequel of this chapter, the time
(t) argument will be omitted if time dependency is obvious.
Numerical integration algorithms as used in simulation tools require the model
equations to be translated into an algorithm that computes state derivatives ẋ(t)
and the unknown part of w(t) (these are outputs and intermediate variables)
from the state vector x(t) and the known part of w(t) (these are inputs). The
4.2 Translation of object-oriented models 91
Figure 4.3: Landing gear model, constructed from multi-body system components
rn e)
e (a ir b o
a ir fr a m
n g ro u n d )
a ir fr a m e (o
lg e a r
Rg e a r lg e a r
hte rra in hte rra in
Rte rra in
W G S -8 4 e llip s o id
state variables are automatically selected or may be imposed by the user (usually
from X(t)). The algorithm must be provided in the form of computer code, like
C or FORTRAN. After compilation this code may be called by the numerical
integration algorithm.
The way how the equations are solved depends on which variables in w(t) are
known or unknown. This is fixed at the moment the user has specified the model
inputs (u ∈ IR nu ) and outputs (y ∈ IR ny ). Mathematically, the system of equa-
tions (4.10) is then to be translated into the form of an ordinary differential
equation (ODE) in state space form:
If ẋ(t) and y(t) can be solved for given u(t) and p, this equation is a so-called
differential algebraic equation (DAE) of differential algebraic index 1 [97], which
may be time integrated using a dedicated DAE solver. Nowadays powerful sym-
bolic algorithms are available that allow the translation of a physical model into
the form of (4.11) or (4.12) to be performed automatically [31, 32, 99].
In order to simulate the bicycle model, the inputs and outputs need to be selected
first. The input obviously is the nose wheel steering angle, as output the yaw rate is
chosen:
θN W = u (4.13)
y = rb (4.14)
The model compiler will first collect all equations and identify unk nown variables.
4.3 Inverse model generation 93
The collected model equations (4.15) remain the same, only the last two are replaced
with (4.20) and (4.21). The number of unknowns and equations does not change.
H owever, equation (4.20) no longer contains unknowns, since rb is a state variable.
The model compiler will therefore diff erentiate the equation:
ṙb = u̇ (4.22)
Since this requires availability of the derivative of the new input u, the user is requested
to facilitate this. O ne option is to declare u̇ as input, rather than u, or to generate a
diff erentiable u from e.g. a filter with relative degree 1. In this example, the following
filter is added:
ṙc = −1/τu rc + 1/τu ucm d (4.23)
u = rc so that: (4.24)
u̇ = ṙc (4.25)
where τu is the filter time constant, rc is the commanded yaw rate, and ucm d is
the commanded input. The diff erentiated equation (4.22) and the filter add three
equations, but just two unknowns: u̇ and ṙc . O ne solution now is to introduce a
so-called dummy-derivative for u [8 2]: instead of u̇, u0 is used, making u and u0
independent variables:
ṙb = u0 (4.26)
u0 = ṙc (4.27)
The total number of equations now amounts 15, from which 15 unknown variables
can be solved, resulting in the following set of diff erential equations:
ẋ = f (x, ucm d , p) (4.28)
θN W = h(x, ucm d , p) (4.29)
T
where x = [vb , rb , rc ] . The obtained inverse model may be connected with the
original model, as depicted in Figure 4.5. B ecause of (4.26 ), the depicted relation be-
1
us+ 1
1
s
.
ucmd rc u' in v ers e N W rb
co m m a n d bicycle bicycle
filter m o d el (d yn .) m o d el
rc
The selection of τu thus determines the command response behav iour, which is inde-
pendent of the parameters p. In F igure 4 .6 an ex ample response of the configuration
in F igure 4 .5 is shown. To the left the command response of rb perfectly matches
the response of the command filter rc to the step input on ucmd . To the right the
lateral acceleration (ny = − (v̇b + ub rb ) / g, g = 9 .8 1 m/ s2 ) response in the C oG and
the defl ections of θN W are shown for future reference.
0.008 u 0.02
c
(rad)
rb
rc, rb (rad/s)
0.006 r 0.015 −n
y
c
NW
θNW
−ny (−), θ
0.004 0.01
0.002 0.005
0 0
0 2 4 6 8 10 0 2 4 6 8 10
time (s) time (s)
In order to ma k e a comp a rison w ith inv ersion-ba sed controller synth esis meth ods,
th e tra nsla tion for inv erse models is sk etch ed sta rting from (4.11), ra th er th a n
(4.10):
ẋ = f (x, uc , uo , p) (4.31)
ycmd = hcmd (x, p) (4.32 )
T h e inp u ts u h a v e been div ided into uc (a v a ila ble to th e control la w s) a nd uo
(a ny oth er inp u ts, lik e distu rba nces, fl a p setting s, etc.). T h e ou tp u ts y h a v e been
g rou p ed into ycmd (comma nd v a ria bles, to be tra ck ed by th e controller), a nd oth er
ou tp u ts yo (sensor ou tp u ts, oth er v a ria bles for a ssessment, etc.). T h e ou tp u ts yo
a re comp u ted from:
yo = ho (x, u, p) (4.33)
M odel inv ersion inv olv es a ssig ning ycmd a s inp u ts a nd uc a s ou tp u ts. F or now it
is a ssu med th a t th e dimensions of both v a ria bles a re th e sa me a nd, a s a lrea dy
a p p a rent from (4.32 ), do not a lg ebra ica lly dep end on ea ch oth er. A s in th e bicy-
cle ex a mp le a bov e, immedia tely th e p roblem a rises th a t (4.32 ) no long er conta ins
u nk now ns. M a nu a l nonlinea r controller synth esis meth ods lik e F B L , a nd a model
comp iler both a ddress th is p roblem in th e sa me w a y a s in ex a mp le 4.3: by dif-
ferentia ting ea ch of th e indiv idu a l ou tp u t eq u a tions. T h is ca n be described u sing
L ie deriv a tiv es [12 1, 46 ] for th e ith entry a s follow s:
∂ hcmdi (x, p)
ẏcmdi = · f (x, uc , uo , p) = Lf hcmdi (x, p) (4.34)
∂ xT
96 Rapid prototyping using inversion-based control
In case Lf hcmdi (x, p) does not explicitly depend on one or more control inputs,
diff erentiation proceeds:
(r )
i
ycmd i
= Lrfi hcmdi (x, p) (4.35)
where (ri ) is the rith derivative. This procedure is repeated for each of the entries
in ycmd until each of the entries of uc can be solved. If done manually, this
procedure may be quite tedious, especially if relative orders of ycmd are high. In
case of object-oriented modelling, the procedure is performed automatically. The
algorithms by P antelides [99] are used to determine the minimum number of times
each of the equations (4.32) has to be diff erentiated until uc can be solved for.
Eventually, the model diff erential equations can be written in the following form:
where finv arises from f by substitution of uc (in the case that uc cannot be solved
explicitly, a solution is found numerically). The vector ν contains diff erentiated
entries of ycmd :
(rny c ) T
h i
(r1 ) (r2 )
ν = ycmd 1
, ycmd 2
, · · · , ycmd n
(4.38)
y c
The model translator will make the user aware that derivatives of ycmd are ex-
pected as inputs, rather than ycmd directly. These derivatives may then for ex-
ample be generated using command fi lters with relative degrees of r1 , ..., rny c
respectively.
The inversion procedure described above is very similar to the one for synthesis of
Feedback Linearisation control laws [121, 46]. The principal diff erence is that in
these references the diff erential equations depend on the controls uc in an affi ne
way.
In equations (4.36) and (4.37 ) the diff erential equations for x(t) have been re-
tained. In order to make sure the inverse model is stable, finv must be investi-
gated. For this, methods as described in [121, 46] may be used.
S o far, the inverse and forward systems connected in series are still two indepen-
dent entities, each including diff erential equations for nearly the same selection
of state variables. Modelling errors, disturbances, integration errors, etc. will
eventually cause the internal states x in (4.37 ) to deviate from the actual state
variables of the system and worse, the rith derivative of the system output ycmdi
to deviate from the commanded νi . For this reason, the inverse control laws
are usually combined with a feedback controller and inverse model states are ob-
tained from measurement or a reference model. The diff erences between various
inversion-based synthesis methods, like FBL, MFC and IFFC, is mainly in these
aspects. This will be shown for the bicycle model.
4.4 A rapid prototyping design process 97
As can be seen from the example, states are preferably not integrated within the
inverse model itself, but rather obtained from the reference model (MFC) [42], or
from measurement (FBL, N D I). In order to facilitate this, a model compiler can
easily declare states as inputs instead. The model differential equations are then
automatically removed.
.
rc u' in v ers e N W rb
ucm d bicycle bicycle
co m m a n d
rc m o d el (d yn .) + m o d el
filter
K (s )
+ -
In v e rs e fe e d -fo rw a rd
.
rc u' in v ers e N W rb
ucm d bicycle bicycle
referen ce
xc m o d el (s ta t.) + m o d el
m o d el
xc K (s )
x
M o d e l fo llo w in g + -
.
rc u' in v ers e N W rb
ucm d bicycle bicycle
co m m a n d
rc + m o d el (s ta t.) m o d el
filter
K (s ) x
N D I, F B L
+ -
measurements from the real actuator, or sometimes not even of physical origin.
It is common practice to residualise the transfer function to a static gain, since
the bandwidth is usually considerably higher than that of the aircraft dynamics.
Also, it should be kept in mind that model complexity directly influences inverse
control law complexity. For this reason, if complex features can be reasonably
replaced with simplified versions, this should be taken into consideration.
The next step in Figure 4.8 is command variable selection. In most cases this
selection is not based on free choice, since commonality with other aircraft series
is required. In new applications, like manual on-ground control, this section may
not be obvious from the start. The same holds for selection of control effectors
to be used. In case of redundancy, equations or algorithms have to be added
in order to allow the model compiler to appropriately allocate and co-ordinate
control deflections.
The type of nonlinear control law that is generated depends on the way the linear
feedback control law and command filters are implemented (see for example Fig-
ure 4.7). In this chapter, always NDI is used, avoiding the need for gain scheduling
of the linear control law as a function of flight condition and other known param-
4.4 A rapid prototyping design process 99
eters (e.g. landing gear position). In the Flight Dynamics Library some control
structures are available that may be copied to the model and interconnected prior
to inverse model generation. After the inverse model code has been generated,
it may be implemented in the preferred simulation environment with the aircraft
simulation model. The preliminary design may be evaluated in batch or pilot-
in-the-loop simulations. Once the basic configuration has been froz en, detailed
design may start, involving feedback signal synthesis (estimation of all states used
in the inverse model equations), tuning of free controller parameters, robustness
assessment, etc. In this phase also the coding must be reviewed. For example,
variables computed from environment models are to be replaced with measured
ones, iterative equation solving should be prevented, etc. An application example
of the rapid-prototyping process up to manned simulations is described in [123].
Chapter 5 of this thesis describes a detailed design for a (flight tested) automatic
landing system, with emphasis on robustness aspects.
.
C onstru ct aircraft m od e l
SSelection
e le ction of com
command
m and vvariables
ariab le s (ycmc m d )
Ad d line ar controlle r /
com m and filte rs (from lib rary )
Working design
no
ok
W ork ing p rototy p e for yes
oth e r d e p artm e nts
D e taile d d e sig n
.
Figure 4.8: Flight control law design process from rapid-prototyping to detailed
design
T he b asic decisions in Figu re 4 .8 req u ire physical insight b y the designer. In the
fi rst place, selected control eff ectors shou ld actu ally b e su itab le to perform the
track ing of command v ariab les. For ex ample, for roll rate track ing control eff ectors
shou ld b e u sed that primarily generate moments arou nd the aircraft longitu dinal
ax is. A lso, when selecting the lateral load factor as a command v ariab le, the
100 Rapid prototyping using inversion-based control
designer should be aware that the rudder generates a yawing moment, as well as
a small side force, reducing the relative degree (to be introduced in C hapter 5 ) of
the input-output relation to z ero. The model compiler will exploit the small side
force when generating inverse model equations. Although tracking performance
may look good at first sight, internal dynamics will be unstable, since (at least
in the C oG ) the lateral acceleration response to rudder input is non-minimum
phase2 . In that case, the designer has to adapt the aerodynamic model to make
sure the rudder no longer infl uences side force, or the command variable selection
must be reviewed. S imilar practical issues are discussed in R ef. [1 2 3 ].
θN W = u
y = −ny = ( v̇b + ub rb ) / g (4.3 9 )
S ince βN W depends on th e control eff ector θN W , inversion may be done w ith out dif-
ferentiation of th e eq uation. F igure 4 .9 sh ow s th e time responses to a step command
on nyc . T o th e left it appears th at ny is perfectly follow ing its command. T o th e
righ t, th e response of rb and θN W are sh ow n. It immediately becomes clear th at th e
internal dynamics of th e combined system are badly damped. T h e reason is q uite
obvious and could h ave been th ough t of in advance. B eing positioned at th e front of
th e aircraft, th e nose w h eel steering is primarily intended to generate yaw ing moments
around th e vertical ax is to initiate and to maintain a turn. T h e lateral force is neces-
sary to ach ieve th is, but at th e same time infl uences th e total lateral force balance.
T h e inverse controller is just using th is eff ect to ach ieve its tracking task, th ereby
generating large yaw ing moments th at make th e yaw response go w ild. O ne solution
in th is case is to ch ange th e command variable (e.g. ny ≈ −ub rb / g ), as is depicted in
F igure 4 .1 0 . N ote th at a fi rst order command fi lter is req uired and th at th e response
of course closely resembles F igure 4 .6 . T h e direct feed th rough of th e lateral force
generated by θN W can be seen in th e ny response to th e left. In th e mean time, th e
yaw rate increases, taking over th e main eff ect on ny due to centrifugal acceleration.
(rad)
0.008 0.01
−n , −n (−)
−ny
NW
c
y
c
0.006 0.005
r (rad/s), θ
−ny
y
0.004 0
b
0.002 −0.005
0 −0.01
0 2 4 6 8 10 0 2 4 6 8 10
time (s) time (s)
Figure 4.9: Example time response of the IFFC bicycle model with ny as com-
mand variable
Lateral acceleration −3
x 10 Yaw rate, NWS input
0.01 5
rb
0.008 −n 4
rb (rad/s), θNW (rad)
y θNW
c
−ny
0.004 2
0.002 1
0 0
0 2 4 6 8 10 0 2 4 6 8 10
time (s) time (s)
Figure 4.1 0 : Example time response of the IFFC bicycle model with approximate
ny as command variable
Figure 4.11: Generation of simulation code for the aircraft on ground model.
N ote that inputs and outputs match those in the Simulink environment and are
inserted into and taken from the bus via the avionics object.
specifies which entries of x, ẋ, y and u are known or unknown (making sure the
numbers of equations and unknowns fit) and calls a nonlinear equation solver to
find the trim settings [72]. For the aircraft-on-ground model the latter version was
used, allowing for accurate computation of equilibrium conditions on the ground
as well as in the air.
The preliminary design of on-ground control laws will be discussed along the lines
of Figure 4.8. The first step involves composition of an appropriate model for
inversion. The following changes as compared with the original model are made:
1. Removal of actuator dynamics on the nose wheel steering system. It is
assumed that
θ N Wc = θ N W
i.e. the nose wheel steering angle θN W directly follows its commanded value
θN Wc . In the simulation model, from which the actuator dynamics of course
are not removed, the command input is the servo valve control current
(ISV N W ). For computing the appropriate input from θN Wc the nose wheel
steering control law provided within the B SCU is used (see Ref. [48]);
2. The computation of the lateral tyre force of (only) the nose wheel is simpli-
fied as follows:
Fy N W
≈ Gy N W
(t)βN W
where GyN W (t) is the current cornering gain of the combined nose wheels
(depends on momentary vertical loading, see Ref. [48]). The reason is that
the actual nonlinear function has a maximum at βN Wo p t , causing inversion
problems if the demanded side force FyN W is larger than FyN W m a x (Ref.
[48]);
4.5 Aircraft-on-ground control design application 103
3. L imits on control inputs that are to be computed must be removed from the
model to be inverted. O therwise, no solution exists once control deflections
beyond these limits are required;
The next step in Figure 4.8 is to make a selection of command variables. Based
on the objective to control lateral dynamics only, a number of options may be
considered: (1) yaw rate, (2) lateral acceleration in the CoG, and (3) lateral
acceleration in the cockpit. In this section, the yaw rate design will be elaborated.
The other options have been evaluated in Ref. [95].
For turning the aircraft, the two most obvious controls are rudder δR and nose
wheel steering θN W . The first is most effective at higher dynamic pressure, the
second most at lower speeds. O ther means, like differential braking are not con-
sidered for the moment. In order to invert the model, some rule must be provided
how to distribute the available control power between both effectors. As a first
step, the distribution is based on calibrated airspeed, as shown in Figure 4.12. If
Vca s < Vlo w = 30 m/ s only nose wheel steering is used, if Vca s > Vh ig h = 80 m/ s
only rudder is used for yaw control, in between a linear blend based on generated
yawing moments is applied. O f course, the values of Vlo w and Vh ig h can be op-
timised or a more advanced allocation structure may be selected in the detailed
design phase.
Figure 4.12: Initial allocation of nose wheel steering and rudder as a function of
airspeed
the designer that rb needs to be differentiated once in order to solve the inversion
p roblem . A s in case of ex am p le 4 .3 , the com m and shap ing fi lter:
1
rc = ucm d (4 .4 1)
τr s + 1
is added, w here ucm d is the new com m and inp u t. T he m odel com p iler m ay then
differentiate rc . T he feedback controller is added as is done in N D I or F eedback
L inearisation, see F ig u re 4 .7 . T he error betw een com m anded and actu al y aw rate
is m inim ised u sing a P I controller. S ince this sy stem is to p rodu ce references for
the differentiated com m and variable, a sm all trick is ap p lied in F ig u re 4 .13 : the
derivative of the y aw rate com m and is tak en from the com m and fi lter and fed to
the data bu s via an integ rator. T he P I controller ou tp u t m ay then be added to ṙc
before the integ rator inp u t. D u ring com p ilation, this integ rator is au tom atically
rem oved w hen differentiating rb , since the latter variable is an enforced state in
the im p lem ented airfram e eq u ations of m otion.
u u'
.
rs e n s
A ircraft b u s acces s
C onnect w ith A /C b u s
T he com p lete block in F ig u re 4 .13 is added to the p rep ared aircraft-on-g rou nd
m odel and connected to the aircraft data bu s (F ig u re 4 .2 ). N ote that the stru c-
tu re itself is aircraft indep endent. F or this reason it has been added to the F lig ht
D y nam ics L ibrary , along side a sim ilar block for inversion-based pb , qb and β con-
trol in fl ig ht. O f cou rse, p aram eters m u st be set dep ending on the sp ecifi c aircraft
ty p e and control sp ecifi cations. A s show n in the F B L variant in F ig u re 4 .7 , m odel
states are obtained from m easu rem ent. T o this end, the m odel com p iler sim p ly
rep laces aircraft states w ith inp u ts, w hile rem oving u nnecessary state eq u ations.
T he integ rator in the P I controller as w ell as in the com m and in F ig u re 4 .13 have
to be retained. S ince the control law is to be em bedded in the discrete overall
control sy stem (R ef. [4 8 ]), the integ rator state fu rther needs to be discretised.
T his is done by the m odel com p iler by adding an in-line integ ration alg orithm [3 3 ].
In this case, a sim p le ex p licit E u ler integ ration m ethod w ith a 4 0 m s sam p ling
p eriod has been inclu ded.
4.5 Aircraft-on-ground control design application 105
After automatic model inversion and coding, first simulation runs can already
be performed. To this end, step inputs on the yaw rate command (ucmd ) are
given starting at four different trimmed airspeeds: well below Vlo w (10 m/ s), well
over Vh ig h (85 m/ s), and two in between (40 m/ s and 6 0 m/ s), see Figure 4.12.
The yaw rate responses are the most interesting. As depicted in Figure 4.14, they
match the expected first order behaviour as in Figure 4.6 quite well. At this point,
only hand-picked values have been set for the linear control law and command
filter parameters. In following design steps, these values may be tuned to optimise
robustness and performance, for example using multi objective optimisation, see
C hapter 5 and Ref. [9 5 ].
Next, it is interesting to look at the distributions between aerodynamic and nose
wheel steering moments (Figs. 4.15 – 4.18). At 10 m/ s the aerodynamic moment
is z ero, the turn is initiated and maintained using the nose wheel steering only.
At 40 m/ s some moment is generated aerodynamically, at 6 0 m/ s the distribution
is relatively balanced, whereas starting from 85 m/ s steering is only performed
aerodynamically. Since no caster has been included in the original model (Ref.
[48]), the control law is actively turning the nose wheel to follow its local track.
Note that at low speeds the rudder slightly deflects, see Figure 4.19 . This is
caused by the fact that the rudder is compensating for a small aerodynamic yawing
moment caused by slipping and yaw rate, so that the total aerodynamic moment
is z ero. Alternatively, the moment distribution may be applied to the yawing
moment delivered by the rudder only. H owever, in the case of the aircraft-on-
ground model the aerodynamics have been provided as a “ black box” from which
the explicit rudder contribution can only be derived indirectly, which has not been
done for this first design. In Figs. 4.20 – 4.23 the actual and commanded nose
wheel steering deflections are shown. Note that the curves match well, justifying
the removal of NW S actuator dynamics from the inverse model. H owever, in case
of high command inputs measures have to be taken in order to prevent saturation
of the nose wheel steering system. In Figs. 4.20 – 4.23 an interesting effect in the
model can be observed. Starting from 10 m/ s, the nose wheel steering angle is
initially positive and remains so in order to maintain the turn. The corresponding
slip angle of the nose wheel has opposite sign. At higher speeds the nose wheel
steering angle becomes strongly negative in the longer term. This is explained by
the over all side slip angle of the aircraft, required to generate the centripetal force
that is necessary to turn. In order to generate the required yawing moment, this
slip angle is partly compensated for, so that the nose wheel is moving outward
with respect to the turn. Above 80 m/ s the nose wheel should rotate with the
local velocity vector at the nose of the aircraft. In Figure 4.23 it can be observed
that the NW S angle starts with a small offset. This offset was obtained from trim
computation and compensates a slight asymmetry in the aerodynamics.
As advertised in the process picture in Figure 4.8, the control law obtained from
automatic inversion is working properly. This has been proved at a range of
taxi speeds and is further confirmed by interactive real-time simulations using a
desktop simulator [70]. This simulator allows the aircraft to be taxied around on
an airport. The control laws in their present form for example allow for take-off
106 Rapid prototyping using inversion-based control
0.8
yaw rate (deg/s)
0.6
0.4
0.2
10 m/s
40 m/s
0 60 m/s
85 m/s
−0.2
0 2 4 6 8 10 12 14 16 18 20
Time (s)
NWS
Moment (Nm)
Aero
0 2 4 6 8 10 12 14 16 18 20
Time (s)
NWS
Aero
Moment (Nm)
0
0 2 4 6 8 10 12 14 16 18 20
Time (s)
NWS
Aero
0
0 2 4 6 8 10 12 14 16 18 20
Time (s)
NWS
Aero
0 2 4 6 8 10 12 14 16 18 20
Time (s)
Rudder deflection
0
rudder (deg)
10 m/s
40 m/s
60 m/s
85 m/s
0 2 4 6 8 10 12 14 16 18 20
Time (s)
NWS angle
NWS angle command
NW slip angle
Sideslip angle CoG
0 2 4 6 8 10 12 14 16 18 20
Time (s)
NWS angle
NWS angle command
NW slip angle
Sideslip angle CoG
Angle (deg)
0 2 4 6 8 10 12 14 16 18 20
Time (s)
NWS angle
NWS angle command
NW slip angle
Sideslip angle CoG
0
Angle (deg)
0 2 4 6 8 10 12 14 16 18 20
Time (s)
0
Angle (deg)
NWS angle
NWS angle command
NW slip angle
Sideslip angle CoG
0 2 4 6 8 10 12 14 16 18 20
Time (s)
simulations from brake release until the aircraft is airborne, even under strong
and turbulent cross-wind conditions. This provides a good basis to start detailed
design (Figure 4.8) from.
4.6 Conclusions
In this chapter it has been shown that inversion-based control methods, in com-
bination with an object-oriented model implementation allow for automatic syn-
thesis of fully functional preliminary control laws. The resulting fast design cycle
can be exploited to make quick simulation-based comparisons between for example
various control configurations. The preliminary control laws are easily adapted
as more model data becomes available and can be used as a platform for detailed
design of individual functions. The methodology has been demonstrated on an
aircraft-on-ground problem, showing functionality of the preliminary control laws
in manoeuvring over the full speed range from brake release at stand-still to take-
off.
Once key decisions have been made and the aircraft configuration is frozen, de-
tailed design may proceed based on the same methodology. In this phase issues
like robustness, feedback signal processing, system failures, coding, etc. are ad-
dressed. This is subject of Chapter 5.
It is important to note that key decisions, especially in the first steps in Fig-
ure 4.8, are made by the designer. As demonstrated on a simple example, not the
successful inversion by the model compiler, but the designer’s physical insight is
the key to a successful control law design.
112 Rapid prototyping using inversion-based control
Chapter 5
Abstract
The application of Nonlinear Dynamic Inversion for the design of a robust
attitude controller for a civil aircraft is discussed. The main function of
the controller is to improve the fl ying q ualities, including stability, of the
aircraft dynamics. F or parameter synthesis multi-objective optimisation
is used. The req uired robustness is achieved via a multi-model approach
and local robustness criteria. In addition to the feedback gains, physi-
cal parameters in the inverse model that are considered uncertain in the
design model, are used as synthesis parameters. The control law s are au-
tomatically generated from a symbolic aircraft model in the object-oriented
modelling language M odelica. The design w as used as a stability and com-
mand augmentation function in an automatic F ly-by-W ire landing system
and w as successfully fl ight tested.
C o n tributio n s
• A structured approach for incorporating local and global robustness
concepts in multi-objective control law design;
• A n optimisation procedure for searching a best-compromise location
for model inversion in the uncertain parameter space.
P ublicatio n
G ertjan L ooye: Design of Robust Autopilot Control Laws with Nonlinear
Dynamic Inversion, at – A utomatisierungstechnik V ol. 4 9 (1 2 ), O lden-
bourg V erlag, M unich, 2 0 0 1 , pp. 5 2 3 – 5 3 1 .
Design of control laws with NDI 115
HE design of flight control laws is a demanding task due to the fact that
T many aircraft configurations and a considerable operating envelope have to
be taken into account. In order to achieve satisfactory performance in all flight
conditions, gain-scheduling is usually required.
In this chapter the application of NDI to design attitude control laws for a civil
aircraft is described. These are used for stability and command augmentation in
an automatic landing system.
NDI is a special case of Feedback Linearisation [121], where the model output
equations of the controlled variables need to be differentiated only once to arrive
at an analytical relation with the control inputs that can be inverted. The closed-
loop system is reduced to a set of integrators and the desired dynamics can be
imposed using a linear outer loop controller.
U sually, robustness is addressed in the design of the linear part of the controller
[34, 5, 10]. In this contribution, it is shown that physical parameters in the inverse
control laws that are considered uncertain in the design model, can be effectively
used as additional synthesis parameters to achieve a robust design.
Furthermore, the automatic generation of NDI control laws from the symbolic air-
craft model in Modelica as described in the previous chapter is used, considerably
relieving the derivation, coding and verification tasks.
b ut it m ak es the sub seq uent sym b olic d erivation easier and m ore illum inating .
2 NDI is thus a special case of feed b ack linearisation, where only one d iff erentiation of each
3. in case assumption 2 does not hold (i.e. l 6= k). This may be overcome by
computing a pseudo-inverse, or by implementing control allocation logic (if
k > l) (see Chapter 4 and Refs. [5, 118]).
Even if Lg hcmd (x, pk , pu ) is non-singular one has to be careful that the physical
relations are suitable for inversion. An example is given in Section 4.4 for load
factor control.
With assumption 3, inversion of eq. (5.4) results in the following control law:
−1
uc = (Lg hcmd (x̂, pk , p∗u )) (y0cmd − Lf hcmd (x̂, pk , p∗u )) (5.6)
The vector y0cmd ∈ IR nycmd contains the demanded rates of ycmd and serves as
the new control input. Note that the dot-notation (˙) has been replaced with a
prime (0), since y0cmd has become an independent control variable. The vector
x̂ contains the states as computed or estimated from available outputs ycmd and
yo . It is assumed that all states are observable from ycmd and yo (assumption 4).
The vector p∗u contains assumed values for the uncertain parameters in the inverse
model equations. Usually, nominal parameter values are chosen. Substitution of
the control law (eq. (5.6)) into (5.4) results in:
ẏcmd = Lf hcmd (x, pk , pu ) (5.7)
−1
+ Lg hcmd (x, pk , pu ) · (Lg hcmd (x̂, pk , p∗u )) (y0cmd − Lf hcmd (x̂, pk , p∗u ))
In the ideal case, when pu and x are known exactly (i.e. p∗u = pu and x̂ = x),
equation (5.7) reduces to:
Z t
ẏcmd = y0cmd ⇐ ⇒ ycmd (t) = y0cmd (τ )dτ (5.8)
0
The nonlinear system dynamics have been cancelled by the NDI control law, and
the output response to each corresponding input is reduced to an integrator. It is
necessary to carefully check the internal (zero) dynamics of the closed-loop system.
For stability it is required that the relation between uc and ycmd is minimum phase
(assumption 5) [121]. Sometimes, instability of a slow mode is acceptable. In case
of fighter aircraft it often occurs that the phugoid mode becomes slowly divergent.
This however can usually be handled by the (auto-) pilot without problems [123].
Using a linear feedback law it is now possible to impose the desired closed-loop
dynamics:
yr e f ycm d
A irc raft
L in ear
c o n tro ller
'
ycm d In v ers e
c o n tro ller
uc d y n am ic s
yo
K (s ) (p k , p u *) (p k , p u )
^x State
I es tim atio n
~ s & filterin g
where yref is generated from a command filter. The control law K2 (s) then has a
purely regulatory function, whereas for K(s) this is to be combined with shaping
of the command signal. The latter structure has been used in the ground control
application in Chapter 4.
From the derivation above, it will be clear that Nonlinear Dynamic Inversion has
a number of advantageous features:
1. the method is straight-forward and easy to understand (equation (5.6));
2. the closed-loop system shows excellent nominal performance, since it is fully
decoupled and desired dynamics can be easily imposed (equations (5.8),
(5.10));
3. gain-scheduling is avoided, since the control law cancels the nonlinear system
dynamics over its operating envelope (equation (5.10)).
Applicability of NDI is restricted by the assumptions made, but for rigid body
aircraft these are in most cases fulfilled. Advantage 2 additionally requires that all
states are known accurately (x̂ = x). For aircraft this is a reasonable assumption,
since the states can be analytically computed from the available air data and
inertial reference sensors.
Dynamic inversion also has apparent disadvantages:
1. no direct way to address robustness to modelling errors. From equation (5.7)
it can be seen that in case x̂ 6= x and p∗u 6= pu the dynamics are not
fully cancelled, still resulting in nonlinear closed-loop behaviour between
the commanded and actual command variables;
2. the control laws inherit the complexity of the synthesis model.
The main contribution of this chapter lies in addressing the first disadvantage.
Regarding the second disadvantage, it must be noted that for complex models,
manual derivation, coding and validation of the control laws may be tedious and
error-prone. However, in Chapter 4 it has been shown that these tasks can be
automated to a large extent.
5.2 The Aircraft Model 119
w h e re Ω b = [pb , q b , r b ]T a re th e b o d y a n g u la r ra te s, Vb = [ub , v b , w b ]T is th e
in e rtia l v e lo c ity v e c to r a lo n g th e b o d y a x e s. MT a n d FT a re m o m e n ts a n d fo rc e s
in d u c e d b y th ru st, MA a n d FA a re a e ro d y n a m ic m o m e n ts a n d fo rc e s. T h e v e c to r
xa d e sc rib e s th e a ir m a ss-re fe re n c e d sta te o f th e a irc ra ft, uc a re a e ro d y n a m ic
c o n tro ls, c o n sistin g o f a ile ro n s (δA ), e le v a to r (δE ) a n d ru d d e r (δR ), uo c o n ta in s
th e th ro ttle se ttin g s fo r b o th e n g in e s. T h e g ra v ity c o n sta n t is g. T h e in e rtia
te n so r I(pk , pu ) h a s u n c e rta in ty a n d is p ro p o rtio n a l to th e m a ss m ∈ pk . T h e
m a trix Tbe (Θ) re p re se n ts th e d ire c tio n c o sin e m a trix fro m th e E a rth -re fe re n c e d
h o riz o n ta l re fe re n c e fra m e Fe in to b o d y a x e s Fb :
T
Ṙe = Tbe (Θ) Vb (5 .1 4 )
Θ̇ = TΦb (Θ) Ω b (5 .1 5 )
where Clp is the nominal coefficient value, ∆Clp is the tolerance parameter, and
C̄lp is the perturbed coefficient. B ased on experience, the tolerances are up to
10% for longitudinal coefficients and up to 30% for lateral and ground eff ect-
related coefficients, see Table 2.5. In the frame of this chapter, lateral uncertain
parameters are of prime interest, since the control laws for lateral dynamics will
be focused on. Therefore:
pu = ∆CY , ∆Clβ , ∆Cnβ , ∆Clp , ∆Cnp , ∆Clr , ∆Cnr , (5.16 )
iT
∆ClδA , ∆CnδA , ∆ClδR , ∆CnδR , ∆Ix x , ∆Ix z , ∆Iz z
with:
T
δx = [δVb , δΩb , δE , δRe ]
T (5.18 )
δuc = [δuc , δuo ]
where δ.. indicates small perturbations from the values around the linearisation
point. Finally, δy represents perturbations from measurement signals available
to the control laws. O nly for simplicity of notation, disturbance models (e.g.
turbulence, sensor noise) and actuator models have been left out from (5.17 ).
5.2 The Aircraft Model 121
Since the ATTAS model assumes a symmetric aircraft, yawing and rolling mo-
ments as well as lateral side force are zero in the trim condition, resulting in zero
defl ection of rudder and ailerons [105]. As an example, the aerodynamic rolling
and yawing moments are:
Note that the second term could be written in its differentiated form straight
away, since the dependency on uc is simply affine. The inertial term Ωb × I(pu )Ωb
disappears after linearisation around straight and level flight, since Ωb0 is zero.
In case of equilibrium in turning flight (i.e. Ωb0 6= 0) the linearised term must be
retained.
From (5.20) it can be seen that the uncertain parameters appear in simple poly-
nomial form (this also holds for the tolerances on the inertia matrix I). For this
reason, the elements of the state space matrices in (5.21) depend on uncertain pa-
rameters in a rational way, allowing for symbolic transformation into LFT form
[132, 44].
here KE is a diagonal gain matrix and Θref is the vector with commanded attitude
angles. This basically implies that the derivative of the matrix TΦb (Θ) is neglected,
which is possible provided that attitude accelerations are small. The reason for
this simplification is that this allows for opening the attitude loop, commanding
Ωbcmd or Θ0cmd may be combined directly. This allows the use of the same set of
attitude control laws with different autopilot functions or for manual control. An
example will be given in the course of this chapter. In addition, neglecting the
derivative of TΦb (Θ) reduces computational effort in the Flight Control Computer
(FCC).
ref '
cm d
ref
-1 A irc raft
KE T b(E)
c o n tro ller
'
L in ear cm d In v ers e
c o n tro ller
uc d y n am ic s
K (s )
*
(p k , p u ) (p k , p u )
yo
^xa State
I es tim atio n
~ s & filterin g
The tracking control laws for Ωbre f will be designed using the Dynamic Inversion
procedure as discussed in Section 5.1 for y = Ωb . Differentiating Ωb directly
results in the moment equation (5.12):
where Lg h = I(pk , pu )−1 MAu (xa , pk , pu ). Since the three control inputs in uc
are primarily moment generating devices around the three aircraft body axes,
I(pk , pu )−1 MAu (xa , pk , pu ) is (in the normal flight regime) non-singular, fulfilling
assumption 3 in Section 5.1. Inversion of (5.28) gives:
uc = MAu (x̂a , pk , p∗u )−1 [I(pk , p∗u )Ω0bcmd − MAx (x̂a , pk , p∗u )
i
− MT (x̂a , uo , pk , p∗u ) + Ω̂b × I(pk , p∗u )Ω̂b (5.29)
Note that xa has been replaced with x̂a and pu with p∗u . In the ideal case the
form of (5.8) results:
Ω̇b = Ω0bcmd
124 Design of control laws with NDI
Usually, nominal values for the parameters in p∗u are substituted, which corre-
sponds to inverting the nominal aircraft model. In this design elements of p∗u are
used as additional synthesis parameters, as will be discussed in Section 5.4.
For the linear control law K (s) a P I structure is used (Figure 5.2):
Z t
Ω0bcmd = Ki (Ωbref − Ωb )d τ + Kp Ωb (5.30)
0
The closed-loop system is depicted in Figure 5.2. The integrator on (Ωbref −Ωb ) is
required to compensate for steady errors in the moment equations. In equilibrium
flight Ωbref = Ωb = 0 holds. The integral part then allows a moment error
(for example, due to unmodelled aircraft asymmetry) to be compensated for via
nonzero Ω0bcmd . W ithout integrator, Ωbref would have to be nonzero, resulting in
a steady state error in Θ (eqn. (5.27)). The optimisation of the linear gains will
be discussed in Section 5.4.
2. dynamic motivator and engine models are replaced with static versions.
The motivator dynamics are modelled as first order low-pass filters and are con-
siderably faster than the aircraft flight dynamics. For this reason, these dynamics
are neglected in the inversion. In addition, the filter approximation is only in-
tended to represent a certain amount of actuator bandwidth and to implement
rate and position limits. The internal filter state would have to be replaced with
measurement of the actual control surface deflection. This measurement however
is not reliably available on most aircraft types.
In the simulation model the radio altitude Hra is computed using the terrain
model. This object is removed and the radio altitude is defined as input instead.
Similarly, all variables computed in the atmospheric model are obtained from air
data measurements instead. However, the component has to be retained in order
to compute the Mach number, since this variable is not available from sensors.
The resulting aircraft model is left with the twelve flight dynamics states [Vb , Ωb ,
Θ, Re ]T . A body angular rate controller is selected from the Flight Dynamics
Library, see Figure 5.3. The inputs of this controller are commanded body an-
gular rates (pqrC, right) and outputs are the required control surface deflections
(Co n trS u rf ,left). The body angular rates are obtained from the data bus. The in-
tegrator left to the gain block integrates desired angular rate commands (Ω0bcmd ).
The result is connected to the body angular rates in the data bus as well. W hen
translating the model, this integrator is automatically removed by differentiation,
5.3 Dynamic inversion attitude control laws 125
Figure 5.3: Body angular rate controller from Flight Dynamics Library. The
bus connector below is connected to the aircraft data bus. Input are commanded
body rates, output are required control deflections.
so that in the model Ω̇b = Ω0bcmd . More details on this process can be found in
Chapter 4.
The object is added to the ATTAS model as depicted in Figure 5.4.
The modified model, including the linear controller, is depicted in Figure 5.4.
The inputs and outputs of the latter have been propagated as model inputs and
outputs respectively. Note that, compared with Figure 2.12, the control surfaces
ContrSurf have become outputs. Other inputs like thrust and stabiliser settings
are commanded by the pilot or autopilot and have therefore been retained, since
these effects are necessary for computation of e.g. the pitching moment.
The model may now be translated into executable form. In order to make sure
the model states are obtained from measurement instead of integration within
the inverse model, they are automatically turned into inputs by setting a cor-
responding option for translation. The Dymola formula manipulator and code
generator automatically generates the Nonlinear Dynamic Inversion control laws
of eq. (5.29) in c-code, ready for execution in Simulink and in the Flight Control
Computer (FCC)3 .
Figure 5.4: ATTAS model for automatic generation of NDI control laws. Note
that the terrain and runway models have been removed. The FCS component
(Figure 5.3) has been connected to the aircraft. Control deflections (ContrSurf)
have become outputs, commanded angular rates (pqrC) have been defined as
inputs (compare with Figures 2.12 and 5.2).
when the controller is initialised. For this reason, the following algorithm is used:
if init
Ω0bcmd = 0 // override input
compute uc from DI // static uc
uc0 = uc // store static uc
δuc = 0 // zero control defl.
else
Ω0bcmd = Ω0bcmd // normal use
compute uc from DI
δuc = uc − uc0 // output control defl.
end
5.3 Dynamic inversion attitude control laws 127
By setting Ω̇bcmd = 0 at the initial computation, only the static control deflections
are obtained. These are subtracted from the control inputs from then onwards,
so that the controller only provides control deflection “delta’s” with respect to
the momentary control deflections at initialisation. The above code is added after
the NDI control laws.
The success of any flight control law design stands or falls with the quality of
the sensor signals. These signals are processed in the State estimation & filtering
block in Figure 5.2. The ATTAS aircraft has a sophisticated sensor system pro-
viding inertial and air data measurements, allowing for easy computation of all
states. However, it is very important to be aware that the air data signals pick
up atmospheric disturbances that, without further processing, would propagate
through the control laws and result in high control activity. In addition, the angle
of attack (AoA) sensor of ATTAS is on a long nose boom, which due to its flexi-
bility adds a 6 Hz disturbance to the signal. For this reason, the signal has to be
combined with inertial measurements using complementary filtering techniques:
1 τs
α̂ = α+ αi (5.31)
τs + 1 τs + 1
where αi is the inertial angle of attack computed from:
αi = (θ − γa ) (5.32)
with γa ≈ −VVt a s . The time constant is set to 1 s, causing the air data content to
Z
be cut off well below the 6 HZ disturbance signal. An example result is shown in
Figure 5.5
The side slip angle is available as a measurement on ATTAS, but this is not
the case on most airliners. For this reason, use of the signal was to be avoided.
The signal can be estimated as follows. Writing the side force equation in the
aerodynamic model in the form:
The right hand term can be computed using the coefficients from the model and
the available measurements. To reduce the propagation of noise due to turbulence,
the signal is complementarily filtered with:
−ny g + g sin φ cos θ
β̇i = − rb cos α + pb sin α (5.34)
Vtas
which is less affected by turbulence at higher frequencies. The filter, depicted in
Fig. 5.6, is second order, preventing a bias in β̂ in case of longer term cross wind
shear. The gains K1 and K2 are set to 0.2 and 1 respectively.
128 Design of control laws with NDI
8
measured α
compl. α
7
6
α (deg)
2
0 5 10 15 20 25 30
time (s)
For larger aircraft also inertial measurements require careful attention. Being at-
tached to the airframe, the sensors not only pick up flight path-related, but also
structural dynamics. This is taken into consideration in placement and attach-
ment of sensors, but usually their signals still need to be filtered using low-pass
or notch filters.
5.4.1 Robustness
Robustness is major issue in the design of Dynamic Inversion control laws, and
is usually addressed in the synthesis of the linear part of the controller. This can
for example be done using a robust synthesis method such as H∞ or µ-synthesis
[5], if a classical PID controller structure is not sufficient.
In this contribution, free synthesis parameters are tuned for robustness using
multi-objective optimisation in combination with a multi-model approach [61].
These synthesis parameters are the gains of the control law in equation (5.30), as
well as the parameters p∗u in the inverse model equations (5.29), which are consid-
ered uncertain in the synthesis model. In the synthesis, robustness is addressed
5.4 Robust parameter synthesis 129
K2
1 + 1 ^
est K1 s + s
+ - + +
. ^.
i
in th ree w ays:
M u lti-model optimisation implic itly assu mes th at th e c ontrol law w ill also b e
rob u st for model c ases in b etw een th ose addressed du ring parameter synth esis.
H ow ev er, no g u arantee c an b e g iv en. A n additional intention of th e loc al ro-
b u stness c riteria is to c ov er su ch model c ases. T h e g eneral idea is sk etch ed in
F ig u re 5 .7 for tw o parameters pu = [a, b]T . T h ree model c ases are u sed in opti-
misation (p0u , p1u , p2u ). In each c ase, loc al rob u stness marg ins are c onsidered as
c riteria. T h e siz es of th e areas b ou nded b y th e dotted lines refl ec t th e ach iev ab le
performanc e rob u stness arou nd th e th ree model c ases for a c ontroller desig ned
w ith p∗u = p0u . O b v iou sly, th e area arou nd th e nominal c ase is larg e, th e areas
arou nd th e w orst c ases are smaller. T h e loc al areas tog eth er do not c ov er th e
c omplete parameter spac e b ou nded b y [am in , am a x , b m in , b m a x ]. O ptimisation
of model parameters in th e inv erse c ontroller w ill resu lt in th e point p̂∗u in th e
parameter spac e, w h ich c an b e interpreted as th e b est loc ation for model inv er-
sion. A s a resu lt, th e siz e of th e area (b ou nded b y solid line) arou nd th e nominal
point dec reases, th ose arou nd th e w orst c ases b ec ome larg er, so th at th e c omplete
parameter spac e is c ov ered.
130 Design of control laws with NDI
The approach sketched above is used for synthesis of the N D I controller param-
eters. The assumptions can be validated by performing a µ-analysis on the
closed loop system afterwards. This req uires interconnection of the linearised
controller with the aircraft L FT representation, obtained from symbolic lineari-
sation sketched in S ection 5.2.2. B esides stability robustness, µ-analysis allows
for finding worst-case damping and stability margins in the uncertain parameter
space, valid for the linearised model.
b
bm ax c as e p u
1
N D I pu
bn o m
n o m in al
c as e p u0 P aram e te r
bm in 2
s p ac e
c as e p u
a
p u=
b
am in an o m am ax a
O p tim iz atio n fo r 3 m o d e l c as e s
(g lo bal ro bus tn e s s )
Figure 5.7: G eneral idea of addressing global and local robustness (dashed
bounds: achievable robustness areas with p∗u = p0u , solid bounds: achievable areas
with optimised p̂∗u )
5.4.2 Stability
As mentioned in S ection 5.1, one always has to carefully check the internal dy-
namics of the closed-loop system. B ut also, sensors, FCS delays, actuators and
signal processing add dynamics to the over-all system. For this reason, during
each optimisation step the closed-loop system is linearised and all eigenvalues
of the lateral modes are determined. The minimum damping is computed and
addressed as an optimisation criterion (damp in Table 5.1, to be discussed in
the following section). After parameter synthesis, minimum damping is further
assessed in ex tensive robustness analysis.
Linear analysis:
nam e d esc rip tio n c o m p u tatio n
g m ad a g ain m arg in at δA ac t. see R em ark s
p m ad a p h ase m arg in at δA ac t.
g m ad r g ain m arg in at δR ac t.
p m ad r p h ase m arg in at δR ac t.
g m asp g ain m arg in at p sens.
p m asp p h ase m arg in at p sens.
g m asr g ain m arg in at r sens.
p m asr p h ase m arg in at r sens.
d am p m inim u m d am p ing m ini {ζi }
S im u latio n 1 : S tep : φr e f = 1 0 d eg , ψ̇r e f = V g tan φr e f
tas
p h rt rise tim e φ see R em ark s
p h os o v er sh o o t φ
p h st ’settling tim e’ φ m ax t > 15s {|φ − φr e f |}
p sd d rise tim e ψ̇
phds ’settling tim e’ ψ̇ m ax t > 15s {|ψ̇ − ψ̇r e f |}
dda m ax δ̇A m ax t > t s + 0.2s {|δ̇A |}
S im u latio n 2 : S tep : ψr e f = 5 d eg , φr e f = 0
p srt rise tim e ψ see R em ark s
p so s o v er sh o o t ψ
p sst ’settling tim e’ ψ m ax {|ψ − ψr e f |}
R 15 t > 15s
p h er erro r φ 0 φd t/ 1 5 s
ddr m ax δ̇R m ax t > t s + 0.2s {|δ̇R |}
S im u latio n 3 : C ro ss w ind step : wy = 1 6 m / s at t = 0 s
phw e m ax . φ m ax |φ|
d rp eak p eak δR m ax t < 5s |δR |
Table 5.1: Design criteria for multi-objective optimisation. Remarks: All com-
putations: symmetrical horizontal flight; altitude=10 0 0 ft; nominal aircraft load-
ing. Step times: ts = 1 s. Rise time: ∆ t between 10 % and 9 0 % of command.
Gain/ phase margins: as in Matlab Control Toolbox [79 ]
b a d -lo w g o o d -lo w
s c a le d c rite rio n
bad acceptable good
1.5
1
3 4 6
g a in m a rg in (d B )
Som e of th e crite ria in T ab le 5 .2 are tre ate d as ine q u ality constraints (i.e . ĉi (T ) ≤
1 ). F or e x am p le , a rise tim e of 2 .5 s is d e m and e d . If th is is satisfi e d , th e re is no
p oint to fu rth e r m inim ise th is crite rion, since th is w ill u nne ce ssarily go at th e cost
of stab ility and control e ff ort.
∆CY 0 0 -0.3 –
∆Clβ 0 0 -0.3 –
∆Cnβ 0 0 -0.23 –
∆Clp 0 0 -0.07 –
∆Clr 0 0 -0.3 –
∆Cnp 0 0 -0.3 –
∆Cnr 0 0 -0.15 –
∆CnδR 0 0 0.3 –
In Figure 5.2:
KE = d ia g ([KΦ , Kθ , Kψ ])
Ki = d ia g ([Kip , Kiq , Kir ])
Kp = d ia g ([Kpp , Kpq , Kpr ])
configurations. For this reason, the aerodynamic parameters were limited to the
same bounds as the assumed maximum tolerances in the simulation model, i.e.
30% . The optimisation run involved 14 synthesis parameters and 4 × 22 = 88
criteria (4 model cases). The result can be found in the third column of Table 5.3.
Note that the optimiser tends to push most of the parameters to their maximum
or minimum values. R elieving the bounds on the model parameters could improve
the results further, but this would imply that the inverse model corresponds to a
design model configuration outside its assumed parameter envelope.
5.5 Assessment
5.5.1 Analysis w.r.t. synthesis criteria
The three designs (Table 5.3) will be compared now using so-called parallel co-
ordinates [51] (Figure 5.9) and two simulations (simulation 1 and 3 from Table 5.1)
for two model cases (Figure 5.10: nominal and Figure 5.11: worst damping).
In parallel co-ordinates, all scaled criterion values are plotted on an individual axis
and connected through a line; one graph corresponds to one controller parameter
5.5 Assessment 135
GMADR
GMADR
GMADA
GMADA
PMADR
PMADR
PMADA
PMADA
drpeak
drpeak
GMSR
GMSR
GMSP
GMSP
PMSR
DAMP
PMSR
DAMP
PMSP
PMSP
phwe
phwe
phos
phds
psdd
phos
phds
psdd
psos
psos
pher
pher
phst
phst
psst
psst
phrt
phrt
dda
psrt
dda
psrt
ddr
ddr
Model 1 (nominal) Model 2 (worst damping)
set. The horiz ontal line indicates a value of one. Criteria values below this line
are considered satisfactory. Parallel co-ordinates are normally visualised on-line
during optimisation with MOPS. They give quick insight in the optimisation
progress, which criteria are hard to satisfy, and criteria that confl ict and thus
have to be compromised.
The labelled axes correspond with the criteria in Table 5.1. To the left the criteria
for the nominal model are shown, to the right those of one of the worst-case models
are depicted. Due to space restrictions, the other model cases are not shown. The
thin solid lines (in all subsequent figures) show the results for controller 1 (i.e.
optimised with the nominal model only). The bad damping of model 2 (scaled
2.5, actual ζ = 0.25) was reason to include this model case in the multi-model
set. The results from optimisation of the linear controller parameters only, with
the selected multi-model set, are represented by the dashed line. The damping
is increased to a satisfactory level (criterion below 1-line), this goes clearly at
the cost of rudder activity (ddr,drpeak ), the roll response due to a side wind step
ph w e (see also Figure 5.11), the phase margin at the rudder actuator pmadr,
and the damping of the nominal model. The even worse damping in Figure 5.11
seems in contradiction with the better damping criterion level, but inspection
136 Design of control laws with NDI
Phi PsiDot
12 2.5
10 2
8
1.5
Deg/s
Deg
6
1
4
φref= 10 deg φ = 10 deg
2 0.5 ref
(dψ/dt) = 1.5 deg/s (dψ/dt)ref= 1.5 deg/s
ref
0 0
0 5 10 15 20 0 5 10 15 20
t [s] t [s]
Phi (cross wind step) PsiDot (cross wind step)
10 10
5 5
Deg/s
Deg
0 0
−5 −5
−10 −10
0 5 10 15 20 0 5 10 15 20
t [s] t [s]
Figure 5.10: Roll and wind step responses for model case 1 (for legend, see caption
of Figure 5.9)
of the results revealed that the rudder actuator rate saturates due to its higher
activity. In one of the model cases (not shown) even instability occurs. The fat
solid line shows the results for controller 3, for which linear gains, as well as model
parameters in the NDI controller were optimised. From the parallel co-ordinates it
is immediately clear that all criteria are satisfied (this also holds for the two model
cases not shown). E specially Figure 5.11 shows considerable improvement. Since
the third controller no longer inverts the nominal model, it can be expected that
decoupling in the nominal case deteriorates. This can be verified in Figure 5.9
for the criterion pher 1-1 (roll angle error due to a heading angle command).
For controllers 1 and 2 (for which p∗u = pu ) decoupling is excellent, whereas for
controller 3 it is considerably worse, but still acceptable.
Of course, with the gain set of controller 3, a new parameter study was performed.
All stability related criteria are satisfied for the investigated parameter combina-
tions (no figure). In a number of cases the roll angle error 15 s after the roll
command step (phst) and the roll angle response due to the wind step (phwe)
degrade considerably. In no case instability due to rate saturation occurred. One
more optimisation with an additional model case, (worst phst) was performed,
but the results did not improve much.
5.5 Assessment 137
Phi Psidot
12 2.5
10 2
8
1.5
Deg/s
Deg
6
1
4 φref= 10 deg φref= 10 deg
2 (dψ/dt)ref= 1.5 deg/s 0.5
(dψ/dt)ref= 1.5 deg/s
0 0
0 5 10 15 20 0 5 10 15 20
t [s] t [s]
Phi (cross wind step) PsiDot (cross wind step)
10 10
5 5
Deg/s
Deg
0 0
−5 −5
−10 −10
0 5 10 15 20 0 5 10 15 20
t [s] t [s]
Figure 5.11: Roll and wind step responses for model case 2 (for legend, see caption
of Figure 5.9)
• the method requires the system model in the form of a L inear Fractional
Transformation (L FT). Obviously, the analysis result stands or falls with
validity of this model;
138 Design of control laws with NDI
• most criteria cannot be translated directly into a form that can be handled
by µ-analysis. For example, rise time can only be addressed indirectly,
whereas an H∞ norm-based criterion is handled directly.
For the ATTAS model an LFT is very easily generated, since the object-oriented
implementation allows for symbolic linearisation as a function of the uncertain
(lateral) parameters, see Section 5.2.2. The transformation from the symbolic
state space model into an LFT is performed using algorithms described in Refs. [63,
132, 44]. In Ref. [54] J uliana presents an approach for combined LFT modelling
of the system to be controlled and the NDI control law. H owever, in the frame
of this work the aircraft LFT model and linearised controller model are obtained
individually. One reason is that, as will be described subsequently, actuation
system dynamics and delays in the Flight Control Computer (FCC) are present
between the aircraft model and NDI controller.
In order to verify the robust synthesis approach, gain and phase margins are
of most interest. These margins are, although indirectly, very well addressed in
µ-analysis [120].
L egend:
Ac t = a c tu a to rs
E Q M = e q u a tio n s o f mo tio n
E s t = s ta te e s tima tio n a n d filte rin g
F C C = flig h t c o n tro l c o mp u te r
K (s ) = lin e a r c o n tro l la w
N D I = N D I c o n tro l la w
Se n s = s e n s o rs m
Se n s ATTAS Ac t FC C N D I K (s ) ref
EQ M
zla t wla t
la t
y x
E st
inertia-related ones, CnδA and ClδR are taken into account4 . The structure of
∆lat is given by:
n h
∆lat = diag ∆I ˆ x I4 , ∆I
ˆ z I3 , ∆I
ˆ xz I6 , ∆C
ˆ Y I4 , ∆C
ˆ l , ∆C
ˆ n , ∆Cˆ l , ∆Cˆ n ,
β β p p
i o
ˆ l , ∆C
∆C ˆ l , ∆C
ˆ n I3 , ∆C ˆ n , ∆Cl , ∆C ˆ n : ˆ .. , ∆I
∆C ˆ .. ∈ IR (5.35)
r r δA δA δR δR
Note that for example the coefficient ∆Cˆ Y is repeated four times on the diagonal.
This arises during transformation of the symbolic state space model into LFT form
[44]. The .ˆ.-sign indicates that the tolerance has been normalised with respect to
its bounds. For example, since −0.3 ≤ ∆ClδA ≤ 0.3, ∆ClδA = 0.3∆C ˆ l , so that
δA
ˆ
−1 ≤ ∆ClδA ≤ 1.
The interconnection structure is first used to perform robust stability analysis of
the three controller versions discussed in the previous sections. To this end the
structure is transformed into the form depicted in Figure 5.13. The block ∆lat
has been removed and its original input zlat and output wlat have been promoted
to system outputs and inputs respectively. The command reference δΘr e f is set
to zero. The block ∆m is not required for now and therefore omitted.
Se n s ATTAS Ac t FC C N D I K (s )
EQ M
y x
E st
zla t wla t
Figure 5.13: Input and outputs of the interconnection structure for µ stab ility
analy sis
T he transfer function from wlat to zlat is called Mattas (s). T he structured sing ular
v alue µ of Mattas (j ω ) w ith respect to ∆ lat ∈ ∆lat is defi ned as [2 7 , 9 ]:
1
µ∆lat (Mattas (s)) =
m in {σ̄(∆ lat ) : ∆ lat ∈ ∆lat , det (I − Mattas (s)∆ lat )= 0}
(5 .3 6 )
If no ∆ lat ∈ ∆lat m ak es (I −Mattas (s)∆ lat ) sing ular, µ∆lat (Mattas (s)) = 0 . E x act
com putation of µ is hardly ev er possib le. H ow ev er, suffi ciently tig ht upper and
low er b ounds can usually b e com puted.
4 It must be noted that this LFT model was not available during the design of the controllers.
R eason is that at that time no tools were available that allowed an LFT of suffi ciently low order
to be obtained from the p arametric state sp ace model (5 .2 1 ) for the full p arameter vector: only
an LFT with the reduced p arameter set of S ection 5 .4 was of p ractical use. In the mean time,
H eck er [4 4 ] develop ed highly imp roved algorithms for generation of low-order LFTs, allowing
the p resented LFT w.r.t. to the full p arameter set to be generated and used for the p resent
analy sis.
140 Design of control laws with NDI
0.5
µ upper bound
0.4
0.3
0.2
0.1
0 −2 −1 0 1 2
10 10 10 10 10
Frequency [rad/s]
Figure 5.14: C omparison of µ∆lat (Mattas (jω)) for three controller parameter sets
of Table 5.3: the lower the maximum value, the better
Controller 3 is considerably better, but still requires only σ̄(∆lat ) ≈ 1/1.9 = 0.53:
within the uncertain parameter envelope, lower closed-loop damping will occur.
The curve for controller 2 is quite interesting: compared with controller 1 the
peak has moved to the right and increased. Since the damping value in Figure 5.9
has achieved an acceptable level for model case 2, the problem has shifted to a
parameter case that was not included in the multi-model parameter synthesis. In
gridding-based parameter studies with controller 2, a new badly damped case was
actually found and included in the model set for optimisation of controller 3.
1.5
0.5
0 −2 −1 0 1 2
10 10 10 10 10
Frequency [rad/s]
Figure 5.15: Comparison of µ∆lat (Mattas (s)) for three controller parameter sets
of Table 5.3 along 0.4 damping line
It is very easy to figure out the worst-damping level over all parameter combi-
nations by iterating the damping line along which the µ-analysis is performed
until a peak value of 1 is found. This indicates that the norm σ̄(∆)lat = 1, so
that the worst case is on the border of the parameter envelope. The interest-
ing result is that each controller has a worst damping level of ∼0.16. Figure 5.16
nicely illustrates this for controller 3. From the µ-analysis along the 0.16 damping
line the worst-case combination was retrieved from the lower bound computation.
Scaling the corresponding matrix ∆lat = ∆c r it with a factor 0.95, 1.0 and 1.05,
a pole can be observed crossing the 0.16 damping line. Apparently, regarding
worst damping the three controllers are surprisingly similar. It is also interesting
to note that the worst damping for controller 1 is worse (0.16 instead of 0.25)
than the one found from gridding over minimum and maximum parameter values
142 Design of control laws with NDI
(giving rise to Model 2 in Figure 5.9). This is not surprising, since in the latter
analysis the number of parameters had to be reduced from 14 to 9, in order to
make computation times acceptable.
1
Imag
0.5
−0.5
−1
−0.5 −0.4 −0.3 −0.2 −0.1 0 0.1
Real
Figure 5.16: Worst case damping line for controller 3: 0.16 for σ̄ (∆crit ) = 1
Finally, it is interesting to find out worst gain and phase margins for the three
controllers in order to evaluate robustness to unspecified uncertainties on top of
the parametric ones (Section 5.4.1). To this end, the interconnection structure in
Figure 5.12 is used, this time with the block ∆m involved, see Figure 5.17. In R ef.
[120] Shin and B alas show that, for the ith actuator command, the infinity norm
of the transfer function between wmarg in i and zmarg in i equals the inverse of the
smallest distance a N yquist plot of the corresponding actuator input gets to the
(-1,0) point: the larger this distance, the larger the gain and phase margin at the
specific actuator input. This is very useful, since µ-analysis can be used to assess
worst-case performance for infinity norm-based measures [9]. The technicalities
are beyond the scope of this chapter and not required for interpretation of the
following analyses.
Figures 5.18 and 5.19 show nominal and worst-case N yquist plots for the closed-
loop system, with the actuator loop cut open at the aileron input. The circle radii
represent the shortest distances of the curves to the (-1,0) point. These radii have
been computed from the interconnection structure in Figure 5.17 with ∆lat = 0
and:
∆m = diag [∆A , 0, 0, 0, · · · ]
5.5 Assessment 143
zm a rg in wm a rg in
Se n s ATTAS Ac t FC C N D I K (s )
EQ M
y x
E st
zla t wla t
Figure 5.17: Input and outputs of the interconnection structure for µ worst-
margin analysis
where ∆A is a scalar that acts on the first actuator input (this is the aileron
com m and , see F ig ure 2 .3 ). F ig ure 5 .1 8 v alid ates that the circle just touches the
N y q uist plot at its closest prox im ity to the (-1 ,0 ) point. A lthoug h this m easure
d oes not ex actly m atch the d efinitions of g ain and phase m arg ins, the und erly ing
id ea is id entical. A pparently , at the aileron input the m arg ins for the three con-
trollers are sim ilar in case param eter tolerances are z ero. T his is confirm ed b y the
parallel co-ord inates in F ig ure 5 .9 : controller 1 has a slig htly b etter phase m arg in
(i.e. has a low er scaled criterion v alue for PMADA). F ig ure 5 .1 9 show s the results
for the ind iv id ual w orst cases of the three controllers. C learly , controller 2 has a
sm aller w orst-phase m arg in w ith respect to the uncertain param eters in (5 .1 6 ).
N ote that a fourth curv e has b een includ ed in the w orst-case N y q uist d iag ram
(m ark er “ + ” ). T his is a m eans of v alid ation of the result. T he w orst-case m arg in is
com puted using the A T T A S L F T m od el. T he correspond ing uncertain param eter
v alues can of course also b e set in the nonlinear A T T A S sim ulation m od el. N u-
m erically linearising this m od el and com puting the N y q uist curv e should g iv e the
sam e result. T his v alid ation is perform ed for controller 3 in each of the sub seq uent
w orst-case N y q uist plots. R eferring to C hapter 2 , this illustrates an im portant
b enefit of the ob ject-oriented m od elling approach: since the nonlinear sim ula-
tion m od el and L F T hav e b een autom atically g enerated from the sam e A T T A S
m od el im plem entation (F ig ure 2 .1 0 ), the tw o runtim e m od els are autom atically
consistent.
F ig ures 5 .2 0 and 5 .2 1 show the sam e N y q uist result for the rud d er input. N ote
that the m arg ins for controller 2 are sm aller, w hich ag ain correlates w ith F ig ure 5 .9
(PMADR ). T he w orst case m arg in of controller 3 is slig htly b etter than the one
of controller 1 . A lso note that the circles d o not touch the N y q uist curv e b y
a sm all m arg in. T his is the result of a g ap b etw een com puted b ound s on µ:
the upper b ound results in the sm aller (w orst) circle, the low er b ound s returns
w orst-case param eters: either the upper b ound is too conserv ativ e, or the low er
b ound com putation d id not fully conv erg e to the actual w orst-case (w hich is q uite
com m on).
144 Design of control laws with NDI
imag 0.5
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.18: Nominal case Nyquist plots (at aileron) for three controller param-
eter sets of Table 5.3
Figures 5.22 and 5.23 show the results for the margins at the roll rate sensor (to
this end, the ∆ m -feedback in Figure 5.12 has been moved from the actuator input
to the sensor output). Note that for controller 3 the worst case margin is slightly
better, at the cost of the nominal case margin.
In case of the yaw rate sensor (Figures 5.24 and 5.25) a clear improvement is
visible for controller 3. Finally, results for the roll angle sensor are shown in
Figures 5.26 and 5.27 .
From the above analyses it can be concluded that controller 3 has slightly better
margins than controller 1. Apparently controller 2, although optimised with worst
case damping and margins model cases, shifted robustness problems to other
corners of the uncertain parameter space. H owever, performance of controller 3
with respect to step response measures (especially, roll angle rise time, control
activity) is better as compared with controller 1. U nfortunately, this can only
be verified by gridding the parameter space, instead of an elegant µ-analysis,
since most performance criteria used in optimisation do not directly translate
into infinity norm bounds as the gain and phase margins do.
5.5 Assessment 145
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.19: Worst case Nyquist plots (at aileron) for three controller parameter
sets of Table 5.3
0.5
imag
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.2 0 : Nominal case Nyquist plots (at rudder) for three controller param-
eter sets of Table 5.3
146 Design of control laws with NDI
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.21: Worst case Nyquist plots (at rudder) for three controller parameter
sets of Table 5.3
0.5
imag
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.22: Nominal case Nyquist plots (at roll rate sensor) for three controller
parameter sets of Table 5.3
5.5 Assessment 147
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.23: Worst case Nyquist plots (at roll rate sensor) for three controller
parameter sets of Table 5.3
0.5
imag
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.24 : Nominal case Nyquist plots (at yaw rate sensor) for three controller
parameter sets of Table 5.3
148 Design of control laws with NDI
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.25: Worst case Nyquist plots (at yaw rate sensor) for three controller
parameter sets of Table 5.3
0.5
imag
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.26 : Nominal case Nyquist plots (at roll angle sensor) for three controller
parameter sets of Table 5.3
5.5 Assessment 149
−0.5
−1
−1.5 −1 −0.5 0 0.5
real
Figure 5.27: Worst case Nyquist plots (at roll angle sensor) for three controller
parameter sets of Table 5.3
150 Design of control laws with NDI
5.7 Conclusions
Nonlinear D ynamic Inversion is a very attractive methodology for flight control
law design, since nonlinearities of the flight dynamics are compensated, avoiding
the need for gain-scheduling.
In this contribution it was shown how two drawbacks of ND I can be successfully
coped with:
In the first place, global robustness to parametric uncertainties in the synthesis
model was addressed via a multi-model approach, and local robustness to unspe-
cific uncertainties was addressed via linear robustness criteria in multi-objective
optimisation. It was shown that, in addition to linear controller parameters, phys-
ical parameters in the inverse model equations, that are considered uncertain in
5.7 Conclusions 151
−100
0 20 40 60 80 100 120 140 160 180 200
5
retard init
Verror (m/s)
−5
0 20 40 60 80 100 120 140 160 180 200
time (s)
Figure 5.28: Tracking of glide slope, localiser and selected approach speed (error
signals) (approach 2-2)
the design model, are very effective as additional tuning parameters to achieve a
robust design.
In the second place, it was shown that manual formula manipulation, coding and
verification work can be avoided by automatic generation of the inverse control
laws from the same symbolic aircraft model in M odelica as from which the simu-
lation model was obtained.
Three controller variants were compared regarding performance and robustness.
For this µ-analysis was used, based on an LFT model automatically generated
from the aircraft model in M odelica. For parameter synthesis, worst model cases
were sought using a grid-based search with a reduced parameter set. µ-Analysis
based on the full parameter set revealed that worst cases had not always been
found. Unfortunately, the required low-order LFT model was available only well
after the design work had been finished. The methodology is now actually used
to search for stability-related adverse model cases for inclusion in multi-model
design optimisation. E ven µ-analysis as an optimisation criterion by itself can be
included.
The designed control laws were used as inner loops in an autoland system that
was successfully implemented and flight tested in the DLR Advanced Technologies
Testing Aircraft System (ATTAS) [12].
152 Design of control laws with NDI
−5
0 20 40 60 80 100 120 140 160 180 200
10
Flare
θ (deg)
−10
0 20 40 60 80 100 120 140 160 180 200
5
Align
dψ/dt (deg/s)
−5
0 20 40 60 80 100 120 140 160 180 200
time (s)
0.1
ny (−)
−0.1
0 20 40 60 80 100 120 140 160 180 200
time (s)
−10
0 20 40 60 80 100 120 140 160 180 200
5
flare
qb (deg/s)
−5
0 20 40 60 80 100 120 140 160 180 200
10
rb (deg/s)
align
−10
0 20 40 60 80 100 120 140 160 180 200
time (s)
align
−5
0 20 40 60 80 100 120 140 160 180 200
10
flare
δE (deg)
5
0
−5
0 20 40 60 80 100 120 140 160 180 200
2
0
δR (deg)
−2
−4 align
−6
0 20 40 60 80 100 120 140 160 180 200
100
N1 (%)
50
retard
0
0 20 40 60 80 100 120 140 160 180 200
time (s)
70
60
0 20 40 60 80 100 120 140 160 180 200
10
5
α (deg)
−5
0 20 40 60 80 100 120 140 160 180 200
5
β (deg)
−5
0 20 40 60 80 100 120 140 160 180 200
time (s)
Figure 5.33: Complementary filtering of speed, angle of attack and side slip angle
estimation (approach 2-2)
Chapter 6
Abstract
The application of multi-objective optimisation to the design of longitudi-
nal automatic landing control law s for a civil aircraft is discussed. The
control law s consist of a stability and command augmentation, a speed /
fl ight path track ing, a glide slope guidance, and a fl are function. Multi-
objective optimisation is used to sy nthesise the free parameters in these
controller functions. Performance criteria are thereby computed from lin-
ear as w ell as nonlinear analy sis. Robustness to uncertain and vary ing
parameters is addressed via linear robustness criteria, and via statisti-
cal criteria computed from on-line Monte C arlo analy sis. F or each con-
troller function an optimisation problem set-up is defi ned. S tarting w ith
the inner loops, the sy nthesis is seq uentially ex panded w ith each of these
set-ups, eventually leading to simultaneous optimisation of all controller
functions. In this w ay , dy namic interactions betw een controller compo-
nents are accounted for, and inner loops can be compromised, such that
these can be used in combination w ith diff erent outer loop functions. This
reduces controller complex ity w hile providing good over-all control sy stem
performance.
C o n tributio n s
• Proof-of-concept of the fl ight control law design and modelling
methodologies presented in C hapters 2 and 5 , describing the design
of an autoland sy stem from modelling up to fl ight test;
• A strategy for tuning of large control sy stems, comprising multiple
interacting loops and functions;
• Direct use of Monte C arlo-based statistical certifi cation criteria in
optimisation of automatic landing control law parameters.
P ublicatio n
G ertjan L ooy e and H ans-Dieter J oos: Design of Autoland Controller
Functions with Multi-O bjective optimisation, J ournal of G uidance, C on-
trol, and Dy namics V ol. 2 9 (2 ), American Institute of Aeronautics and
Astronautics, 2 0 0 6 , pp. 4 7 5 – 4 8 4 .
Design of autoland controller functions 157
atm osp here (sea lev el tem p T 0 , airp ort elev ation Hrwy)
G lid e path
" IL S c one"
A irc raft (c onf., m , C oG , ...) )
head, c ross wind ( W X3 3 ,W Y33
and aircraft parameters and disturbances is below a certain level. It will be shown
that these stochastic measures can be directly incorporated as optimisation cri-
teria, providing an effective means to address robustness to varying aircraft and
environment parameters. A similar principle for robust multi-objective tuning of
control laws was proposed by Schy and G iesy [117], using a linear approach to com-
pute stochastic properties of performance measures. Wang and Stengel [134] use
weighted-sum optimisation to minimise the risks of violating design criteria with
respect to stochastic parameters. The risks are computed using on-line Monte
Carlo analysis. In this work, on-line Monte Carlo analysis will be performed to
compute risk-based criteria with respect to varying landing parameters, providing
a direct link with certification requirements, and allowing additional criteria to
be computed from individual MC simulations.
The actual optimisation problem is formulated to minimise the maximum over
all scaled criteria, under the specified inequality or equality constraints [61]. This
so-called min-max approach allows the designer to steer compromise solutions
between conflicting criteria by adjusting their scalings. The applied methodology
was developed by K reisselmeier and Steinhauser and has been implemented in the
computer-aided control system design tool MOP S (Multi-Objective P arameter
Synthesis) [52], developed at the DLR Institute of Robotics and Mechatronics. A
similar min-max optimisation approach was proposed by Schy et al. [117], and is
also applied in the Control Designer’s Unified Interface (CONDUITR ) by Tischler
et al. [129].
The optimisation approach makes it possible to simultaneously tune all design pa-
rameters in all control law functions. This saves manual iterations to harmonise
performance of individual functions and allows controller complexity to be re-
duced, since one set of inner loop functions may be tuned to work in combination
with different outer loop functions. However, performing this optimisation in one
shot is impractical. For the designer it becomes diffi cult to keep track of the large
amount of criteria and design parameters, making it hard to decide if and where
the controller structure needs to be enhanced, to recognise and adjust conflicting
criteria, etc. For this reason, a stepwise tuning strategy is proposed. Inner loops
functions are tuned first, then the optimisation task is expanded step-by-step with
the outer loop functions, eventually leading to simultaneous optimisation of all
tuning parameters in all functions. The designer can thus concentrate on one func-
tion at a time, but eventually the optimisation addresses the integrated system.
Since tuning parameter values resulting from one optimisation provide starting
values for the next, highly effi cient local optimisation algorithms in general work
well.
In this chapter the design of the longitudinal part of an autoland system for a
small passenger aircraft is discussed. More details on the lateral modes can be
found in Ref. [73]. An in-depth discussion on robust tuning of the lateral inner
loops is presented in Chapter 5 of this thesis.
This chapter is structured as follows. In Section 6.1 the aircraft model is briefly
described. In Section 6.2 the applied design process is discussed: the individual
steps in this process are described in Section 6.3 (controller architecture), in Sec-
160 Design of autoland controller functions
tion 6.4 (optimisation set-ups for the controller functions), in Sections 6.5 and 6.6
(the optimisation strategy and optimisation problem formulation), and in Sec-
tion 6.7 (analysis of design results). Some flight test results are briefly discussed
in Section 6.8. Finally, conclusions are drawn in Section 6.9.
where C̄mq and Cmq are the perturbed and nominal values respectively, and ∆Cmq
is the tolerance: −0.3 ≤ ∆Cmq ≤ 0.3. The vector containing all uncertain pa-
rameter tolerances in the aircraft model is pu .
The available controls are ailerons δA , elevator δE , rudder δR , and engine throttle
settings δT H 1,2 , see Table 2.3. The tail plane angle of incidence δT is used for
trimming. The control surface actuators are linear, but rate and position limited.
The turbofan engine dynamics and thrust computation are nonlinear. The fuel
control unit shows backlash behaviour, equivalent to several degrees of throttle
input.
The wind model includes wind shear as present in the earth’s boundary layer, Dry-
den turbulence filters (as specified in Ref. [37]), as well as additional parametrised
wind shear models. For the atmosphere, approach terrain, runway and ILS equip-
ment characteristics, parametrised models are included. The environment-related
parameters are contained in the vector pe (see Figure 6.1).
The model outputs are the measurements available to the control system, see
Table 2.2: calibrated airspeed Vc a s , true airspeed Vta s , ground speed Vg , body
angular rates p, q, r , attitude angles φ , θ , ψ , load factors nx , ny , nz , track and
flight path angles χ , γ , angle of attack α, vertical speed VZ , deviations from the
ILS beam εL O C (localiser), εG S (glide slope, both in mA), radio and barometric
altitude Hr a , Hb a r o , and the mean fan shaft speed of both engines N1 . The
sensor models are linear, but the output signals are quantised. The signals N1 ,
εL O C , εG S , and α are corrupted with noise. Finally, parameters related to the
aircraft configuration (e.g. the mass m, and the centre of gravity location xC G )
may be assumed known to the controller and are collected in the vector pk .
6.2 The applied design process 161
The design process as applied for the automatic landing control laws is depicted in
Figure 6.2. As a first step (A), the global architecture is defined. Detailed design
C u rren t M ode l de -
m o d el d ata v e lop m e nt
3
Autoland control law A
F u n c tio n al arch ite cture de v e lop m e nt
D esig n R eq ./ & functional b re ak down 2
C ertific atio n
sp ec s
B Controlle r
Controlle r function inte g ration
de taile d de v e lop m e nt:
- arch ite cture (T )
- com p utational crite ria
1b
1a
O p tim iz ation of C
inte g rate d controlle r
Latest
(flig h t test)
m o d el d ata Autoland controlle r D
nonline ar as s e s s m e nt
fla re
e
G S T
TEC S Tc inverse
reta rd
B L-
th ru st m a p com p
Va p p
F la re
(va r. Ta u ) R eta rd
F eed b a ck sig -
na l synth esis
Figure 6.3: Autoland controller architecture (Remark: for block inputs, only
command and error sig nals show n)
fi ed, separated by dashed lines: S tability and C ommand Aug mentation (S C A),
S peed/ P ath T racking (S P T ), and g uidance. C omplex ity of autopilot control law s
may be considerably reduced by implementing one component for each function
only. T his is an important feature of the T otal E nerg y C ontrol S ystem (T E C S )
w hich is used as a S P T function: a sing le speed/ path tracking control law can
be used as the core of a complete set of long itudinal autopilot modes [6 6 , 6 5 ].
In this autoland architecture, the same principle is applied to the S tability and
C ommand Aug mentation (S C A) function, w hich is used by all S P T functions.
In this chapter, only the desig n of the long itudinal controller functions w ill be
discussed. A brief description of each of the functions is g iv en in the follow ing .
Inner loops
T he task of the inner loops is to improv e stability and to achiev e robust tracking of
command v ariables (φref , θref , ψ 0c m d ). T he use of θref as inner loop command
v ariable allow s for direct control ov er the pitch attitude dynamics. E specially
during fl are, these play an important role in pilot acceptance.
T he inner loops w ere desig ned w ith N onlinear D ynamic Inv ersion (N D I) [3 4 ].
Inv erse model eq uations compensate the nonlinear aircraft dynamics, resulting in
6.3 The controller architecture 163
where q0cmd is the pitch acceleration command to the NDI controller, θref is the
commanded pitch attitude angle, and Kθ and Kq are constant gains.
p e KTI
+ +
a e
+ S - Tc
+ p W
a KTP
+
2 -KF
. +
V KF KE P
g s peed lo o p -
C
(path prio rity )
+ - + KE I - ref
KV . +
. + +
Vcas g -
c - Vc Ve S +
g g 0
Vcas
Figure 6.4: TECS controller structure (subscript e denotes an error from a com-
manded value)
off ers pilot-like decoupled tracking of speed and flight path angle commands. The
input signals are air mass referenced flight path angle γa ≈ −VZ / Vcas and filtered
acceleration V̇ˆ / g and the errors from the commanded values. H ere, TECS con-
trols pitch attitude θref and thrust (per unit weight, δ T c / W ). An inverse thrust
map and an engine backlash compensation scheme (B L comp) are used to gener-
ate appropriate throttle commands (F igure 6.3). The gain KF allows for shifting
control priority to flight path tracking. The speed loop is opened in case thrust
saturates.
The feedback signal V̇ˆ / g is obtained from complementarily filtering of the mea-
sured calibrated airspeed Vcas and the time derivative of the inertial speed V̇ , with
time constant τV , see F igure 6.5 and Ref. [66]. The acceleration V̇ is computed
164 Design of autoland controller functions
.
V
^.
V
1 + 1
Vc a s ^
- v s V
Vc a s0
from:
q
V = VvT Vv
dV 1 T
= Vv V̇v
dt V
nx 0
dV 1 T
= V −Tvb ny g − 0 (6.3)
dt V v
nz g
The acceleration error V̇¯e /g is computed from proportional feedback of the cali-
brated airspeed:
where Vap p is the selected approach speed. Note that Vcas instead of the comple-
mentary filtered V̂ is used for feedback. The reason is that during wind shear the
aircraft has to accelerate or decelerate in order to maintain airspeed, i.e. V̇ 6= 0.
Consequently, the integrator output in Figure 6.5 will have a steady state error
[23].
The structure of the glide slope mode is depicted in Figure 6.6. The flight path
angle error is input to the TECS controller and is computed as follows: [66]:
1 1 ˆ
γe = Kh ∆h̃ − ḣ (6.6)
V̂ τh s + 1
6.3 The controller architecture 165
^
V
~ 1 .
hG S Kh x e
hs+1 +
in it .
h
c o m p lem en ta ry filter
V S in (-3 /5 7 .3 )
+
+ + 1
h.-1
.
Z - s
in it
, ,
% %
%
# $
!
%
& # ' ( ) *
+
" ! "
. .
Hrw y -H
.
dead zone
Z .
lim ite r Hrw y
fla re -
+ h.-1 1
Hra fl
0
- + s
Hra re se t a t
fla re in it
touchdown point.
nom i
nal g
lid e s
l ope
cros s ing : flare init
Hra fro m s e n s o r
Hra (e x a g g e ra te d )
Htr
Hfla re
a c tu a l Hra
0.1 s tim e
e rro r in in itia l Hra d u e to s te p -tra n s ie n t
Hra ,s e n s - Hra a t u n d e la y e d fla re in it
0.1 s tim e
Table 6.1: Criteria for the SCA function. R emarks: All computations: sym-
metrical horizontal flight; altitude=1000 ft; nominal aircraft loading. Step times:
ts = 1 s. R ise time: ∆t between 10% and 90% of command. G ain/ phase margins:
computed using margin-command [79].
v alu e large r th an 6 (’good -low ’) is consid e re d e q u ally good and th e re fore scale d to
0 . B e low 6 d B , th e scale d v alu e incre ase s line arly , su ch th at a v alu e of 1 is re ach e d
for th e b ad -low v alu e of 4 d B . A ny v alu e b e tw e e n 4 and 6 d B is acce p tab le , any
v alu e low e r th an 4 d B is consid e re d u nacce p tab le (b ad ). A s an e x am p le , if th e
gain m argin is 3 d B , its scale d v alu e e q u als 1 .5 . In th e sam e fash ion, ’good -h igh ’
and ’b ad -h igh ’ v alu e s can b e sp e cifi e d . It m u st b e note d th at th e corne r b e tw e e n
th e slop ing line (< 6 d B ) and th e h oriz ontal line p roje cting crite ria v alu e s to z e ro
is (sh arp ly ) rou nd e d u sing an e x p one ntial fu nction, in ord e r to m ak e su re th e
scale d crite rion v alu e re m ains sm ooth .
T h e scalings ap p lie d to th e SC A crite ria are giv e n in th e fi rst p art of T ab le 6 .4
(T H rt ... DAM P d i). Som e of th e crite ria are tre ate d as ine q u ality constraints
(i.e . ĉk (T ) ≤ 1 ). F or e x am p le , an ov e rsh oot of le ss th an 5 % is d e m and e d . If
th is is satisfi e d , th e re is no p oint to fu rth e r m inim ise th is crite rion, since th is m ay
u nne ce ssarily go at th e cost of rise tim e . T h e crite rion T H tu rb is p assiv e : its v alu e
is com p u te d at e ach ite ration ste p for m onitoring, b u t ignore d b y th e op tim ise r.
O f cou rse , p assiv e crite ria m ay b e activ ate d any tim e .
S p eed / P a th T ra c k in g (S P T ) co n tro l la w s
T h e task of th e T E C S controlle r is d e cou p le d sp e e d and fl igh t p ath angle track ing,
w h ile p rov id ing ad e q u ate stab ility m argin. T h e se task s are re fl e cte d b y crite ria
th at are com p u te d from th re e nonline ar sim u lations and line ar analy sis, se e T a-
b le 6 .3 . Sim u lations 1 and 2 are inte nd e d for fl igh t p ath angle and sp e e d ste p
re sp onse sh ap ing. Sim u lation 3 is inte nd e d to asse ss tu rb u le nce re je ction. T h e
corre sp ond ing scalings are giv e n in T ab le 6 .4 . T h ose for d am p ing and stab ility
m argins are as in T ab le 6 .4 .
170 Design of autoland controller functions
Table 6.3: Criteria for the SP T function. Remarks: ∆ denotes deviation from
trimmed value
Of course, the SP T control laws always work via the SCA system. Thus, ex-
cept for the TECS gains, also tuning parameters in the N D I controller aff ect the
performance criteria in Table 6.3.
Glide slope mode
For the glide slope mode again command shaping criteria are applied, see Table 6.4
(simulation 1). A more important aspect during glide slope and approach speed
tracking is disturbance rejection, whereas pitch attitude dynamics and throttle
activity have to be limited for passenger comfort and pilot acceptance reasons.
D esign requirements were based on indicators listed in the second column of Ta-
ble 6.4. One possibility is to derive computational criteria from analytical covari-
ance analysis. For this work, a diff erent approach was tried, based on nonlinear
approach and landing simulations performed in on-line M onte Carlo analysis that
is used to compute statistical flare law criteria (to be discussed in the next sub-
172 Design of autoland controller functions
section), see Table 6.4. Since each landing is performed with different parameter
vectors pe , pk , their variation is implicitly addressed in optimising for disturbance
rejection. Due to the large number of simulations involved, the risk that the op-
timiser may anticipate a specific noise signal, is reduced. However, the random
generators used in the Monte Carlo analysis are re-set before each run, so that the
ith individual simulation in different Monte Carlo runs always uses the same set
of parameters values and noise signals. This is required in order to prevent noisy
criteria due to variations in simulated disturbances. The scalings on the criteria
are given in Table 6.4.
Table 6.4: Criteria for the Glide Slope mode. Remarks: nmc = to tal n u mb er o f
M o n te C arlo simu latio n s, imc = in d ex o f in d iv id u al M C simu latio n , tf l i M C = fl are
in itiatio n time fo r simu latio n imc , .̄. in d ic ates mean v alu e fo r 1 0 s < t < tf l i M C , Vca s f i l t
is Vca s fi ltered w ith 5 s time c o n stan t.
Flare mode
For the flare mode deterministic and stochastic criteria are considered. The de-
terministic criteria (Table 6.5, 6.4) are computed from a nonlinear landing simu-
lation. The stochastic criteria are computed from on-line Monte Carlo analysis.
To this end, nM C = 400 nonlinear landing simulations are performed in which
all disturbances are applied. Before each landing simulation iM C , 16 operational
parameters (∈ pk , ∈ pe , see Figure 6.1) are selected randomly, according to pre-
scribed statistical properties. After completing the simulations, the mean values
and standard deviations of so-called risk-parameters are determined. The longi-
tudinal risk parameters are: the height of the main gear over the runway at 60
6.4 Optimisation problem set-ups 173
XT D li m ,6
: P (XT D ≥ XT D li m ,6
) = 1 0 −6 (6 .8 )
Functional
D e s ig n R e q ./ For each set-up: 2
C e rtification * selection of m od el cases 2
s p e cs * set criteria properties
1
For a combined optimisation task (step 1), criteria properties (scaling, type) are
adjusted and, if desired, multiple model cases are selected (step 2). The latter
allows for compromising performance between nominal and worst-case model pa-
rameter combinations (pe , pu , pk ) and is therefore an eff ective means to address
6.5 Controller optimisation strategy 175
uncertain m odel param eters in the inv erse m odel eq uations in the control law was not neces-
sary. M ain reason is that the m ax im um uncertainty lev els of m ost long itudinal aerodynam ic
coeffi cients are lower than those of the lateral coeffi cients, see T ab le 2 .5 .
176 Design of autoland controller functions
τḣ 15 3.9 s
KF L -0.04 r a d(m/s)−1
Hb ia s 1.4 m
θ̇R a mp 0.18 r a d/s
KF W 1 –
KR W 0.12 r a d(m/s)−1
Flare
Hr eta r d 6.0 m
Hf la r e 12.1 m
The criteria cijk ∈ Si , Se are used as inequality and equality constraints respec-
tively. The affiliation of criteria to one of the groups Sm , Si or Se respectively,
can be changed at any time depending on the design progress. This feature is for
example used when adding the TECS set-up to the SCA one: the SCA criteria are
changed from minimisation to inequality constraints, allowing TECS performance
to be improved while the demanded level of performance of the SCA function is
allowed to deteriorate to the level of demanded criteria values (dijk ). The opti-
misation problem (6.9) is formulated automatically by the MOPS environment.
Adding optimisation sub-tasks or model cases, and setting properties of criteria
is done with the help of a graphical user interface, or via scripts [52].
The min-max optimisation problem is solved by reformulating it as a standard
Nonlinear Programming (NL P) problem with equality, inequality and simple
bound constraints. This reformulation is done fully automatically, after which
the NL P problem is solved by using one of several available powerful solvers im-
plementing local and global search strategies. Besides efficient gradient-based
solvers, also gradient-free direct search-based solvers (usually more robust, but
somewhat less efficient) are available to address problems with noisy or non-
smooth criteria. Solvers based on statistical methods or genetic algorithms are
available as well. For this work, for the SCA and TECS functions Sequential
Q uadratic Programming (SQ P) was used, after augmenting the glide slope and
flare set-ups a pattern search method was applied, which turned out to cope better
with the criteria derived from on-line Monte Carlo analysis.
maxGLDdev50
meanGLDdev
meanHTP60
maxGLDdev
stdevHTP60
maxTHEdev
meanVZTD
stdevVZTD
maxVCdev
VZTDnom
meanXTD
limHTP60
stdevXTD
XTDnom
limVZTD
THCturb
THRturb
DAMPdi
THcontr
THgrad
dHgrad
limXTD
THcmd
THturb
NZturb
DAMP
gmSQ
pmSQ
gmSG
pmSG
gmAD
pmAD
GAVA
VAGA
gmAD
pmAD
DEdot
gmSV
pmSV
dTHR
GAos
GSos
THos
VAos
GAst
GSst
VAst
GArt
GSrt
THrt
VArt
SCA TECS GS FLARE MONTE CARLO
10 1
θ (deg)
imag
8 0
6 −1
4 −2
0 2 4 6 8 10 12 −2 −1 0 1 2
time (s) real
Figure 6.13 : SCA results (for legend, see caption of Figure 6.12)
6.7 Controller optimisation results 179
margin is 85 deg, which is larger than the good-low value of 60 deg (Table 6.4)
demanded for pmAD. As depicted in Figure 6.12 on the pmAD axis, the scaled
criterion value is thus 0 (note that this is the case for all linear criteria).
The result of the combined optimisation of the SCA and SPT function is rep-
resented by the dashed line. This time, the curve can be drawn for the parallel
co-ordinates up to DAM P (dashed line, marker ’o’). The resulting tuning param-
eter values can be found in the second column of Table 6.6. All scaled criteria
values are below one, except for T H c md and T H R tu rb (set passive). However,
exceedance with 20 and 40% was considered acceptable, since these criteria were
not considered critical. Corresponding step responses on γa and Vc as can be found
in Figure 6.14 (dashed lines). Due to further adjusting Kθ and Kq , SCA criteria
values have changed in Figure 6.12. T H rt increased somewhat, but not beyond 1
(i.e. rise time < 2.5s), since the criterion was set as an inequality constraint in
the optimisation. Damping (DAM P d i) and control effort (T H co n tr) have deteri-
orated, but are still acceptable (< 1). Intermediate parameter studies with the
SCA and TECS functions for longitudinal aerodynamic coefficients in pu revealed
that criteria values did not degrade to unacceptable levels. For this reason it was
decided to proceed with the gains as found from optimisation with the nominal
aircraft model.
step response γ step response Vcas
5 12
Vcas
4 10
γ (deg), Vcas (m/s)
θ, γ (deg), Vcas (m/s)
γ 8
3
θ 6
2
4
1
2
V
cas γ
0 0
−1 −2
0 20 40 60 0 20 40 60
time (s) time (s)
Figure 6.14: TECS results (for legend, see caption of Figure 6.12)
Results of the combined optimisation of SCA, SPT, and GS set-ups will not be
discussed (third column of Table 6.6). The final optimisation step involves all
set-ups augmented into a single optimisation task. The result is represented by a
solid line in Figure 6.12 (marker ’*’). The corresponding tuner parameter values
can be found in the fourth column of Table 6.6.
Regarding the nominal flare manoeuvre (Figure 6.15), all criteria (X T Dn o m ...
DE d o t) are satisfactory, except for T H g ra d (Table 6.5). It turned out that a
slight nose drop during the flare (0.3 deg) had to be tolerated, unless considerable
emphasis was put on feedforward. This however made it hard to meet Monte
Carlo assessment criteria that will be discussed shortly. At this point, it became
clear that architectural enhancements will be necessary to further improve the
180 Design of autoland controller functions
5
10
θ (deg)
(m)
4
ra
H
5
3
0
2
0 1 00 2 00 3 00 4 00 500 0 100 200 300 400 500
D is t. from thre s hold (m) Dist. from threshold (m)
Throttle activity
Glide slope offset
10
25
backlash compensated
backlash not compensated
5
Throttle (deg)
(mA)
0 20
GLD
ε
−5
−10 15
−5000 −4000 −3000 −2000 −1000 0 −5000 −4000 −3000 −2000 −1000 0
Dist. to threshold (m) Dist. to threshold (m)
d esig n .
A m ajo r c o n c ern fo r g lid e slo p e track in g w as en g in e th ro ttle b ack lash . S in c e T E C S
uses th ro ttle fo r fl ig h t p ath track in g , un ac c ep tab le o sc illatio n s aro se. T h ese c o uld
b e red uc ed v ia a c o m p en satio n sch em e usin g m easurem en t o f th e m ean fan sh aft
sp eed N1 o f b o th en g in es. Fig ure 6 .1 6 sh o w s n o m in al g lid e slo p e track in g p er-
fo rm an c e an d th ro ttle ac tiv ity w ith o ut (d o tted ) an d w ith b ack lash c o m p en satio n
(so lid ). B o th th ro ttle ac tiv ity an d o sc illatio n s h av e red uc ed c o n sid erab ly . T h e
m ax im um o v er-all d ev iatio n (maxGLDdev) an d m ax im um d ev iatio n 5 0 m b efo re
th resh o ld (maxGLDdev5 0 ) un d er turb ulen t c o n d itio n s w ere d iffi c ult to im p ro v e
b ey o n d th e c riteria v alues sh o w n in Fig ure 6 .1 2 (sc alin g s h ad to b e reliev ed as w ell,
see T ab le 6 .4 ). In sp ec tio n o f in d iv id ual lan d in g s fro m th e M o n te C arlo an aly sis
rev ealed th at th ese m ax im um v alues o c c urred d urin g ex trem e w in d sh ears (>9
ft/ s), c aused b y a c o m b in atio n o f h eav y turb ulen c e an d th e stan d ard w in d p ro fi le
as a fun c tio n o f h eig h t [3 7 ]. In furth er tun in g , such c ases sh o uld b e elim in ated .
T h e T E C S related p aram eters h av e b een c o n sid erab ly m o d ifi ed d urin g th e fi n al
o p tim isatio n step . C learly , p itch attitud e c o m m an d s (T H c md) h av e d ec reased ,
6.7 Controller optimisation results 181
at the cost of throttle activity (dTHR). This is related to minimising pitch at-
titude excursions during glide slope tracking (maxTHE dev). H owever, the latter
criterion was most difficult to improve. Again, it turned out that the maximum
deviations occurred during heavy wind shears. Figure 6.17 shows an example
simulation from Monte Carlo analysis with a θ deviation of ∼5 deg due to a 3
sec. wind shear of ∼9 ft/s. R egarding the SCA related criteria, these slightly,
but acceptably, deteriorate due to further adjustments of Kθ and Kq . The step
response and N yq uist curve (solid) in Figure 6.13 confirm this.
80
8
70
6
60
4
50
2
40
0 30
−6000 −4000 −2000 0 2000 −6000 −4000 −2000 0 2000
Wx (m/s) Vc (m/s)
−5 72
70
−10
68
−15 66
−20 64
62
−25
60
−30 58
−6000 −4000 −2000 0 2000 −6000 −4000 −2000 0 2000
Dist. to threshold (m) Dist. to threshold (m)
The most important criteria for certification are based on risk analysis from Monte
Carlo assessment. The optimised result can be found in Figure 6.18 . The left half
of the figure shows distribution of the risk parameters H TP 60, X TD , and V Z TD
computed from the mean and standard deviations over 2000 landings (during
optimisation, only 400 were used). To the right the resulting cumulative distribu-
tions can be found. As an example for interpretation, the probability of landing
at a sink rate (V Z TD ) higher than 2 m/s is 10−2.4 , as indicated in Figure 6.18 .
The graph should stay outside the shaded area, so that the probability of landing
harder than 3 m/s (for ATTAS) is less than 10−6 (risk to be demonstrated). This
has clearly been achieved by the optimiser. Incorporating these statistical criteria
in the optimisation was found extremely useful, since EASA CS-AW O robustness
criteria could be addressed (and fulfilled) directly.
182 Design of autoland controller functions
0.5
−5
0
5 10 15 20 0 5 10
XTD log[p(XTD > x)] (m)
1 0
0.5
−5
0
200 400 600 0 500 1000
VZTD log[p(VZTD > x)] (m/s)
1 0
−2.4
0.5
−5
0
−1 0 1 2 3 0 1 2 3 4
reference value entered by the pilot (see also lower plot in Figure 6.23).
70
60
0 20 40 60 80 100 120 140 160 180 200
5
flare
0
γa (deg)
−5
−10
0 20 40 60 80 100 120 140 160 180 200
2
retard
dV/dt (m/s )
2
−2
0 20 40 60 80 100 120 140 160 180 200
time (s)
The flare manoeuvre for the third landing during the fourth flight test is depicted
in Figure 6.22 (top left). U nfortunately, the touch down point from the runway
threshold could only be estimated optically, but was about 400 m. The pitch
angle is depicted left below and clearly shows a slight (but unacceptable) nose
drop before touch down. The same holds for the sink rate (top right). The engine
response (N1 , mean value for both engines) is depicted bottom right and decreases
due to throttle retard.
The feedforward part of the flare law (Figure 6.7) is based on a moving average of
the pitch angle commanded by TECS during the approach: θ̂0 . The development
of this value is shown in Figure 6.23 (upper plot). Finally, it is interesting to look
at the complementary vertical speed filter within the flare mode (Figure 6.8).
After flare initialisation this filter estimates the vertical speed with respect to the
runway surface, as well as the component due to a possible runway slope. The
time responses are depicted in Figure 6.24. Apparently, the runway goes slightly
up-hill in flight direction, since the sink rate with respect to the runway surface
is slightly larger (more negative). During design it quickly turned out that even
a small runway slope (1 % ) can make the difference between a too soft landing
and an unacceptably hard one.
184 Design of autoland controller functions
10
−10
−20
0 20 40 60 80 100 120 140 160 180 200
time (s)
1
Hdoterror (m)
−1
−2
−3
−4
0 20 40 60 80 100 120 140 160 180 200
4
Ydoterror (m)
−2
−4
0 20 40 60 80 100 120 140 160 180 200
time (s)
Figure 6.21: Estimated vertical and lateral speed errors (approach 2-2)
6.9 Conclusions 185
3 touch down
10
2
VZ [m/s]
Hra [m]
5
1
0
0
−5 −1
122 124 126 128 130 132 122 124 126 128 130 132
4 60
3 55
θ [deg]
N1 [−]
2 50
1 touch down 45
0 40
−1 35
122 124 126 128 130 132 122 124 126 128 130 132
Time [s] Time [s]
6.9 Conclusions
The application of an optimisation-based design process for automatic landing
control laws has been discussed.
Multi-objective optimisation has proved to be very powerful to handle the large
number of design criteria. Design requirements regarding touch down performance
and glide slope tracking could be directly translated into numerical design crite-
ria. For the Stability and Control Augmentation (SCA) function and Speed and
Path Tracking (SPT) function standard step response criteria (computed from
nonlinear simulations), as well as stability-related criteria like damping and gain
and phase margins have been successfully used.
It has further been demonstrated that robustness to varying (aircraft and envi-
ronment) parameters can be successfully addressed with the help of stochastic
criteria computed from on-line Monte Carlo analysis. In the case of autoland,
this implies that part of the certification criteria have been directly addressed in
the optimisation.
Final optimisation of the system has been successfully performed for all func-
tions simultaneously. This has been used to tune a single SCA function to work
with the SPT and glide slope functions, with the flare law, as well as on its own.
optimisation of the integrated system may thus help to reduce control law com-
186 Design of autoland controller functions
4 filtered (τ=30s)
flare
θc from TECS
2
θc (deg)
−2
100
filtered χ (τ=20s) = estimated rwy heading
95 χ (deg) align
ψrwy (deg)
90
80
0 20 40 60 80 100 120 140 160 180 200
time (s)
Figure 6.23: Computation of moving average pitch attitude and runway heading
angles (approach 2-2)
plexity. However, in order to keep complexity of the optimisation problem for the
numerical algorithms and for the designer in hand, a stepwise tuning strategy has
been proposed. After optimising the SCA function, the outer loop functions are
sequentially added, allowing the designer to concentrate on one function at time,
but eventually resulting in optimisation of all design parameters in the integrated
system.
The design process resulted in good performance of the autoland system and,
according to the Monte Carlo analysis results, is well able to cope with varying
aircraft and environment parameters. The flare law turned out to be close to its
performance limits (eg. a slight undesirable nose drop had to be accepted). For
further improvement of performance and robustness, the structure may have to
be enhanced.
The presented controller structure used in this design was successfully flight tested
in September 2000 on DL R’s ATTAS (Advanced Technologies Testing Aircraft
System). Some of the results have been briefly discussed.
6.9 Conclusions 187
−0.5
[m/s]
−1
rwy
−1.5
V , Hdot
−2 flare
Z
−2.5
−3
−3.5
−4
120 122 124 126 128 130
Time [s]
Figure 6.24: Complementary filtering of radio altitude and sink rate (approach
4-3)
188 Design of autoland controller functions
Acknowledgements
The presented design is based on the autoland system that was developed by DLR
within the project Robust and Efficient Autopilot control Laws design (REAL),
sponsored by the Commission of the European Community (contract nr. BRPR-
CT-98-0627). The DLR design team consisted of Hans-Dieter J oos and Gert-
jan Looye (from the Institute of Robotics and Mechatronics, Oberpfaffenhofen),
and Wulf Mönnich and Dehlia Willemsen (from the Institute of Flight Systems,
Braunschweig). The Matlab-based Monte Carlo assessment tool SIMPALE was
developed by project partner ONERA, France. Finally, the authors would like to
thank the reviewers for their valuable comments.
Chapter 7
Conclusions
190 Conclusions
Abstract
The main result of this thesis is a new, highly automated process structure
for design of complex fl ight control laws. P urpose of this chapter is to
describe this process, and how the other contrib utions of this thesis fi t
in. The result is validated against the ob jectives set in the introduction,
namely to accommodate multi-disciplinary control law design, as well as
preliminary control design methods for early design stages of the aircraft.
A ll contrib utions have been validated on industrial applications. B ased on
this, some lessons learnt will be reviewed. P art of these lessons give rise
to recommendations for future work .
C o n tributio n s
• A n integrated and automated process structure for design of complex
control laws.
7.1 An integrated fl ight control law design process 191
m od e l d ata s ou rce s
De s ign - cu rre nt AC d e s ign s tatu s
P hilos op hy - late s t e x p e rim e ntal re s u lts
P re lim inary 0
FCL d e s ign
R ob u s t FCL s re ad y for
- hard ware te s ting
- load s analy s is
- ae ros e rv oe las tic analy s is
- ...
b y s p e cialis t d e p artm e nts
S p e cifica tio n s ,
A ir cr a ft-le v e l
a n a lys is r e s ults
Aircraft preliminary /
d etailed d es ig n
Fa
st
de
D esig n A irc raft m o d el
sig
P h ilosop h y integ ratio n
n
cy
cle
Baseline FCL
arc h itec tu re
.
C onstru ct aircraft model
A dd linear controller /
command filters (from library )
0
Inversion of A /C model A u tomatic
P rel. d esig n
Working design o f fu nc tio ns
P reliminary analy sis B atch / real-time
(validate/comp are basic decisions) simu lation
no
ok
yes
no
A C
Rapid prototyping design
.
freez e
process Chapter 4
yes O p en-lo o p and c lo sed -lo o p
flig h t d y nam ic s analy sis
d e ta ile d
d e s ig n
The second advantage allows design iterations along loop 2 (Figure 1.3) to be elim-
inated. Although not of multi-disciplinary nature, Chapter 6 has clearly validated
this: M onte Carlo analysis of autoland control laws usually results in iterations
along loop 2. B y directly addressing this analysis in the tuning process, control
laws resulted that automatically fulfi lled the underlying safety req uirements.
After tuning and compromising of the design parameters, the fl ight control laws
are extensively tested in order to validate if (multi-disciplinary) design req uire-
ments have been met in all fl ight conditions, for all aircraft confi gurations, etc.
(lower block in Figure 7.1). In Chapter 5 µ-analysis has been applied to assess sta-
bility robustness of three versions of N D I control laws. The use of object-oriented
modelling allowed for automatic generation of the req uired LFT representation
of the closed loop system. D ue to guaranteed bounds on the structured singular
value µ it could be demonstrated that, in face of the uncertain parameters, the
controllers are robustly stable, have a minimum damping number of ζ = 0 .2, and
have stability margin to spare against other unspecifi ed uncertainties in the form
of worst-case gain and phase margins.
B esides q uantitative assessment, q ualitative analysis of the control laws in the
form of interactive real-time desktop simulation is a valuable tool as well (Ap-
pendix A). It for example allows for easy testing of closed-loop responses to adverse
input signals. This q uickly reveals issues like singularities, undesired transient be-
haviour in case of switching, etc. that remained undetected in batch simulations.
In this way, interactive desktop simulation can be a strong help to improve ma-
turity of control laws released from the off-line design phase.
O nce the assessment step has been passed, control laws may be released for hard-
ware and fl ight testing, as well as for detailed aeroservoelastic and fl ight loads
analysis by specialists in those fi elds. The latter is req uired for certifi cation, but
should, compared with today’s process, no longer result in new control design
iterations along the aforementioned loop 2 (Figure 1.3).
To the right in Figure 7.1 various design iteration loops (A,B ,C,D ) have been
drawn. These loops have been described in Chapter 6 and belong to loop 1 in
Figure 1.3.
O ne of the most important elements of the new design process is multi-disciplinary
aircraft modelling. In Figure 7.1 this aspect is indicated by Multi-disciplinary
aircraft m o de l integ ratio n. The development of multi-disciplinary aircraft models
is discussed in Chapters 2 and 3. O bject-oriented modelling, available in the form
of the free language specifi cation M odelica, is highly suitable for this purpose:
$ "
"
!
&
% %
# $ " #
$ %
* + - .
& ,
! " # & %
Figure 7.3: Modelling process for control law design and simulation
aircraft flight dynamics models has been introduced, combined with a dedi-
cated flight dynamics library with reusable components. This library allows
for model implementation of rigid and flexible aircraft in slow-low up to
fast-high flight regimes;
Model construction and automatic code generation for runtime models has been
summarised in Figure 7.3: model construction (a.o. with the help of compo-
nent libraries) is performed above, various applications for control law design and
simulation are depicted below. Each runtime model form may be automatically
generated from the same model, depending on inputs, outputs, parameters and,
in some cases, states selected by the user.
One of the most notorious disciplinary interactions in flight control law design is
the influence on flight loads and aeroelasticity, and vice versa. In order to include
these aspects in the design model, overlaps in data between aeroelastic and flight
mechanics models need to be addressed before implementation. This has been
subject of Chapter 3. In this chapter the Residualised Model (RM) method has
been extended, allowing for correct integration of rigid and aeroelastic aircraft
model data. Although not exercised in this thesis, these models may be used for
multi-disciplinary flight control law optimisation, see Ref. [60] for an example. In
the mean time, for integration and computation of model data a dedicated process
has been developed, called DAMIP (Dynamic Aircraft Model Integration Process).
Details are provided in Ref. [59 ]. DAMIP largely automates the integration of
model data from various sources, as well as their implementation in the object-
oriented aircraft model.
ua T h rust
sen sors
Figure 7.5 : Interactive simulation and 3-D Stereo visualisation of the flexible
transport aircraft model at the ILA airshow in Berlin, 2006. Equipment set-up
(left) and large public interest (middle). The blue arrows on the aircraft represent
distributed aerodynamic loads, computed on-line in the simulation model (right)
flight loads computation for civil aircraft. Manoeuvre loads analyses are based on
rigid flight dynamics simulation models (including quasi-static aeroelastic effects
only). The Residualised Model method has allowed aeroelastic models from gust
response analysis to be integrated in the simulation of loads design manoeuvres,
in order to assess the effect of structural dynamics on peak and fatigue loads.
In the mean time, the RM method has been extended to rigid aerodynamic models
describing distributed air loads, instead of total aerodynamic forces and moments
that act on the aerodynamic reference point only [107].
The methodology of rapid-prototyping (Chapter 4) has been used in the project
V ECTOR (V ectoring, Extremely short take-off and landing, Control, Tailless Op-
erations Research) [40] to evaluate reduced vertical tail configurations on the
thrust-vectored X -31A experimental combat aircraft (see cover of this thesis).
This evaluation involved ground-based simulation of combat and post-stall ma-
noeuvres by test and fleet pilots (Figure 7.6) at the Patuxent River Naval Air
198 Conclusions
Station in the US. Changes to the vertical tail severely impact lateral-directional
dynamics of the aircraft, requiring adaptation of the control laws. The proposed
rapid-prototyping design process allowed for updating the X-31A model with new
aerodynamic databases and re-generation of nonlinear control laws on-site within
days. The design and evaluation of the control laws is discussed in more detail in
Ref. [123].
In the VECTOR application the results have been used to make recommendations
for controllability of the aircraft with smaller tail configurations. The rapid-
prototyping process herewith offers a methodology to more accurately assess the
airframe configuration in interaction with the control laws and achievable handling
performance. Supporting of such far reaching airframe design decisions, the rapid-
prototyping design methodology is a relevant contribution to the flight control as
well as the over-all aircraft design process.
Figure 7.6: Evaluation of control laws for the X-31A with reduced vertical tail in
the ground based simulator at the Naval air station at Patuxent River, MD. Test
and fleet pilots rated the control laws for standard flight and combat handling
and post-stall manoeuvres as level 1 on the Cooper-H arper scale.
Abstract
This appendix describes the preparation of (object-oriented) aircraft mod-
els for automatic generation of v arious types of analysis models for use
in the fl ight control law design process. A nalysis models for nonlinear
(real time) simulation, linear analysis, L FT-based robustness analysis,
and trimming are discussed.
C o n tributio n s
• A G U I-based procedure for defi ning trimming problems for nonlinear
aircraft models.
A.1 Simulation models for design analysis 207
HE design of flight control laws requires the availability of models that ac-
T curately describe the aircraft flight dynamics and allow for evaluation of all
design criteria of interest.
This appendix is concerned with the application of object-oriented aircraft models
in the flight control law design process. These models are needed in various forms.
For example, linear synthesis techniques require locally linearised state space mod-
els around flight conditions that have been selected as design points. Modern
robustness analysis methods, like µ-analysis, require models in the form of a lin-
ear fractional transformation (LFT), whereby uncertain parameters are explicitly
present and pulled out of the model into a feedback structure. Optimisation-
based design, as discussed in the introduction, can directly work on a nonlinear
model, but as for the examples above, this model should provide all necessary
output to compute design criteria of interest and should allow for external access
to model parameters. Some control design techniques, like Nonlinear Dynamic
Inversion (NDI), even directly incorporate model equations as an integral part of
the control laws.
In this appendix it will be shown how
• simulation models,
• inverse models for computation of equilibrium conditions, and
• linear (parametric) models
can be generated by appropriate specification of input, output, parameter, and
state vectors. Generation of inverse models for various control law structures is
described in Chapter 4 of this thesis.
n (no ise s)
yS im (o u tp u ts fo r simu latio n
uo (o the r inp u ts)
Flight Dynamics analysis)
M odel
yM e a s (me asu re me ns fo r
uc (co ntro l inp u ts) fe e d b ack )
Flight C o ntro l
L aw s
P ilo t co mmand s /
se ttings
Figure A.1: Feedback structure with aircraft model and flight control laws
N ote that the total number of inputs eq uals: nu = nuc + nuo + nn . Two types of
outputs are distinguished:
1 . Measurements for feedback (yM e a s (t) ∈ IR nym ): These are sensor signals
that are available to the control laws;
2. Outputs for analy sis (yS im (t) ∈ IR nys ): These are outputs that provide ad-
ditional signals useful for q ualitative and q uantitative analysis of the closed-
loop system.
The total number of outputs eq uals: ny = nyc + nys . Finally, the model parame-
ters p are set at initialisation and to not change during a simulation. C ommonly
used parameters are aircraft weight and balance (mass, C oG location), off sets on
uncertain aerodynamic coeffi cients, etc.
A fter model translation an algorithm results that computes state derivatives and
outputs in the form:
access to the databus as shown in Figure 2.10. This databus basically represents an
avionics bus in a contemporary civil or military aircraft. In Figure A.2 two objects
called Avionics and C ontrols have been added. This block is intended to create an
input / output interface of the model for implementation in a simulation program. In
this example case, the external inputs U c (control inputs), U o (other inputs) and n
(noises) comply with the division as in Figure A.1. The same holds for the outputs
y M e a s and y S im . N ote that the noise connects directly to the aircraft object and is
distributed internally over turbulence, sensor noise models, etc. The reason is that
it was found physically inappropriate to have noise passed on via the databus. The
Avionics object extracts the desired outputs from the databus, whereas the C ontrols
object sends the inputs (besides noise) to the databus.
Figure A.2: Specification of inputs and outputs at the hierarchical top level of
the ATTAS model for implementation in the feedback structure in FigureA.1
as in (A.1). Solving the above equations is also called trimming and may for
example be done using a Newton-Raphson-based algorithm (as for example in
the MINPACK library [87]). In practice, not all elements of ẋ0 will be fixed
at zero and some of the elements of x0 will be set. More importantly, specific
output values in ySim0 and yM eas0 are fixed at values that characterise the flight
condition, requiring appropriate entries in uc0 and uo0 to be determined. A simple
procedure to specify such equilibrium conditions will be discussed by means of
Example A.2 below.
From equation A.2 it can be seen that model initialisation may be done in two
ways:
1. solve x0 , yM eas0 and ySim0 from (A.2) using a nonlinear equation solver or
optimisation algorithm;
2. specify x, yM eas and ySim in the object model as unknowns, set ẋ = 0 and
translate the model. This results in the equations:
where in this case the inverse of f with respect to x0 results. Note that x
is no longer a state vector, but computed from x = x0 instead.
The first variant is more flexible, since the type of initial condition can be set
by the user without having to newly translate the model. The second variant
results in model equations for a specific type of initial condition, but may be
considerably more efficient since the unknowns are algebraically solved for. The
result may even be exact when no internal variables are solved iteratively in the
translated model.
1. Make sure that all constraint variables that define the trim condition sought
as well as free variables that may be used to maintain this condition, are
visible and accessible through ySim,c , uo,c . n, and/ or p in (A.1). In case
of redundant controls, add co-ordination rules to the model as far as these
cannot be specified as constraints on uo,c ;
212 Model building for control law design
3. Identify and set constraints that apply to the equilibrium condition that
is sought. Some flight mechanical insight is required in order to select the
minimum set of variables that characterises the equilibrium condition;
4. For each single additional constraint defined in step 2, release one variable
that was originally assumed fixed (i.e. in ẋ0 , u0 , p0 ). Again, some model
insight and experience may be required to release variables that make sense
for eventually solving the system of equations.
The outputs and inputs are listed in Tables 2.2 and 2.3 respectively. Actuator and
engine models are left out for this example: the commanded control surface defl ections
eq ual the actual defl ection angles and the engine commands eq ual the actual relative
fan shaft speed (relative to the maximum value). The trimming problem is formulated
in the four steps proposed in the main text:
Step 1:
The trim condition for a co-ordinated level turn can be defined by:
The model inputs and outputs can be found in Tables 2.2 and 2.3: all variables needed
are readily at hand. The aircraft further has two engines and it is desired that these
are set at the same thrust values. This can be achieved by using a single throttle
command in the model that applies to both engines, or the thrust diff erence between
both engines, made available as an additional output, may be required to be zero.
Since the thrust diff erence is available (output ySim (4)), the latter variant is used.
Step 2:
E quation A.2 is represented in the following table, containing the states and only a
selection of the inputs and outputs that are relevant for the trimming problem and
for evaluating the final result (the remaining inputs are assumed to be fixed at zero):
For each variable that is known, an “ x” -marker is set in the constraint column (C ).
D efault values for the state derivatives are zero, as in (A.2).
Step 3 :
In the first place, the rates of the position co-ordinates are allowed to vary freely,
whereas the initial position is fixed at the desired location. In this case this is at an
altitude h0 .
214 Model building for control law design
Note that the initial value of ub has been set to V0 as well: this provides a good
starting value and prevents the first model evaluation during trimming to start at
zero velocity, causing singularity problems in most aerodynamic models.
Step 4 :
Note that in the previous table six additional constraint variables have been specified.
Six other variables now have to be released. In order to maintain speed and flight
path angle, thrust settings (via N 11 and N 12 ) and tail plane incidence angle (δT ) are
most obviously used. L ateral load factor ny and roll angle φ are primarily maintained
with the help of ailerons δA and rudder δR . Of course, yaw rate ψ̇ can not be zero in
turning flight, which is released for the initial track angle χ. The following settings
now result:
A.3 Computation of initial conditions 215
U sually, appropriate starting values for inputs and states may have to be found. This
again requires some experience. In this case for example, N1 is set to 40 % , since
thrust may be a considerably nonlinear function of the fan shaft speed around idle.
Furthermore, the trimmed solution is very unlikely to be found at zero thrust.
The described procedure is very easily realised in a G raphical U ser Interface (G U I),
as for example depicted in Figure A.3. Finally, after solving the nonlinear system of
equations, the following values result:
p
Note the the total load factor (n2x + n2z ) = 1 .9 9 , i.e. dou b le the n orm al g rav ity for
w hich 6 0 deg co-ordin ated tu rn s are w ell k n ow n . A lso n ote that the side slip an g le is
n on z ero: althou g h the aircraft m odel is sy m m etric, the n on z ero b ody an g u lar rate rb
cau ses a sm all side force that is com p en sated v ia side slip an g le an d ru dder defl ection .
A ll z ero v ariab les are z ero u p to m achin e accu racy.
216 Model building for control law design
Figure A.3: Example GUI for defining trim conditions for ATTAS. Activating/deactivating
th e ch eck b ox b etw een th e variab le name and valu e (C -colu mn) sets/releases a constraint vari-
ab le. Th e in-b alance b etw een u nk now ns and th e nu mb er of eq u ations is indicated b y th e nu mb er
in th e top-left corner (z ero, in th is case). Th e “ Trim” b u tton on top actu ally ru ns th e trim al-
gorith m (nonlinear eq u ation solver). Th e “ L in.” performs a linearisation arou nd th e trimmed
fl igh t condition. Th e “ Script” b u tton au tomatically generates a script for trimming and lin-
earising th e aircraft model. H ereb y th e settings in th e GUI are applied in a w ay th at is easily
adapted b y th e u ser. F inally , in case of a constrained variab le in th e GUI, an additional rou nd
ch eck -b ox appears in th e “ M -colu mn” . Activating th is b ox cau ses th e generated script to per-
form trim compu tations in a loop for valu es of th e selected variab les. Th is graph ical interface is
au tomatically set u p u sing M atlab fu nctions b ased on data provided w ith a translated M odelica
model.
A.3 Computation of initial conditions 217
1. M ak e sure that the v ariables (ex cep t for states and state deriv ativ es) that
characterise the eq uilibrium condition are av ailable as model outp uts, and
that controls av ailable to maintain this condition are av ailable as inp uts. A t
this stage, the model w ould still translate into an ODE;
2 . “ Decoup le” state deriv ativ es from the corresp onding states and set them to
z ero. A s in case of S ection A .3 .1, the confi guration as in eq uation A .2 has
been achiev ed;
4 . F or each new ly fi x ed v ariable release one that w as p rev iously fi x ed. This is
best done by defi ning it as an outp ut, so that after translation the v alue is
k now n outside the model.
N ote that this p rocedure is similar to the one p rop osed in S ection A .3 .1.
S ince the model does not contain states anymore, only algebraic eq uations in the
form of an comp uter algorithm result, w ith desired trim state v alues as inp uts and
req uired eq uilibrium v ariables for states and control inp uts as outp ut arguments.
S ince the symbolic translation algorithm w ill try to reduce the dimensions of
systems of eq uations to be solv ed internally to a minimum (e.g. using the tearing
algorithm as sk etched in Ex amp le A .1), the trim comp utation w ill be considerably
faster as comp ared w ith solv ing the ODE as one big system of eq uations. In the
case of A TTA S the diff erence is in the order of magnitude 5 to 10 (during multip le
calls the time lap sed for the inv erse model v ersion w as mostly too small to be
measured w ith the C P U clock ).
inputs and outputs as in Example A.2. The known outputs are collected in Ytrim, the
unknown ones in Ya . The unknown inputs are in U trim, the known ones in U o . The
O I and IO objects now revert the Ytrim outputs into inputs and U trim inputs into
outputs respectively. The re-declaration of states and state derivatives is done via
modifier statements added to the A irc ra ft object. This is done at the depicted level,
so that this object is not changed by itself. The known states and state derivatives
may be adjusted from outside with the help of model parameters.
Figure A.4: Specification of inputs and outputs at the hierarchical top level of
the ATTAS model for trim computation
∂f (x,u,p,t) ∂f (x,u,p,t)
A = ∂xT
B = ∂uT
x=x0 ,u=u0 ,p=p0 ,t=t0 x=x0 ,u=u0 ,p=p0 ,t=t0
∂h (x,u,p,t) ∂h (x,u,p,t)
C = ∂xT
D = ∂uT
x=x0 ,u=u0 ,p=p0 ,t=t0 x=x0 ,u=u0 ,p=p0 ,t=t0
(A.7 )
δ ẋ = A(p)δx + B(p)δu
δy = C(p)δx + D(p)δu (A.9)
(A.10)
2. Transform (A.10) into an LFT, either manually, or with the help of dedicated
symbolic tools [44, 63]. This transformation is possible, provided that the
elements of the state space model depend on the elements of p in a rational
and polynomial way [27 ].
220 Model building for control law design
z w
y M u
Since for the second step sophisticated algorithms are available that allow for
generation of LFTs of low order, the first step is usually considerably more com-
plicated, especially when the model is only available in the form (A.1). It is then
usually required to go back to the model equations and derive the elements of the
state space matrices by hand, see for example R ef. [39]. As already mentioned
in the previous section, object-oriented modelling allows the nonlinear ordinary
differential equations to be derived symbolically. As a result, linearisation may
be performed symbolically as well, see eq. (A.7). B y skipping the substitution
of p0 for p, the resulting state space model explicitly depends on this vector as
in (A.10) [132]. An important problem is that p may influence the equilibrium
condition of the system. For example, if the aircraft mass is a model parameter,
in order to trim the aircraft in straight and level flight at a given airspeed VT AS0 ,
the required angle of attack to maintain vertical force equilibrium will increase
as a higher mass is selected. As a consequence, the vectors x0 and u0 need to
be determined as a function of p as well. Unfortunately, even for aircraft this
may result in too a complicated model for transformation into an LFT. For this
reason, two alternatives are at hand:
1. Substitution of nominally values p0 in computation of x0 and u0 (see Sec-
tion A.3) and substituting these when symbolically linearising the model.
The resulting LFT is only valid for small parameter offsets from p0 . There-
fore, “local” LFTs may be derived at a grid of operating points [132];
Equations of motion of a
fl exible aircraft
222 Equations of motion of a fl exible aircraft
Abstract
In this appendix the equations of motion of a flexible aircraft are derived.
It is assumed that the airframe may be represented by a collection of elas-
tically interconnected g rid points w ith lumped masses rig idly attached to
them. A s a fi rst step, basics of dy namic analy sis of such a sy stem are
review ed. T he derivation of the equations of motion w ill be based on L a-
g rang ian mechanics. Inertial coupling betw een over-all motion and elas-
tic deformation is minimised by the choice of mean axes as body reference
frame. R emaining coupling terms may be neg lected after mak ing a number
of explicit assumptions. C onsequently , interaction betw een deformation
and over-all motion are only induced by external (aerody namic) loads.
B.1 Review of structural dynamics 223
The subscript g refers to a collection of structural grid of points with one or more
lumped masses attached to them. For now, it is assumed that each grid point has
six degrees of freedom, with respect to some local reference system. The degrees
of freedom of all grid points are contained in the (quite large) vector xg :
K g x g 0 = ω 2 Mg x g 0 (B.2)
224 Equations of motion of a fl exible aircraft
xg = Φgh η (B.3)
h i
= ΦgR1 , ΦgR2 , · · · , ΦgR6 , ΦgE1 , ΦgE2 , · · · , ΦgE(nh −6) η
ηR
= [ΦgR , ΦgE ]
ηE
The matrices with subscript gh are also called “half-generalised”, since the rows
represent physical degrees of freedom, the columns apply to generalised co-ordinates.
B.1 Review of structural dynamics 225
where q̄ is the dynamic pressure and Qhha e r o are generalised aerodynamic loads,
its ith column representing generalised forces induced by mode shape φi . The
flutter equation is the basic model representation in aeroelasticity, serving as a
starting point for loads and flutter analyses.
The generalised mass matrix Mhh , the stiffness matrix Khh (due to B.2), and the
generalised damping matrix Bhh (as a function of Khh and Mhh ) are diagonal, so
that the differential equations are decoupled. For the elastic degrees of freedom:
MEEi η̈i + BEEi η̇i + KEEi ηi =
MEEi (η̈i + 2ζi ωi η̇i + ωi2 ηi ) = ΦTgEi Fg
226 Equations of motion of a fl exible aircraft
where i < nh refers to the mode i. Here BEE is assumed to have been selected
such that in the second order differential equations the damping number of mode
i is ζi .
As already mentioned, in most engineering applications the number of modes that
is actually computed is considerably lower than the total number of degrees of
freedom: nh << ndof . Since ndof may be in the order of 104 , massive computation
time is saved by applying the modal transformation xg ≈ Φgh η in the equations of
motion, whereby in the case of aircraft nh is usually in the order of magnitude 102 .
Accuracy is suffi ciently preserved in case the nth
h eigenfrequency is well beyond
the frequency range of interest in analysis [96]. In case Fg does not depend on η,
truncation of modes beyond the frequency range of interest still results in exact
modal response of the retained modes of vibration, otherwise, the ≈-sign is to be
used in the modal equations.
Due to mutual orthogonality rigid body modes usually do not represent pure
translation along, or rotations about, the reference system that is used for modal
analysis, but linear combinations thereof. These mode shapes are therefore re-
placed with purely translational and rotational ones in the direction of respectively
about the mean body axes, which will be defined more precisely later on. As a
result, MRR will mostly no longer be diagonal [113]. Fortunately, orthogonality
between rigid and flexible modes is preserved, since the new rigid modes can be
written as a linear combination of the original ones. This will be of great impor-
tance in developing nonlinear equations of motion for the unrestrained aircraft.
The mode shapes Φghi may be scaled with a constant factor. This is frequently
used to normalise the generalised mass matrix. Here it is assumed that the cor-
rected rigid body modes represent unit translations and rotations, so that MRR
contains total mass and moments of inertia with respect to the mean body axes.
xg ≈ Φgh η (B.10)
the ≈-sign has been introduced due to truncation of higher-order modes (nh <<
ndof ) and since modal response is not exact in case Fg depends on xg . The first
and second time derivatives give deformation rate and acceleration respectively at
the structural grid points. For loads analysis the internal stresses in the structure
are of particular interest. Having solved (B.7) for η, equation (B.1) may be used
to determine resultant loads Lg acting on the lumped mass elements:
Orthogonality of all flexible modes with respect to rigid ones now requires that:
In case the centre of gravity of the lumped mass does not match the location of
the associated grid point, the total mass matrix Mgg (B.1) is block diagonal. By
deriving the equations of motion of lumped mass i with respect to grid point i,
the contribution of each grid point consists of the 6 × 6 block Mggi (see also [97],
page 91):
mi I3 −mi s k ew (li )
Mggi = (B.16)
mi s k ew (li ) Ii
where Ii is the inertia tensor, li the vector from the grid point to the centre of
gravity (body axes), and mi the mass of lumped mass i.
Equation B.15 may then be rewritten as follows:
X
[d0 ]Ti Mggi [δd]i = 0 (B.17)
i
X d 0 + φ 0 × ri T mi I3 −mi s k ew (li )
di
⇐⇒ =0
φ0 mi s k ew (li ) Ii δφi
i
X
T
⇐⇒ d0 mi (di + δφi × li ) +
i
X
φT0 [mi ri × (di + δφi × li ) + mi li × di + Ii δφi ] = 0
i
Note that di and δφi arise from a linear combination of mode shapes and are
not independent. The two equations above will be extremely useful in deriving
nonlinear equations of motion for the unrestrained aircraft.
Finally, the rigid body modes are considered:
I3 −s k ew (ri )
Φ gi R = (B.20)
O3 I3
where −s k ew (ri ) arises from (B.14). The first three modes are translational (in
mean axes x, y, z-direction), the latter three are rotational (around the mean x,
B.2 The equations of motion of a fl exible aircraft 229
y, z-axes). Left and right multiplication with the mass matrix gives:
T
P I3 −skew(ri ) mi I3 −mi skew(li ) I3 −s k e w (ri )
i O3 I3 mi skew(li ) Ii O3 I3
P
mI3 − i mi s k e w (ri + li )
= P P 2 2
i mi s k e w (ri + li ) i (Ii − mi [s k e w (ri + li ) − s k e w (li ) ])
i
s i
dV
di
xb
ub pb
i C oG
i
p
vb
qb
Re
i wb
yb
0
Re rb
xe
zb
ye d i = lo c a l defo r m a tio n
inertial reference frame r i = u n defo r m ed lo c a tio n
ze p i= r i + d i
This reference shape may either be the jig shape or the flight shape in some trim
condition. Small rotational deformations imply that orientation of a lumped mass
element may be described using a vector product rather than a cosine matrix .
An infinitesimal mass element dm within the lumped mass i is considered, see
Figure B.1. The inertial position of this element with respect to the body axes
frame is given by:
where:
• sδi is the position vector to the mass element, measured with respect to
the point ri , in a local reference frame that rotates with the lumped mass
element. For convenience, it is assumed that this reference system is parallel
to the body axes in jig or flight shape condition;
Ṙδi = Vb + (d˙i + δ φ̇i × sδi ) +Ωb × (ri + sδi + (di + δφi × sδi )) (B.22)
| {z } | {z } | {z }
r̄i d¯i
d¯˙i
where:
• Vb : the inertial velocity of the origin of the body frame, resolved in body
axes;
• Ωb : the inertial rotational velocity of the body frame with respect to the
inertial frame, resolved in body axes;
• d¯˙i : the velocity of a mass element in lumped mass i, with respect to the
body reference system;
In the next sub-section the following very useful relations will be used frequently:
B.2 The equations of motion of a fl exible aircraft 233
a × b = skew(a)b a, b ∈ R3
0 −a3 a2
skew(a) = a3 0 −a1
−a2 a1 0
a × b = −b × a = skew(−b)a (B.23)
skew(a)T = −skew(a)
skew(a)skew(b) = abT − aT bI
P R R
i Vi = V
Based on the kinematics of all elementary mass elements the total kinetic energy
is computed as follows:
Z
1 T
Tk in = Ṙδi Ṙδi ρdV (B.24)
2 V
Z T
1
Tk in = Vb + d¯˙i + Ωb × (r̄i + d¯i ) Vb + d¯˙i + Ωb × (r̄i + d¯i ) ρdV
2 V
Z
1 T 1 T
= V V b m + Ωb (r̄i + d¯i )T (r̄i + d¯i )I − (r̄i + d¯i )(r̄i + d¯i )T ρdV Ωb
2 b 2 V
Z Z Z
1
+ d¯˙Ti d¯˙i ρdV + VbT d¯˙i ρdV + VbT (Ωb × (r̄i + d¯i )ρdV )
2
Z V V V
+ ¯ T ¯˙
(Ωb × (r̄i + di )) di ρdV (B.25)
V
Note that the first equation is exactly the form as used in [137], and, replacing
the integral by the summation symbol, also as in [21]. The second element in the
234 Equations of motion of a fl exible aircraft
second equation contains the momentary inertia tensor, as can be seen as follows:
Z
(Ωb × (r̄i + d¯i ))T (Ωb × (r̄i + d¯i ))ρdV
V
Z
= ((r̄i + d¯i ) × Ωb )T ((r̄i + d¯i ) × Ωb )ρdV
ZV
= (skew(r̄i + d¯i )Ωb )T (skew(r̄i + d¯i )Ωb )ρdV
V
Z
= Ωb T
skew(r̄i + d¯i )T skew(r̄i + d¯i )ρdV Ωb
V
Z
= ΩTb ((r̄i + d¯i )T (r̄i + d¯i )I − (r̄i + d¯i )(r̄i + d¯i )T )ρdV Ωb
V
= ΩTb IΩb
Now the following two assumptions are made:
• Assumption 4: V ariation of the inertia tensor as a function of airframe
deformation may be neglected, i.e. I = constant;
• Assumption 5 : Deformation and deformation rates are collinear (i.e. are in
the same direction), so that d¯˙i × d¯i = 0;
It must be stressed that none of these assumptions are necessary, but they are
considered reasonable and do considerably reduce length of the derivation and
complexity of the outcome [135, 19]. The last term of (B.25) then becomes:
Z Z Z
(Ωb × (r̄i + d¯i ))T d¯˙i ρdV = ΩTb (r̄i + d¯i ) × d¯˙i ρdV ≈ ΩT r̄i × d¯˙i ρdV
b
V V V
The origin of the body reference frame is positioned in the centre of gravity of
the airframe:
R
r̄i ρdV
rc g = RV =0 (B.26)
V
ρdV
Dealing with a lumped mass system, the mass and inertia tensor of an element i
are defined as follows:
Z
mi = ρdV (B.28)
ZVi Z
Ii = skew(sδi )T skew(sδi )ρdV = sTδi sδi I − sδi sTδi ρdV (B.29)
Vi Vi
Z R
sδi ρdV
li = sδi ρdV = VRi mi (B.30)
Vi Vi
ρdV
where Vi indicates integration over the volume of the lumped mass i. The vector
li is the location of its centre of gravity with respect to the local origin in ri .
Further note that Ii is the inertia tensor with respect to a local reference system
with its origin in ri and parallel to the body axes in undeformed state.
Integration now over the total airframe volume involves summation over all lumped
masses with volume Vi :
Z
1 1 X ˙T ˙ 1X T X
d¯˙Ti d¯˙i ρdV = di di mi + δ φ̇i Ii δ φ̇i + δ φ̇Ti li × d˙i mi
2 V 2 i 2 i i
where r̄˙i = 0 and the density has been assumed to be constant. This implies that:
Z
(r̄i + d¯i )ρdV = constant (B.32)
V
The location of the centre of gravity with respect to the reference system is thus
invariant. Starting from the undeformed position (compare with equation B.26):
Z
r̄i ρdV = constant = rcg m (B.33)
V
236 Equations of motion of a fl exible aircraft
where rcg is the location of the centre of gravity. Since rcg was set to zero in
(B.26):
Z Z
r̄i ρdV = (r̄i + d¯i )ρdV = rcg m = 0 (B.34)
V V
so that
Z
d¯i ρdV = 0 (B.35)
V
Z
Hrelr o t = r̄i × d¯˙i ρdV = 0 (B.38)
V
Comparing with equation B.18, the conditions (B.36) and (B.39) are satisfied
right away in case di and δφi result from a linear combination of orthogonal mode
shapes from free-free vibration analysis. This implies that the orientation of the
mean axes simply complies with the direction of the rigid translational mode
shapes (along axes of reference system used for modal analysis), with its origin
in the momentary centre of gravity. It will be clear that mean axes are a very
sensible choice as body reference system in case mode shapes are available from
free-free vibration analysis:
B.2 The equations of motion of a fl exible aircraft 237
Vibration modes that result from modal analysis of the unrestrained system auto-
m atic ally fulfi l the linearised T isserand constraints due to orthog onality of these
modes w ith respec t to rig id (i.e. w ithout internal stresses) translational and rota-
tional motion of the airframe.
Note that at this point the following assumption has been implicitly made:
• Assumption 6 : A set of orthogonal modes for the airframe is available, re-
sulting from free-free modal vibration analysis. Deformation of the airframe
may be written as a linear combination of these mode shapes.
Thus, from now on di and δφi are no longer arbitrary, but related as follows:
di Φg i E t
= Φgi E ηE = ηE (B.40)
δφi Φ gi E r
where Φgi E are the rows of the modal matrix for three translational (Φgi Et ) and
three rotational (Φgi Er ) degrees of freedom of grid point i. The subscript E,
as in (B.3), indicates that only elastic modes have been included. The column
dimension of the matrices is the number of flexible modes nhE that is taken into
account.
The kinetic energy is now written as:
1 T 1
Tkin = V Vb m + ΩTb IΩb (B.41)
2 b 2
1 X ˙T ˙ 1X T X
+ di di mi + δ φ̇i Ii δ φ̇i + δ φ̇Ti li × d˙i mi
2 i 2 i i
1 T 1
= Vb Vb m + ΩTb IΩb
2 2
1 X ˙T ˙
+ (d di mi + δ φ̇Ti Ii δ φ̇i + δ φ̇Ti li × d˙i mi − d˙Ti li × δ φ̇i mi )
2 i i
1 T 1
= V Vb m + ΩTb IΩb
2 b 2
T 1
X
+ η̇E (ΦTgi Et mi I3 Φgi Et + ΦTgi Er Ii Φgi Er
2 i
+ ΦTgi Er mi skew(li )Φgi Et − ΦTgi Et mi skew(li )Φgi Er )η̇E
1 T 1
= Vb Vb m + ΩTb IΩb
2 2
T 1 mi I 3 −mi skew(li ) Φg i E t
X
+ η̇E T
Φgi Et ΦTgi Er η̇E
2 mi skew(li ) Ii Φ gi E r
i
Ge = [0, 0, g ]T
G eometric nonlinearities are not considered here: for transport aircraft these are
generally considered to be of secondary importance. Zeiler and Buttrill do address
these effects in Ref. [143].
xB
xV
θ k1
ψ
yV
CoG
ψ
xV, yV φ k2
xE R xB , z v
yB
φ
yE
yB , z B
zB
θ
k3
zV
zE
Note that since Vb and Ωb are resolved in mean body axes, differentiation with
respect to inertial axes is applied using:
d ∂
= + Ωb ×
dt ∂t
2. Coriolis acceleration;
5. centrifugal acceleration.
The local deformation di and its rates are given by (mode displacement):
This implies that velocities and accelerations at grid points (represented by rows in
ΦgE ) may be computed directly. For airframe locations in between, interpolation
is required.
Xi
Yi
Tbi 0 Zi
Fg i = (B.58)
0 Tbi
Li
Mi
Ni
A local reference system i is considered attached to the grid point and undergoes
the same translation and rotation. In undeformed condition, the reference system
is parallel to the mean axes. In deformed condition, the rotation matrix from the
local into body axes is given by Tbi .
The contribution of a local force to the generalised force F in (B.48) is:
Xi
Fi = Tbi Yi (B.59)
Zi
where (ri + di ) is the deformed location of grid point i with respect to the centre
of gravity.
242 Equations of motion of a fl exible aircraft
h i
m V̇b + Ωb × Vb − Tb0 G0 = F (B.48)
h i
IΩ̇b + Ωb × IΩb = M (B.49) (B.62)
Mhh η̈E + Ω2 ηE = Qh (B.50)
derived without making the assumptions 6 and 7. The resulting inertial coupling
terms are worked out and their influence is investigated.
Bibliography
[3 ] X -p la n e w e b site : http://www.x-plane.com/.
[1 0 ] G a ry J . B a la s, W illia m L . G a rra rd , a n d J a k o b R e in e r. R o b u st D y n a m ic
In v e rsio n C o n tro l L a w s fo r A irc ra ft C o n tro l. p a g e s 1 9 2 – 2 0 5 . A IA A , 1 9 9 2 .
A IA A P a p e r 9 2 -4 3 2 9 -C P .
246 Bibliography
[11] J. Bals, G. H ofer, A. Pfeiff er, and C. Schallert. Virtual Iron Bird A Multidis-
ciplinary Modelling And Simulation Platform For New Aircraft System Ar-
chitectures. In DGLR Luft- und Raumfahrtkongress 2005, Friedrichshafen,
DGLR-Jahrb uch 2005, 2005.
[13] G.E. Bendix en, R.F. O’Connell, and C.D. Siegert. Digital active control
system for load alleviation for the lockheed l-1011. Aeronautical Journal,
pages 430 – 436, November 1981.
[17] J.J. Buchholz , J.-M. Bauschat, K.-U. H ahn, and H .J. Pausder. ATTAS
& ATTH eS in-fl ight simulators. In AGARD CP -57 7 : Flight Simulation -
W here are the Challenges? Braunschweig, 1996.
[20] Carey S. Buttrill. Eq uations of Motion for a Maneuvering Flex ible Airplane.
In P roceedings of the SAE Aerosp ace Control and Guidance Systems Com-
mittee Meeting # 6 2, Subcommittee D., Langley Research Center, H ampton,
Virginia, September 1988. NASA. NASA CP-3031.
[21] C.S. Buttrill, T.A. Zeiler, and P.D. Arbuckle. Nonlinear Simulation of a
Flex ible Aircraft in Maneuvering Flight. In P roceedings of the AIAA Flight
Simulation Technologies Conference, Monterey, CA, August 1987. AIAA-
87-2501.
[22] J.R. Canavin and P.W. Likins. Floating Reference Frames for Flex ible
Spacecraft. Journal of Sp acecraft and Rockets, 14(12):724–732, December
1977.
Bibliography 247
[23] Michaela F. Carpino. RCAM Design Challenge – The TECS approach, Lon-
gitudinal Controller. Master’s thesis, Delft University, Faculty of Aerospace
Engineering, December 1995.
[24] R.K. Cavin and A.R. Dusto. Hamilton’s Principle: Finite Element Methods
and Flexible Body Dynamics. AIAA Journal of Aircraft, 15(12):1684–1690,
December 1977.
[25] John. J. Cerra II, Robert A. Calico, and Thomas E. Noll. Modelling of Rigid-
Body and Elastic Aircraft Dynamics for Flight Control Development. pages
386–395, Air Force Institute of Technology, Airforce Wright Aeronautical
Laboratories, Wright-Patterson AFB, Ohio, 1986. AIAA.
[26] Judith S. Dahmann, Richard M. Fujimoto, and Richard M. Weath-
erly. The department of defense high level architecture. In Proceed-
ings of the 19 9 7 Winter Simulation Conference, 1997. Obtained from:
http://www.informs-cs.org/wsc97papers/0142.PDF.
[27] John Doyle, Andy Packard, and Kemin Zhou. Review of LFTs, LMIs, and
µ. In Proceedings of the 3 0th Conference on Decision and Control, Brighton,
England, pages 1227–1232, December 1991.
[28] Jean Duprez. Automatisation du pilotage au sol pour la navigation
aéroportuaire. PhD thesis, Universite Toulouse iii Paul Sabatier, September
2004. In French.
[29] Unmanned Dynamics. AEROSIM aeronautical simulation blockset, Version
1.1 User’s Guide. Available from http://www.u-dynamics.com.
[30] H. Elmqvist. A Structured Model Language for Large Continuous Systems.
PhD thesis, Lund Institute of Technology, Lund, Sweden, 1978.
[31] H. Elmqvist. Object-Oriented Modeling and Automatic Formula Manipula-
tion in Dymola. In SIMS ’9 3 , Scandinavian Simulation Society, Kongberg,
Norway, June 1993.
[32] H. Elmqvist and M. Otter. Methods for Tearing Systems of Equations
in Object-Oriented Modeling. In Proceedings of the European Simulation
Multiconference (ESM’9 4 ), pages 326 – 332, Barcelona, Spain, 1994.
[33] H. Elmqvist, M. Otter, and F. Cellier. Inline integration: A new mixed sym-
bolic /numeric approach for solving differential– algebraic equation systems.
In K eynote Address, Proc. ESM’9 5, European Simulation Multiconference,
Prague, Czech Republic, June 5–8 , 19 9 5, pp. xxiii–xxxiv., 1995.
[34] Dale Enns, Dan Bugajski, Russ Hendrick, and Gunter Stein. Dynamic
Inversion: An Evolving Methodology for Flight Control Design. In AGARD
Conference Proceedings 560: Active Control Technology: Applications and
Lessons Learned, pages 7–1 – 7–12, Turin, Italy, May 1994. NATO-AGARD.
248 Bibliography
[35] Bernard Etkin. Dynamics of Atmospheric Flight. Wiley and Sons, New
York, 1972.
[36] Bernard Etkin and Lloyd Duff Reid. Dynamics of Flight – Stability and
Control. John Wiley and Sons, New York, 1996.
[37] European Aviation Safety Agency (EASA). Certification Specifica-
tions for All Weather Operations CS-AWO, 2003. Available from
http://www.easa.europa.eu/home/certspecs en.html.
[38] C. Fielding and R. Luckner. Industrial Considerations for Flight Control,
volume 184 of Progress in Astronautics and Aeronautics, chapter 1, pages
1 – 55. American Institute of Aeronautics and Astronautics, Reston VA,
2000.
[39] Christopher Fielding, Andras Varga, Samir Bennani, and Michiel Selier
(Eds.). Advanced Techniq ues for Clearance of Flight Control Laws. Lecture
Notes in Control and Information Sciences 283. Springer Verlag, London,
2002.
[40] H. Friehmelt and P. Huber. Vector- Die X31A fliegt zu neuen bahnbrechen-
den Technologiedemonstrationen. In DGLR Luft- und Raumfahrtkongress
2001, H amburg 17.-20. Sept. 2001.
[41] K.K. Gupta, M.J. Brenner, and L.S. Voelker. Development of an Integrated
Aeroservoelastic Analysis Program and Correlation with Test Data. Tech-
nical Report TP-3120, NASA, May 1991.
[42] Duda H., Bouwer G., Bauschat J.M., and Hahn K.-U. In: J.F. Magni,
S. Bennani, J. Terlouw, Eds. Robust Flight Control, a Design Challenge.,
chapter A Model Following Control Approach, pages 116 – 124, 360 –
378. Lecture Notes in Control and Information Sciences, Vol 224. Springer-
Verlag, 1997.
[43] Martin Hanel. Robust Integrated Flight and Aeroelastic Control System De-
sign for a Large Transport Aircraft. Number 866 in Fortschritt Berichte
VDI, Reihe 8. VDI Verlag, 2000.
[44] Simon Hecker. Generation of low order LFT Representations for Robust
Control Applications. PhD thesis, Technical University Munich, 2007.
Fortschrittberichte VDI, series 8, Nr. 1114, VDI-Verlag (Düsseldorf).
[45] J. Hofstee, T. Kier, C. Cerulli, and G. Looye. A Variable, Fully Flexible
Dynamic Response Tool for Special Investigations (VarLoads). In Proceed-
ings of the International Forum on Aeroelasticity and Structural Dynamics
(IFASD), Amsterdam, The Netherlands, June 2003.
[46] Alberto Isidori. Nonlinear Control Systems: An Introduction, volume 72 of
Lecture Notes in Control and Information Sciences. Springer-Verlag, Berlin,
1985.
Bibliography 249
[48] Matthieu Jeanneau. Nonlinear Analysis and Synthesis Techniques for Air-
craft Control, volume 365 of Lecture Notes in Control and Information
Sciences, chapter The AIRBUS on-ground transport aircraft benchmark.
Springer Verlag, 2007.
[49] Joint Aviation Authorities. Joint Aviation Requirements for Large Aero-
planes JAR–25. Technical report, Hoofddorp, The Netherlands.
[50] H.-D. Joos. A methodology for multi-objective design assessment and flight
control synthesis tuning. Aerospace Science and Technology, 3(3):161–176,
April 1999.
[51] H.-D. Joos, A. Varga, R. Finsterwalder, and J. Bals. Eine integrierte op-
timierungsbasiert entwurfsumgebung für flugregelungsaufgaben. Automa-
tisierungstechnik – at, (6), June 1999.
[52] Hans-Dieter Joos, Johann Bals, Gertjan Looye, Klaus Schnepper, and An-
dras Varga. A multi-objective optimisation-based software environment for
control systems design. In Proceedings of the IEEE International Sympo-
sium on Computer Aided Control System Design, Glasgow, Scotland, U.K.,
pages 7–14, September 2002.
[53] J.P. Irving. Flight Control Law Process Model for Use in the GARTEUR
Action Group ” Robust Flight Control in a Computational Aircraft Control
Engineering Environment” . Technical Report TP-088-05, GARTEUR, May
1995.
[54] S. Juliana, Q .P. Chu, J.A. Mulder, and T. van Baten. The analytical deriva-
tion of nonlinear dynamic inversion control for parametric uncertain sys-
tems. In Proceedings CD-ROM of the AIAA Guidance, Navigation, and
Control Conference and Exhibit, San Fransisco, CA, number AIAA-2005-
5849, 2005.
[58] Thiemo Kier and Gertjan Looye. Development Of Aircraft Flight Loads
Analysis Models And Associated Uncertainties For Pre-Design Studies. In
Proceedings of the International Forum on Aeroelasticity and Structural Dy-
namics (IFASD), Munich, Germany, June 2005.
[59] Thiemo Kier, Gertjan Looye, Moriz Scharpenberg, and Marion Reijerkerk.
Process, methods and tools for flexible aircraft flight dynamics model in-
tegration. In Proceedings of the International Forum on Aeroelasticity and
Structural Dynamics (IFASD), 2007.
[60] Michael Kordt, Christian Ballauf, and Dieter Joos. Lastenreduktion an
Groß flugzeugen durch Aktive Bedämpfung der Koplanarbewegung Des
Höhenleitwerks. at – Automatisierungstechnik, (9):451 – 457, September
2002.
[61] G. Kreisselmeier and R. Steinhauser. Systematische Auslegung von Re-
glern durch Optimierung eines vektoriellen Gütekriteriums. Regelungstech-
nik, Heft 3, pages 76 –79, 1979.
[62] W.R. Krüger and M. Spieck. A multibody approach for modelling of the
manoeuvring aeroelastic aircraft during pre-design, 2006.
[63] Paul Lambrechts, Jan Terlouw, Samir Bennani, and Maarten Steinbuch.
Parametric Uncertainty Modeling using LFTs. In Proceedings of the Amer-
ican Control Conference, San Francisco, California, pages 267–272, June
1993.
[64] A A. Lambregts. Avoiding the pitfalls in automatic landing control system
design. AIAA Paper 82-1599, 1982.
[65] A A. Lambregts. Integrated system design for flight and propulsion control
using total energy principles. AIAA Paper 83-2561, 1983.
[66] A A. Lambregts. Vertical flight path and speed control autopilot design
using total energy principles. AIAA Paper 83-2239, 1983.
[67] E. Lavretsky. High Speed Civil Transport (HCST) Flight Simulation and
Analysis Software Development. In Proceedings of the 36th Aerospace Sci-
ences Meeting and Exhibit, Reno, Nevada, Jan 1998. AIAA-98-0173.
[68] F. G. Lemoine, S. C. Kenyon, J. K. Factor, R.G. Trimmer, N. K. Pavlis,
D. S. Chinn, C. M. Cox, S. M. Klosko, S. B. Luthcke, M. H. Torrence,
Y. M. Wang, R. G. Williamson, E. C. Pavlis, R. H. Rapp, and T. R. Olson.
The Development of the Joint NASA GSFC and NIMA Geopotential Model
EGM96. Technical Report NASA/TP-1998-206861, NASA Goddard Space
Flight Center, Greenbelt, Maryland, July 1998.
[69] P.W. Likins. Dynamics and Control of Flexible Space Vehicles. Technical
Report NASA-CR-108209, Jet Propulsion Laboratories, Calif. Institute of
Technology, Janunary 1970.
Bibliography 251
[72] Gertjan Looye. Integrated Flight Mechanics and Aeroelastic Aircraft Mod-
eling using Object-Oriented Modeling Techniques. In Proceedings of the
AIAA Modeling and Simulation Technologies Conference, Portland, USA,
August 1999. AIAA-99-4192.
[74] Gertjan Looye, Carlos Sancho, and Amiel Makdoembaks. Design of Robust
Autoland Control Laws using µ-Synthesis. AIAA Paper 2002-4854, AIAA
Meeting Papers on disc [CD-ROM],Vol. 7, No. 4, AIAA, Reston, VA, 2002.
[75] Gertjan Looye, Michael Thümmel, Matthias Kurze, Martin Otter, and Jo-
hann Bals. Nonlinear Inverse Models for Control. In Proceedings of the third
international Modelica conference, Hamburg, March 2005.
[76] R. Luckner and H. Duda. Autopilot Design Process Study. Technical Report
BRPT-CT98-0627/TP-02v1, Robust and Effi cient Autopilot control Laws
design (REAL), October 1998. Confidential.
[77] Jean-François Magni, Samir Bennani, and Jan Terlouw (Eds). Robust Flight
Control – A Design Challenge. Lecture Notes in Control and Information
Sciences 224. Springer Verlag, London, 1997.
[79] The Math Works Inc. Control System Toolbox, For Use with MATLAB –
User’s Guide, January 1998.
[80] The Math Works Inc. MATLAB – External Interfaces Reference – V ersion
7, March 2005.
[83] Susan McLean, Susan Macmillan, Stefan Maus, Vincent Lesur, Alan Thom-
son, and David Dater. The US/UK World Magnetic Model for 2005-2010.
Technical Report NOAA Technical Report NESDIS/NGDC-1, NOAA Na-
tional Geophysical Data Center, British Geological Survey Geomagnetism
Group, December 2004.
[84] Duane McRuer and Dunstan Graham. Flight Control Century: Triumphs of
the Systems Approach. AIAA Journal of Guidance, Control, and Dynamics,
27(2):161 – 173, March – April 2004.
[85] G. Meyer et al. Nonlinear controller design for flight control systems. In
Proc. IFAC Symp., Nonlinear Control Systems Design, Capri, pages 136–
141, 1989.
[86] R.D. Milne. Dynamics of the Deformable Airplane (Part I and II). Technical
Report R & M Number 3345, and AD-A953155, Her Majesty’s Stationary
Office, London, England, 1964.
[89] Modelica Design Group. Modelica: Language design for multi-domain mod-
eling. http://www.modelica.org.
[95] Philipp Nagel. Design of on-ground control laws for a civil transport aircraft.
Technical report, Master’s Thesis University of Stuttgart, conducted at the
DLR German Aerospace Center Oberpfaffenhofen, Institute of Robotics and
Mechatronics, Oberpfaffenhofen, Germany, 2006. Confidential.
[96] NASTRAN Aeroelastic Analysis, User’s guide. Santa Ana, CA, 2002.
[98] Martin Otter, Hilding Elmqvist, and Sven Erik Mattsson. The new mod-
elica multibody library. In Peter Fritzson, editor, Proceedings of the 3rd
International Modelica Conference, Linköping, Sweden, pages 311 – 330.
Modelica Association, 2003.
[100] Remco Petra. Autoland Control – A Direct Lift Control Approach Based on
Nonlinear Dynamic Inversion and Model Predictive Control. Master’s the-
sis, Delft University of Technology, Department of Aerospace Engineering,
Delft, November 2002.
[103] S.J. Rasmussen and S.G. Breslin. AVDS: a Flight Systems Design Tool for
Visualization and Engineer-in-the-Loop Simulation. AIAA 97-3467. 1997.
[106] Christian Reschke. Flight loads analysis with inertially coupled equations
of motion. In Proceedings of the AIAA Guidance, Navigation, and Control
Conference, 2005. AIAA 2005-6026.
[107] Christian Reschke. Integrated Flight Loads Modelling and Analysis for Flex-
ible Transport Aircraft. PhD thesis, Institut für Flugmechanik und Flu-
gregelung, Universität Stuttgart, 2006.
[108] Christian Reschke and Gertjan Looye. Comparison of Model Integration
Approaches for Flexible Aircraft Flight Dynamics Modelling. In Proceed-
ings of the International Forum on Aeroelasticity and Structural Dynamics
(IFASD), Munich, Germany, June 2005.
[109] K. Roger. Airplane Math Modeling Methods for Active Control Design.
AGARD, (CP-228), August 1977.
[110] W.F.J.A. Rouwhorst. Robust and Efficient Autopilots control Laws design,
demonstrating the use of modern robust control design methodologies in
the autoland system design process – the REAL Project. In Proceedings of
the Aeronautics Days 2001, Hamburg Germany, January 2001.
[111] RTO Task Group SCI-026. Flight Control Design – Best Practices. Tech-
nical Report RTO-TR-029, NATO Research and Technology Organization
(RTO), December 2000.
[112] Christian Schallert. Concept for the design of flight control actuation and
laws for future all-electric aircraft. In Submitted to the 17th IFAC Sympo-
sium on Automatic Control in Aerospace, June 2007.
[113] J. Schuler. Flugregelung und aktive Schwingungsdämpfung für fl exible Groβ-
raumfl ugzeuge – Modellbildung und Simulation. PhD thesis, Institut für
Flugmechanik und Flugregelung, Universität Stuttgart, 1997.
[114] J. Schuler and K. König. Integral Control of Large Flexible Aircraft. In
Proceedings of the RTO AVD Specialists Meeting on Structural Aspects of
Flexible Aircraft Control, Ottawa, Canada, 18-20 October 1999.
[115] Richard Schwertassek, Stefan v. Dombrowski, and Oskar Wallrapp. Modal
Representation of Stress in Flexible Multibody Simulation. Nonlinear Dy-
namics, (20):381–399, 1999.
[116] Richard Schwertassek, Oskar Wallrapp, and Ahmed A. shabana. Flexible
Multibody Simulation and Choice of Shape Functions. Nonlinear Dynamics,
(20):361–380, 1999.
[117] Albert A. Schy and Daniel P. Giesy. Tradeoff Studies in Multiobjective
Insensitive Design of Airplane Control Systems. In Proceedings of the AIAA
Guidance and Control Conference, pages 719–728, Gatlinburg, TN, August
1983.
Bibliography 255
[130] W.R. van Soest, Q.P. Chu, and J.A. Mulder. Combined Feedback Lineariza-
tion and Constrained Model Predictive Control for Entry Flight. AIAA
Journal of Guidance, Control, and Dynamics, 29(2):427–434, 2006.
[134] Qian Wang and Robert F. Stengel. Robust Nonlinear Flight Control of a
High-Performance Aircraft. IEEE Transactions on control systems technol-
ogy, 13(1):15–26, 2005.
[135] Martin R. Waszak, Carey S. Buttrill, and David K. Schmidt. Modeling and
Model Simplification of Aeroelastic Vehicles: An Overview. Technical Re-
port NASA TM-107691, NASA Langley, September 1992. Also presented at
the 17th Congress of the International Council of the Aeronautical Sciences
(ICAS), Stockholm Sweden, September 9–14, 1990.
[136] Martin R. Waszak and Dave K. Schmidt. On the Flight Dynamics of Aeroe-
lastic Vehicles. In Proceedings of the AIAA Atmospheric Flight Mechanics
Conference, pages 120 – 133, Williamsburg VA, 1986. Paper number AIAA
86-2077.
[138] M.R. Waszak and D.K. Schmidt. A Simulation Study of the Flight Dynamics
of Elastic Aircraft: Volume 1 – Experiment, Results and Analysis. Technical
Report NASA CP-4102, NASA, December 1987.
[139] J.C. Willems. Slides of first lecture in short course at CDC 2005 The Behav-
ioral Approach to Systems and Control: Introduction and Recent Advances.
[140] B.A. Winther, P.J. Goggin, and J.R. Dykman. Reduced Order Dynamic
Aeroelastic Model Development and Integration with Nonlinear Simulation.
AIAA Journal of Aircraft, 37(5):833 – 839, 2000.
Bibliography 257
Symbols (Roman)
c̄ M e a n a e ro d y n a m ic ch o rd le n g th
q̄ D y n a m ic p re ssu re
Ib T o ta l a irc ra ft in e rtia te n so r w .r.t. Fb
N1 M e a n o f fa n sh a ft sp e e d s o f a ll e n g in e s
A L in e a r sta te sp a c e m o d e l – sta te m a trix
Aj C o lu m n j o f sta te sp a c e A -m a trix
A.. P a rtitio n o f m a trix A
A0.. , A1.. , A2.. R F A a e ro d y n a m ic stiff n e ss, d a m p in g , a n d m a ss m a tric e s
B L in e a r sta te sp a c e m o d e l – sta te in p u t m a trix
Bj C o lu m n j o f sta te sp a c e B -m a trix
B.. P a rtitio n o f m a trix B
Bg h H a lf-g e n e ra lise d stru c tu ra l d a m p in g m a trix
Bh h G e n e ra lise d stru c tu ra l d a m p in g m a trix
b lp l B a ck la sh o f p o w e r le v e r
C L in e a r sta te sp a c e m o d e l – o u tp u t sta te m a trix
Cj C o lu m n j o f sta te sp a c e C -m a trix
Cl T o ta l a e ro d y n a m ic m o m e n t c o e ffi c ie n ts a ro u n d x -a x e s o f Fa
Cm T o ta l a e ro d y n a m ic m o m e n t c o e ffi c ie n ts a ro u n d y -a x e s o f Fa
Cn T o ta l a e ro d y n a m ic m o m e n t c o e ffi c ie n ts a ro u n d z -a x e s o f Fa
CX T o ta l a e ro d y n a m ic fo rc e c o e ffi c ie n ts a lo n g x -a x e s o f Fa
CY T o ta l a e ro d y n a m ic fo rc e c o e ffi c ie n ts a lo n g y -a x e s o f Fa
CZ T o ta l a e ro d y n a m ic fo rc e c o e ffi c ie n ts a lo n g z -a x e s o f Fa
D L in e a r sta te sp a c e m o d e l – o u tp u t in p u t
D O u tp u t m a trix o f R F A la g sta te sp a c e e q u a tio n s
Dj C o lu m n j o f sta te sp a c e D -m a trix
260 Nomenclature
ho (...) S tate space model – nonlinear output function for other outputs than command vari-
ab les
hs S tate space model – nonlinear output function for yS im
s Laplace variable
S Wing reference area
s Laplace variable
T Vector with design parameters
t Time
T Total thrust
T0 Temperature at mean sea level (MSL)
Tφ b Cosine matrix relating body and Euler angular rates
Tbv Trafo matrix from Fv into Fb
T W Sx Time constant for specific wind shear
u Vector with model inputs
U Control inputs
ub Velocity of aircraft CoG in body x-direction
uc Vector with control inputs
Nomenclature 263
x Re FD position/attitude states: xT T T
Re = [Re , Θ ]
Symbols (Greek)
α Aerodynamic angle of attack
αdist (Sinusoidal) alpha sensor disturbance
β Aerodynamic angle of side slip
βtyre Slip angle of tyre w.r.t. ground surface
χ Flight path heading angle
∆CD U ncertainty level of CD
∆Cl0 U ncertainty level of Clβ , Clβ, l g , and Clβ, g r
∆Clδa U ncertainty level of Clδa and Clδa , α
∆CLδe U ncertainty level of CLδe
h h
ω Frequency
Ωb Inertial body angular velocity vector along Fb
φ Aircraft body axes Euler angle: roll
ΦgE Modal matrix: elastic modes
Φgh Modal matrix
ΦgR Modal matrix: rigid modes
ψ Aircraft body axes Euler angle: yaw
ψrwy Heading of runway
τ Time constant of first order filter
θ Aircraft body axes Euler angle: pitch
Θ Vector with Euler angles [φ, θ, ψ]T
θN W Commanded steering angle of nose wheel
θsteer Commanded steering angle of wheel
εgld Glide slope displacement signal
εloc Localiser displacement signal
Fa Aerodynamic reference system origin in ARP, x in dir. of airspeed, z down
Fb Body-fixed reference system origin in CoG, x to AC nose, z down
Fe Earth-fixed reference system (inertial) origin on earth surface, orientation NED
Ff Flight path-oriented reference system origin in CoG, x in direction of V, z down
Fs Structural reference system (inertial) origin e.g. at AC nose, x to AC tail, z upw.
Fv Vehicle-carried vertical reference system origin in CoG, orientation NED
Fac Aircraft-fixed reference system, parallel to Fb , origin in agreed aircraft-specific reference
point
FECEF Earth-centred Earth-fixed reference system
FECI Earth-centred Inertial reference system
∂ε ∂ε
∂ α grunc
Uncertainty level of ∂ α gr
∂ε ∂ε
∂ α unc
Uncertainty level of ∂α
Subscripts
0 Initial value
A Aerodynamic, aileron
a Aerodynamic, w.r.t. Fa
b Body, w.r.t. Fb
c Commanded value
cas Calibrated airspeed
cmd Commanded
Nomenclature 267
e Error value
E Elevator, elastic
eas Equivalent airspeed
ext external
f Flight path, w.r.t. Ff
FD Flight dynamics
g Struct. grid point DOF in (g-set)
gE Right-generalised, only elastic deformation
gh Right-generalised
gR Right-generalised, only rigid motion
H Horizontal stabiliser
h W.r.t. generalised co-ordinates (h-set)
hh Generalised
inv Inverse
max Maximum
min Minimum
M LG Main landing gear
NW Nose wheel
o pt Optimum, optimal
R Rudder, rigid
r Rotational
T Thrust
t Translational
tas True airspeed
tyre From or of tyre
v W.r.t. Fv
W Wind
WB Wing-body combination
X Controls and wind
dist Disturbance
EE Elastic - Elastic matrix partitions
ER Elastic - Rigid matrix partitions
lag Lag term in RFA equation
other Non-aerodyn. forces/moments (e.g. thrust)
RE Rigid - Elastic matrix partitions
RR Rigid - Rigid matrix partitions
268 Nomenclature
unst Unsteady
Other
χ̈ Second time derivative of χ
δχ Deviation from initial value: χ − χ0
δχ Small perturbation of variable χ
χ̇ Time derivative of χ
χ̂ χ Augmented with aerodyn. effects
χ̃ Time domain representation of χ(s)
χ−1 Inverse of χ
Superscripts
T Transpose
λ Longitude angle in WGS84 co-ordinates
φ Latitude angle in WGS84 co-ordinates
χ̄ Actual value of χ (includes uncertainty)
χ̄ Mean value of χ (e.g. applies to state vector feedback)
χ0 Dummy-derivative of χ
χri rith time derivative
χ̂ Estimated, or complementary filtered value of χ
Abbreviations
AC Aerodynamic Centre
AC Aircraft
AE Aeroelasticity, Aeroelastic
AFCS Automatic Flight Control System
AIAA American Institute of Aeronautics and Astronautics
AIC Aerodynamic Influence Coefficient
ALC Active Loads Control
AP Autopilot
ARP Aerodynamic Reference Point
AT Automatisierungstechnik
ATHR Auto throttle
ATTAS Advanced Technologies Testing Aircraft System
AVDS Aviator Visual Design Simulator
AWO All Weather Operations
BSCU Braking and Steering Control Unit
Cat. Category
CFD Computational Fluid Dynamics
CFRP Carbon Fibre Reinforced Plastic
CIT Comfort In Turbulence
CG Centre of Gravity
Nomenclature 269
MD Multi-Disciplinary
MFC Model Following Control
MOPS Multi-Objective Parameter Synthesis
MSL Mean Sea Level
NASA National Aeronautics and Space Administration
NATO North Atlantic Treaty Organisation
NDI Nonlinear Dynamic Inversion
NED North-East-Down
NGA National Geospatial-Intelligence Agency (NGA)
NLP Nonlinear Programming
ODE Ordinary Differential Equation
OOM Object-Oriented Modelling
RFA Rational Function Approximation
RM Residualised Model method
RM Institute for Robotics and Mechatronics
RCAM Research Civil Aircraft Model
REAL Robust and Efficient Autopilot control Law design
RealCAM REAL Civil Aircraft Model
Ref. Reference
RTO Research & Technology Organisation
SC Structural Control
SCA Stability and Command Augmentation
SLC Structural and Loads Control
SPT Speed / Path Tracking
SQP Sequential Quadratic Programming
TECS Total Energy Control System
THCS Total Heading Control System
TP Technical Publication
TR Technical Report
TU Technische Univerität, Technische Univeriteit, Technical University
UDP User Datagram Protocol
VECTOR Vectoring, Extremely short take-off and landing, Control, Tailless
Operations Research
VFW Vereinigte Flugtechnische Werke
VHF Very High Frequency
VLM Vortex-Lattice Method
VOR VHF Omni-directional Radio Range
WGS84 World Geodetic System 1984
WMM-2xxx World Magnetic Model valid from year 2xxx
X WB eX tra Wide Body
Index
Modelica, 20, 27, 28, 37, 43, 47, 65, min-max, 159, 176, 177
86, 89, 114, 115, 119, 120, 151, multi-model, 129
194, 216 multi-objective, 13, 14, 17, 105, 128,
Association, 27 131–133, 150, 151, 157, 168,
environment, 38 175, 185, 193
Flight Dynamics Library, 76, 87 problem, 177
translator, 27 problem set-up, 168, 174, 175, 193,
modelling 199
block diagram, 84 process, 174
object-oriented, 83, 84 ordinary differential equation, 92
signal flow, 84 orthogonality of modes, 225, 227
Monte Carlo analysis, 9, 156, 157, 159,
171–173, 177, 179–181 rapid prototyping, 83
criteria based on, 175, 185 REAL project, 40
MOPS (Multi-Objective Parameter Syn- relative degree, 94, 96
thesis), 13, 133, 135, 159, 174,
simulation
177
batch, 99
multi-body system, 89
desktop, 105, 194
multi-disciplinary
pilot-in-the-loop, 83, 99
aircraft model, 2, 20, 21, 194
real-time, 105
aircraft model integration, 194, 229
stiffness matrix, 223
aircraft modelling, 194
structural
design analysis, 13
damping, 224
design requirements, 194
degrees of freedom, 223
flight control law design, 12, 14, 190,
eigenfrequencies, 224
193, 194, 196
eigenvalue problem, 223
model, 27, 47, 83
structural control system, 3
model implementation, 27
structured singular value µ, 137, 140
model integration, 14, 87
analysis, 130, 137, 138, 140–142,
modelling, 25, 85
144, 151, 194, 199, 200, 207
simulation model, 21
bounds, 139, 143
system model, 82
robust stability, 199
multi-purpose control and display unit,
synthesis, 128
4
Total Energy Control System (TECS),
Nonlinear Dynamic Inversion, 115, 116, 162–165, 169, 171, 175, 177,
118, 123 180, 182, 183, 192
nonlinear dynamic inversion, 16, 17, 83, trim computation, 101
97, 125, 128, 150, 162, 175,
191, 192, 199, 200, 207 World Geodetic System 1984, 30
nonlinear equations of motion, 223 World Magnetic Model, 30
optimisation
algorithm, 159
criterion, 130, 159, 173
274 INDEX
Samenvatting
My first project (freelance) at DLR, back in 1996, was set up by Samir and Prof.
G. Grübel, at that time department head of the Control Design Engineering (now
Dynamics and Control) department at the Institute of Robotics and Mechatronics
at DLR. I would like to thank Prof. Grübel offering this opportunity at DLR,
for offering the position in his department one year later, and for his strong
encouragement to write this thesis.
I would like to thank many people at the Institute of Robotics and Mechatronics
at DLR. Hereby I especially mention those involved in flight dynamics, control,
loads and aeroelasticity: Dieter Moormann, Lester Faleiro (my former office col-
league), Hans-Dieter Joos (with whom I intensively co-operated in a.o. the REAL
project on autoland control), Andras Varga, Reinhold Steinhauser (my current of-
fice colleague), Christian Ballauf, Simon Hecker, Thiemo Kier, Marion Reijerkerk,
Moriz Scharpenberg, and Christian Reschke. Two former students, Philipp Nagel
and André Rudolph provided valuable contributions to the GARTEUR FM(AG-
17) project (Chapter 4) and the flexible aircraft simulator presented at the ILA
2006 respectively. I further would like to thank Frau Jaschinski (our group’s for-
mer secretary), and Monika Köhler and Christine Traurig (our group’s current
secretaries) for all their help in organisational, bureaucratic and travel matters.
In Delft, I further would like to thank all members and former members of the Con-
trol and Simulation group, especially Jan-Willem van Staveren, Bertine Markus,
Peter Kraan, and Henk Lindenburg.
Finally, I especially would like to thank my parents, who enabled and uncondi-
tionally supported my studies in Delft and strongly encouraged me to write this
thesis. I am very grateful to my sister Lieneke, and brothers Ernstjan, and Robert
Jan (who made the painting depicted on the cover), for their continuous strong
support, even though I have been living quite far away. I am most grateful to my
wife Claudia, who has given me enormous support and love during the writing
of this thesis. I am amazed and grateful I could finish it the same year we got
married, bought and renovated a house, and saw the birth of our son, Hendrikjan.
Mundraching, Germany
December 2007
Gertjan Looye
Curriculum Vitae
Personal data:
Full name: Gertjan Hendrik Nicolaas LOOYE
Date of birth: May 28, 1972
Place of birth: Maasland, The Netherlands
Nationality: Dutch
Education:
1984 – 1990 Christelijke Scholengemeenschap “Westland-Zuid”,
Vlaardingen. Diploma: VWO
1990 – 1996 Delft University of Technology, Aerospace Engineering
Diploma: M.Sc. (with honours)
Graduation thesis: Design of a Flight Controller for
the Research Civil Aircraft Model using µ-Synthesis.
Prepared within Stability & Control Group
(Prof.dr.ir. J.A. Mulder)
Professional career:
1996 – 1997 Research assistant in Stability & Control Group,
Faculty of Aerospace Engineering,
Delft University of Technology, The Netherlands
1997 – Research Engineer at the Institute of Robotics and
Mechatronics, German Aerospace Center,
DLR-Oberpfaffenhofen, Germany.
Principal fields of work:
- Multi-disciplinary aircraft model integration
- Flight control law design and design methods
STELLINGEN
behorende bij het proefschrift
An Integrated Approach to Aircraft Modelling and
Flight Control Law Design
Gertjan H.N. Looye, 16 januari 2008
1. D e in d e v lieg tuig m od ellering v eel g eb ruik te uitd ruk k ing “ fl ex ib el v lieg tuig ”
is een p leonasm e.
2. In d e p rak tijk v an h et ontw erp en v an reg elaars is niet “ rob uuste stab iliteit” ,
m aar “ rob uuste stab iliteitsm arg e” d e b elang rijk ste sp ec ifi c atie.
3 . M onte C arlo analyse z oals d ez e w ord t toeg ep ast op reg elw etten v oor au-
tom atisch land en, is v anuit h et oog p unt v an m od elonz ek erh eid op te v atten
als een nom inale p restatieanalyse. [D it p roefsch rift, h oofd stuk 6]
4 . V anuit p rak tisch e ov erw eg ing en z ou h et z inv ol z ijn m eer th eoretisch ond er-
z oek te rich ten op h et in rek ening b reng en v an onz ek erh ed en m et statistisch e
eig ensch ap p en en m et ond erling e afh ank elijk h ed en.
5 . Het feit d at een M atlab sk rip t d oorloop t z ond er “ W arnig s” en “ E rrors”
b etek ent niet d at h et resultaat ook z ond er “ W arning ” te interp reteren is, of
g een “ E rrors” b ev at.
6. D e synth ese m eth od e “ Nonlinear D ynam ic Inv ersion” m ag alleen in c om b i-
natie m et fysisch inz ich t toeg ep ast w ord en.
7 . D e d uim stok d ank t z ijn p rak tisch e b ruik b aarh eid aan h et feit d at d e c osinus
v an k leine h oek en ong ev eer g elijk aan één is.
8. B ij re-im p lem entatie en v alid atie v an een m od el k an een relatief v ersch il in
d e ord e v an g rootte v an 10−6 (b ijv oorb eeld in een tijd srep onsie) m oeilijk aan
slech ts num eriek e eff ec ten w ord en toeg esch rev en. E en d erg elijk e afw ijk ing
d uid t eerd er of op een nog aanw ez ig e fout of een aanp assing in d e nieuw e
im p lem entatie.
9 . V oor iem and v an b uiten h et v ak is th e uitd ruk k ing “ rob ust c ontrol” een
onjuiste form ulering (m isnom er).
10. Het fund am entele v ersch il tussen tech niek en als M od el-F ollow ing C ontrol,
Nonlinear D ynam ic Inv ersion en Inv erse F eed -F orw ard C ontrol z it h em in
d e h erk om st v an d e v ariab elen d ie in d e inv erse m od elv erg elijk ing en w ord en
g esub stitueerd . [D it p roefsch rift, h oofd stuk 4 ]
11. K arak teristiek e k enm erk en v an D uitse snelw eg en z ijn d e afw ez ig h eid v an een
g enerale snelh eid slim iet en h et feit d at een inv oeg strook z eer v aak d oor een
sch erp e b och t w ord t ing eleid . Het laatste k enm erk b ep erk t d e m og elijk h eid
snelh eid te m ak en b ij h et inv oeg en, h etg een v ak er tot g ev aarlijk e situaties
leid t d an h et eerste k enm erk .
D ez e stelling en w ord en v erd ed ig b aar g each t en z ijn als z od anig g oed g ek eurd d oor
d e p rom otor, P rof.d r.ir. J .A . M uld er.
PROPOSITIONS
belonging to the thesis
An Integrated Approach to Aircraft Modelling and
Flight Control Law Design
Gertjan H.N. Looye, January 16th , 2008
T hese propositions are considered defendable and as such have been approved by
the supervisor, Prof.dr.ir. J.A. Mulder.