1. Introduction
In recent times, airships have regained the interest of researchers and engineers, as potentially advantageous solutions for carrying out different types of missions. These include primarily high-altitude pseudo-satellites (HAPS). The design of high-altitude airships (HAAs) has been in the focus of several research endeavors [
1,
2,
3,
4,
5,
6,
7,
8], which due to the relative immaturity of design techniques specifically targeting this mission, mostly consider preliminary design. They consequently focus on understanding the general features of an airship for such mission, such as weight, installed power, volume, shape, area of solar cells, etc. Despite reaching in some instances the prototype stage (as is the case for the HiSentinel series and Hale-D in the United States or YuanMeng in China), existing HAAs are typically proofs of concept, featuring a relatively standard overall layout, compared to older airships.
The latter is also generally the case for the most recent design studies and applications in the field of low altitude flights, where airships are gaining industrial interest as alternatives to unmanned multi-copters [
9,
10,
11,
12,
13].
Over the last decade, the application of novel propulsion concepts in aeronautics has been focusing particularly on the inclusion of an electric component in the power-train [
14,
15,
16,
17], and related enabling technologies [
18]. On airships, the adoption of electric motors, to drive the propellers instead of piston-powered units, allows benefiting from more compact and simpler thrusters. Conjugated with solar cells, such thrusters may be fed for long periods of time especially when considering HAPS missions, at altitudes where the solar incident radiation is higher. As highlighted in some studies [
3,
4], corresponding HAAs may take on missions spanning several weeks at once. Therefore, the limit to even higher flight times would be attributed to other issues, including overhauling of the payload and of the airship plants (as practically observed in the case of the HiSentinel campaign). The latter would be decreased in the most effective way by pushing on design simplicity, i.e., removing movable parts and the corresponding actuators as much as possible.
One such design simplification may be obtained by suppressing movable control surfaces, exploiting the adoption of more electric thrusters for control. Of course, due to the generally marginal stability characteristics of airships, the artificial stability augmentation typically on-board would be demanded to the thrusters, which would be employed simultaneously to push the aircraft in forward flight (or station-keeping against a constant wind for HAAs in HAPS missions), maneuvers, and to stabilize the system in presence of disturbances.
A very effective, solution in this sense comes from thrust vectoring, which has been employed also on some of the few airships currently flying regularly (e.g., Zeppelin LZ N07-101).
However, to the aim of increasing simplicity, a smart placement (i.e., layout) of the thrusters onboard would be possibly a more promising solution. On the other hand, the placement of thrusters would be also a more delicate task, since it should answer the need for several propulsion and control goals at once, as pointed out. Furthermore, the assignment of a configuration requires the definition of a relatively large set of geometric parameters, including the three-dimensional positioning of the thrusters with respect to the hull (as well as with respect to the buoyancy center and center of gravity), the tilt angle of the thrusters, and clearly their number. This makes the analysis and the selection of an optimal configuration a potentially challenging problem [
8,
19].
In the present paper, we try to explore this design problem. Taking inspiration from existing airship layouts, a baseline airship featuring a cruciform, tailback configuration with movable surfaces, and a single pushing thruster, is selected. The baseline layout is altered, making computations assuming to remove the existing thruster and replacing it with three or four thrusters in multiple layouts. In particular, free design parameters include the three-dimensional positioning of all thrusters with respect to the buoyancy center of the hull, as well as the fixed vertical tilt angle of the thrusters with respect to the longitudinal axis. In order to stabilize the system, a stability augmentation system (SAS) is designed and implemented, taking as inputs rates usually measurable on flying vehicles, and producing as outputs stabilizing values of the thrust settings.
In order to synthetically capture the performance of a certain layout and allow mutual comparisons, a cost function sensible to both the departure from a trimmed condition and the energy required by the actuators to control the airship is defined. A non-linear model of the airship is introduced, which is originally implemented and subject to the mentioned purpose-designed control laws, integrating forward-in-time its behavior starting from perturbations of trimmed, horizontal flight conditions. The action of the SAS is such to restore trimmed flight, with a performance which is the direct result of a choice of the layout.
A parameter analysis is carried out first to preliminarily map the cost function just introduced and to assess its sensitivity to the assumed design parameters (i.e., geometric quantities defining the layout of the thrusters configurations).
Finally, an optimization algorithm is deployed to automatically find the optimal configuration, minimizing the selected cost function. A comparison of results in significant scenarios is proposed, trying to understand the dependence of the optimal solution on trim airspeed as well as geometric features of the layout. Finally, exploiting the nature of the proposed cost function, an assessment of the relative advantage of a thruster layout with respect to another is attempted.
2. Dynamic Model of the Airship
In order to ease the comparison between different layouts of the thrusters, the formulation for the dynamics of the airship has been written in an agnostic form, according to a vectorial formalism. Considering the dynamic equilibrium for displacement and rotational motion, the generalized vector form is assumed, yielding the following:
where generalized mass matrix
is a function of the mass
m, static moment
, and moment of inertia
, which are arranged as follows.
In Equation (
1) the generalized velocity vector is
, i.e., listing, respectively, the velocity of the generic point
with respect to an inertial observer, and the rotational speed of the airship body
with respect to the same observer. The southwest product operator
applied to
yields the following.
The generalized forcing term in Equation (
1) is defined as
, where the two components represent, respectively, the resultants of the force and moment (the latter with respect to the measuring point
) due to aerodynamics (
), buoyancy (
), gravity (
), and propulsion (
).
In order to make Equation (
1) explicit, a body reference system is chosen (indicated with
), centered in the center of buoyancy
, with the first axis pointing to the nose of the airship, the third to the bottom, and consequently the second to the right. The two systems are shown in a sketch in
Figure 1. With respect to an inertial reference on the ground (indicated with
), it is possible to obtain the body reference from the ground one via a rotation tensor
, where
,
, and
are angular parameters, physically interpreted as attitude angles of roll, pitch, and yaw, respectively [
20].
The generalized mass in Equation (
2) will be localized in the center of buoyancy, according to the choice
. It is noteworthy that the static moment
is not identically null (unlike in typical winged aircraft dynamics applications), since the reference point is not in the center of gravity
. In body reference, the components of the speed vector take the scalar definitions
, whereas the components of the rotational speed
. Consequently, the inertial part (i.e., the left hand side) of dynamic equilibrium in Equation (
1) will produce six scalar expressions, functions of inertia components in the body frame, and the six scalar kinematic variables just introduced (and their first-order time derivatives).
By components in the body frame
, the forcing term
on the right hand side of Equation (
1) can be written as described next.
2.1. Aerodynamics
An aerodynamic model allowing a balance of accuracy and simplicity deemed suitable for the present study, centered on flight dynamics, has been described in [
21,
22,
23]. The contribution
can be split into two components, an active term similar to most winged flying vehicles
, and a reaction term due to the displacement of surrounding air by action of the hull, called
. By components in the body frame
, the active term can be written according to the aircraft dynamics nomenclature [
20], where the dependence of each component is modeled according to a first-order expansion with respect to the kinematic variables. Taking into account the mutual balance between coefficients for an airship with a standard hull and tail configuration and proportion, it is possible to reduce the number of parameters in the expansion, thus yielding for
[
22]:
The scalar sensitivities appearing in the first matrix on the right hand side of Equation (
4) can be modeled via the Munk–DeLaurier theory [
21,
24], making use of the potential flow theory for the hull part, as well as of standard incompressible lifting surface aerodynamics for the empennages [
20]. The corresponding modeling is a function of the specific geometry of the hull and fins. For the former, a detailed analytic description is required, usually attainable at least for axis-symmetric, regular shapes of the envelope. For tail lifting surfaces, methods for obtaining lumped force and moment coefficients for an assigned platform, span, and aerodynamic profile, originally developed for aircraft, still hold for the airship case. Corrections for the interaction between the envelope and tail surfaces allow an accurate mix of teh contributions of the two most aerodynamically relevant components of the airship [
22].
In Equation (
4),
is the array of controls, and matrix
modulates the effect of controls on the aerodynamic force. For standard airship steering and stability augmentation, based on the deflection of aerodynamic surfaces on the tail, this component will be a sparse non-zero matrix, with coefficients modeled according to standard methods for deflectable surfaces, inherited from the winged aircraft case [
20]. In this work, where thrust-based control is adopted and there are no deflectable (i.e., control) parts on the tail surfaces, the definition of the control term as
applies, where each scalar
represents the thrust setting of the corresponding thruster, and
is the number of thrusters. Since the effect of this control is on propulsion force, in Equation (
4) we have
. The control vector, and the corresponding control action, will be modeled as part of the propulsion force (see later
Section 2.3).
The reaction component
of the aerodynamic forcing terms can be modeled according to a model making use of Munk’s shape-specific coefficients
,
,
, and
, and is proportional to the time rate of the generalized velocity
[
22]. In body components, for an axis-symmetric body of volume
, this forcing term yields the following:
where
is the density of air,
and
are diagonal components of
, expressed in the body reference centered in
. Since the term in Equation (
5) is a function of the rate
, it is typically moved to the left hand side of Equation (
1) and treated as an additional mass term in dynamic equilibrium.
2.2. Buoyancy and Gravity
The term is composed of a non-null force term, and an identically null moment, since buoyancy acts by definition in the center of buoyancy . An expression of buoyancy force is particularly straightforward in the ground inertial reference, where it bears a single non-null component pointing up from the ground.
Similarly, gravity force bears an expression which is structurally close to that of buoyancy (i.e., a single component normal to the ground). However, since and are not in the same location, gravity exerts a non-null moment with respect to .
By components in the body reference, buoyancy, and gravity yield, we have the following:
where
is the transpose of the matrix representation in either
or
of the rotation tensor
,
is the position vector of
from
in body components, and
g is the modulus of gravitational acceleration.
It can be pointed out that gravity and buoyancy bring the additional variables wrapped in array
as unknowns into the expression of dynamic equilibrium. This increase in the number of scalar unknowns in the formulation of dynamic equilibrium is balanced by invoking the kinematic equations relating
to the body components of the rotational rate
, yielding the following:
where matrix
. This allows obtaining a balanced 9-by-9 system of first-order, non-linear differential equations, representing the dynamic equilibrium of the system.
2.3. Thrust
Total thrust force and moment around
are obtained from the sum of the contributions of each of the thrusters. The thrust vector
pertaining to the
i-th thruster can be oriented with respect to the body reference through a swing angle
and a tilt angle
, according to
Figure 2.
Therefore, the total force and moment in body reference components are as follows:
wherein
is the representation in body components of the position vector pointing from
to the point of application of
, named
. Intensity
is expressed as a function of the control variable
as follows:
where
is the nominal value of thrust from the
i-th thruster. The control
modulates the nominal value through the shape function
. The latter allows the reproduction of possible regime-dependent efficiency effects, or non-linear features related to the specific thruster technology. Furthermore, according to the technology implemented in the thruster, a different range of
values can be considered. For instance, for a piston engine, this control would be limited to a positive value, whereas for electric motors or ion thrusters it may be also negative, thus producing an inversion of the thrust force, exploiting a well-known advantage of these types of thrusters with respect to more standard piston-powered ones.
It should be noted that the formulation just introduced through Equation (
8) bends itself to the inclusion of thrust vectoring, which would require properly subordinating
and
to a control logic, instead of assigning them as geometrical parameters, as is of interest in this work.
4. Measure of Performance for a Layout and Corresponding Optimization
As stated in the introductory
Section 1, the goals of the present paper are not limited to the introduction of a thrust-based control scheme, but also include an investigation of the potential of each considered layout in ameliorating dynamic performance, trying to understand what is the optimal way to loft an airship based on a certain thruster configuration, and where possible, to compare outcoming layouts, also featuring different numbers of thrusters, to each other.
With this ambition, a comprehensive measure of performance was sought, to the aim of setting up an optimal problem where an optimal design solution—in terms of a geometry such to optimize performance—would be automatically found by an optimization algorithm. Since the comparison is centered on dynamic performance, and in particular on stabilization, a natural measure of performance comes in the form of an integral norm of the quadratic deviation of both the states and controls from the equilibrium condition. Considering for instance a steady, horizontal trimmed flight condition, when a perturbation is induced, the reaction of a (closed-loop) stable system would be that of incurring in a deviation of the state and control signals from the respective reference values, which would then be damped, taking the system back to the starting equilibrium condition. In this scenario, usually, the slacker the control dynamics, the farther the initial departure of the state from the reference, and the more limited the control action. Conversely, the more reactive the controller, the shorter the departure of the system state from the reference, but the more intense the movement of the control signals. In both cases, for opposite reasons, the quadratic norm would increase. A minimal (i.e., optimal) value of this cost function would be the result of the best compromise between control cost (i.e., the energy required for control action) and dynamic performance (i.e., in a broad sense the dynamic stability of the system, reflected in damping, settling time, etc. of the system state).
The minimization of this cost function is the base of consolidated control law synthesis methods (e.g., linear-quadratic regulators, LQR [
25]), which are typically employed to produce fully coupled MIMO (multiple-input, multiple-output) gain matrices in a linear (or linearized) full-state feedback framework. However, in this study, the quadratic cost function just introduced is not used for control synthesis, but for a parametric analysis on the effect of geometrical layout variables, thus making a different use of it. Actually, in order to make comparisons among layouts easier, the construction of the cost function is somewhat more articulated. Considering the system in Equation (
1) with the kinematic equations Equation (
7), the states of the system can be collected in
, whereas the array of controls would be
. Considering a single time-marching simulation of time extension
, it is possible to assemble the following quantity.
In Equation (
15), diagonal matrices
and
can be used to select which states and controls will contribute to the cost function, and their mutual relevance. Diagonal matrices
and
instead are used to normalize the dimensional value of the array of states and controls, so as to make them more comparable in case of numerically very different values (such as, for instance, for control variables, varying here in the range [−1, 1], and attitude angles or rotational rates, which may be in the order of 10
rad or rad/s, respectively, and hence very different).
In the present study,
and
have been used as triggers to select the states and controls to appear in the cost function, and their coefficients take a value which is either 1 or 0. In particular, concerning states, speed and rotational rate components contribute equally to the cost function. Concerning control, all thrusters have been selected as contributors and then
, i.e., an identity matrix of size equal to the number of thrusters. However, considering two different layouts, in particular (A) vs. (B) or (C), which feature a different number of thrusters, an increase in the cost function would arise by moving from a three-thruster configuration to a four-thruster one, due to the plain addition of the contribution pertaining to a further thruster. This would make quantitative comparisons among the outcome of three- and four-thrusters configurations more difficult. To mitigate this effect, in Equation (
15), the two components
and
are normalized by the sum of the components of
and
, respectively.
Now, taking inspiration from certification procedures, several test cases are taken into account to assemble an aggregated performance value, richer in information than the outcome of a single simulation. In particular, different trim airspeeds in steady, horizontal forward flight are considered, and for each of them, a number of perturbations to the initial conditions. This produces a testing scenario where
simulations are carried out, yielding for the actual cost function the following expression.
The actual numerical settings for the analysis of the configurations, including the pool of simulations actually carried out, will be described in more detail in the following section devoted to numerical results. It can be anticipated that the proposed cost function in Equation (
16) with the components in Equation (
15) has been extensively tested, showing a good balance between sensitivity to the parameters appearing in the problem (i.e., geometrical parameters to assign the layout) and regularity with respect to their change. This will be shown in the results as well.
Based on the cost function just introduced, it is possible to formulate a corresponding optimal problem, where the function in Equation (
16) is minimized by acting on a set of parameters.
It should be pointed out here that, since the focus of the analysis in this paper is on geometrical parameters defining the layout, these have been considered as optimization parameters. Geometrical parameters have a significant effect on dynamic performance, and understanding this very effect is part of the aim of the present work. This raises a methodological issue, however, since the best way to make use of an assigned (i.e., also geometrically sized) layout is in principle not decoupled from the tuning of the control gains. The latter, indeed, bears an effect on dynamic performance. However, in order to try to isolate the contribution to dynamic performance due to the geometrical sizing from that due to control gains, a two-step analysis procedure has been envisaged. In the first stage, for each layout, a set of control gains has been found, capable of stabilizing the system for three reference airspeeds, covering the performance span of the airship testbed. This rules out an airspeed-based gain scheduling, which is desirable also in terms of control simplicity and ease of design. Furthermore, in the same step, in order to make comparisons among different layouts fairer, such control gain matrices are all based on the same reference gain values. Considering gain matrices in Equations (
12)–(
14), this working hypothesis implies the following:
where the six values appearing on the right hand side of Equation (
17) are assigned and define all gain components in Equations (
12)–(
14). While it is not the only possible choice for easing comparisons, this has been deemed suitable a posteriori when comparing results produced in this research.
Once a set of reference gains
has been selected such to stabilize all considered layouts (considering a baseline numerical sizing, i.e., an assigned set of thruster positioning, tilt, etc.) in all considered testing scenarios (trim speeds and perturbations), optimal analyses have been launched in a second step. Thanks to the generality of the designed cost function (Equations (
15) and (
16)), the optimal problem can be written as follows:
and employed for different comparisons without any formal change to its definition. In Equation (
18), the set of optimization parameters
depends on the layout, as detailed in the following
Table 1. The problem in Equation (
18) is constrained by a set
of direct bounds and geometrical inequality constraints on the parameters, in consideration of their physical meaning, according to definitions in
Figure 2 and
Figure 3.
In particular, bounds are defined in
Table 1. Geometric inequality constraints instead express the need to keep the thrusters physically out of the surface of the envelope. The latter is mathematically assigned as an axial-symmetric surface, with a known radius
, function of the position along the longitudinal axis of the hull. The ensuing generic scalar form of the non-linear constraint just mentioned writes the following:
which is replicated for each
i-th thruster in the airship layout. In Equation (
19),
is an assigned constant positive buffer distance.
As observed, the choice of the bounds for
in some cases reflect basic configuration choices, where the thruster alignment is not pointing towards the hull, to reduce the interference with the aerodynamic flow around it. Furthermore, the selection of the sign of the gains as in Equations (
12)–(
14) constrains the tilt orientation so that the resulting control action is coherent with the sign taken by the fed-back state variables. On the other hand, broad changes of the tilt angles are generally allowed, as shown.
More details concerning the implementation of the optimal problem will be provided in the results
Section 5, but it can be anticipated here that the cost function introduced in Equation (
16) has been tested in terms of regularity with respect to the elements of the array of optimization parameters
shown in
Table 1, for each of the three considered layouts. The good regularity shown by the cost function has allowed to select a gradient-based method for the solution of the optimal problem in Equation (
18), comprising bounds and non-linear constraining equation(s) as in Equation (
19) (as many scalar equations as the number of thrusters in the considered configuration to be optimized, as explained).
5. Results
As a testbed for the methodologies introduced in the previous sections, the Lotte airship [
22,
23] has been selected as a baseline. This prototype airship has been extensively studied and characterized in previous research, and its main features are provided in
Table 2 for reference. This unmanned airship is intended for low-altitude operations, and not as a HAA. However, the abundance of reliable and accurate data, seldom found in the literature for airships, makes it adequate for feeding realistic computations. Furthermore, the configuration is rather standard and not dissimilar from the expected one of airships to operate by design either in the higher atmosphere or closer to the ground—both interesting operative conditions, as stated in
Section 1.
A virtual non-linear model of the airship has been assembled populating the formulation described in
Section 2.
A major difference included with respect to the baseline is obviously in the thrusters. The real prototype features a single motor-propeller assembly in the tailcone. This has been taken out of the design, and substituted with three or four thrusters, for layout (A) and (B), (C) respectively. Each thruster has been hypothesized to be an electric motor-propeller assembly, and provide a nominal thrust of
400 N each, and a mass of 2 kg. Considering Equation (
9), the values of the control variables
have been limited between
, where negative values are achievable for electric motors. Furthermore, on account of the starkly lower expected efficiency of the propeller in reverse rotation conditions (i.e., for
), the shape function has been coarsely set to
0.5 for
, and
1.0 otherwise. The inertial data (mass and position) of the original single motor have been used to modify that of the original airship, in terms of
m,
,
,
. The new thrusters have been included modifying the airship inertia correspondingly, modeling them as point masses, accurately placed according to their actual positions
in the considered layout. The overall mass change—taking out the original thruster and replacing it with others—is sufficiently small to provide a negligible change in the buoyancy ratio when leaving the volume of the envelope at its original value.
Another difference with respect to the baseline is in the tail. The tail assembly has been retained, but the surfaces have been considered to have only a stabilizing function, and no moving parts.
As anticipated in the formulation
Section 2, the aerodynamic forcing terms have been characterized computing the stability derivatives in Equation (
4) using analytic and semi-empirical methods [
22,
26], according to an accurate description of the specific geometry of the hull and fins.
5.1. Quality Assessment of the Stability Augmentation System
In order to select the values of the gains and generally check the suitability of the proposed control action, a testing scenario has been set up as follows.
Starting from the airspeed range of the original airship, the conditions of horizontal forward flight have been considered as reference at 4, 8, 12 m/s, at an altitude of 200 m.
For each of the three considered layouts, a set of geometrical values completely assigning the configuration has been tested. According to
Table 1, eight parameters have been chosen for layouts (A) and (C), and ten parameters for (B). Geometrical settings have been experimented with broadly so as to test a specific set of gains on different geometries, in view of the next optimization phase, where geometrical parameters are free to change between wide bounds.
Table 3 displays the values adopted for
Figure 7 and
Figure 8 to follow. They do not correspond to the satisfaction of any optimality criterion and are presented as an example of a possible sub-optimal choice.
For each reference speed, the free (i.e., uncontrolled) models corresponding to the three layouts have been trimmed by solving Equation (
1) in steady state (
) in symmetric, horizontal, forward flight. The trim solution comes in terms of the body components of airspeed
and
, as well as a pitch angle
, all other components of the state array having been forcibly set to zero. In terms of controls, equilibrium values
are computed in the solution of the trim problem.
As previously stated, checking the control law has been performed both through a linear and a non-linear analysis. For the former, decoupled linearized models have been obtained for each of the three layouts and for each of the trim speeds (where the latter imply a change in the stability derivatives as well as trim values of the states), for longitudinal and lateral-directional dynamics. Similarly to winged aircraft, decoupling is achievable under the hypothesis of steady, horizontal, symmetric forward flight. The corresponding analytic models, taken from the literature and amended to account for integral states in the SAS feedback, are reported in
Appendix A for completeness. The eigendynamics of the free system are compared to those for the artificially stabilized system, assessing the change in the positions of the eigenvalues.
As an example, in
Figure 7, the free-response and stabilized response of the longitudinal and lateral-directional systems are shown for the three layouts and the corresponding SASs, for a speed of 8 m/s. Qualitatively, similar results are obtained for other considered trim speeds (not shown for brevity).
It can be observed how the eigenvalues of the controlled response are significantly damped both in terms of longitudinal and lateral-directional dynamics. Considering longitudinal dynamics, in the presented examples, the marginally unstable pendulum mode is stabilized and damped while retaining an oscillatory nature (layout (B)) or even damped to produce real stable eigenvalues (layouts (A)–(C)). A neutrally stable eigenvalue appears, associated to the integral state
in the state matrix of the stabilized system (see matrices in
Appendix A). Concerning lateral-directional motion, the unstable sideslip subsidence eigenvalue and neutrally stable pure-yaw eigenvalue (null mode) are substituted by a stable, well-damped oscillatory motion. Roll oscillation, already stable in all considered cases, is slightly further damped. The appearance of neutrally stable eigenvalues in the controlled case is again due to the integral states
and
in the augmented state of the SAS-controlled system (see
Appendix A).
Further stability and performance analyses have been carried out on the non-linear system, by checking the response of the system to perturbations in the initial conditions or in the controls with respect to the trim condition, when performing time-marching simulations. A Runge-Kutta integration scheme was selected to run the integration on a time window of 100 s from the initial condition.
As an example, in
Figure 8, the time histories of the longitudinal and lateral-directional states, and of the controls, are shown for layouts (A) and (C) (with the geometry proposed in
Table 3), considering a simultaneous perturbation of the initial condition on the state as
+1 m/s,
+1 m/s,
−1 m/s,
+3 deg/s,
+3 deg/s,
−3 deg/s, where subscript
defines the initial condition of the simulation.
From time-marching simulations it is possible to better assess the actual deviation from the reference of the states, and correspondingly the control effort—both contributing to the merit function in Equation (
15). The gains selected by means of the eigenvalue analysis could be thus further checked, deeming the action of the controller realistic (especially not too intense) and the state oscillation acceptable. To the aim of further avoiding unrealistically intense action of the controller, the SAS contribution has been subjected to a saturation to a threshold value which is 25% lower than the actual top value of the thrust control variables (i.e., 0.75 instead of 1.0). This should simulate leaving some spare control authority for pilot action or for more intense control activity, in case of perturbations more intense than those actually simulated.
Comparing the two layouts (A) and (B) in
Figure 8, the performance of the corresponding stabilization systems is clearly somewhat different, as expected. Actually, the meaning of controls (bottom row), and consequently their use, is different by design in the two cases. Looking at the states however, it can be noted that a good degree of stability is confirmed in both conditions, as forecast by the eigenvalue analysis (carried out on decoupled, linearized systems).
It can be further observed from
Figure 8 that the states are driven to the trimmed steady-state value following perturbation, with a relatively limited action of the controllers.
As already pointed out, the presented structure of the SAS system has produced acceptable results without much effort in the tuning of the gains. This in turn has allowed to introduce the hypothesis in Equation (
17) so that, irrespective of the layout, the gain coefficients are numerically based on a set of three values of proportional gains and three values of integral gains, collected in
. As explained, the latter hypothesis eases mutual comparisons among layouts, by allowing to exclude the intensity of the control action from the changing parameters in the parameter analysis and optimization, linking any differences in performance to changes in the airship sizing.
By performing analyses similar to those shown in
Figure 7 and
Figure 8 on a set of six sets of initial conditions, for changing values of all geometrical parameters defining the layout (i.e., the position and attitudes of the thrusters), and across all three considered layouts (A), (B) and (C), it was checked that the response of the system did not diverge, keeping the gains
fixed. The actual gain selection has been carried out deploying a trial and error procedure, where gains providing acceptable results on layout (A) have been tried on the other two considered layouts. Following this check, the set of gains has been consolidated, and kept frozen for the optimal analyses described next, which have been invariably run on the artificially stabilized system.
5.2. Optimal Analyses
A major ambition of the presented optimal methodology is that of finding the optimal positioning of the thrusters for a certain layout of the thrusters, and possibly ranking the performance of a layout compared to another in easing the stabilization task.
In order to first assess the suitability of the proposed cost function in Equation (
16) before attempting the numerical solution of an optimal problem on it, such cost function has been computed for a set of
18 simulations, corresponding to as many sets of perturbed initial conditions, separately for the trim speeds of 4, 8, and 12 m/s, on all three layouts. For each layout, parameterized analyses have been carried out, running the simulations changing one of the geometrical parameters in
Table 1 at a time, and computing the cost function to check its regularity. All controls, speed and rate components contribute equally to the cost function. As an example, in
Figure 9 are shown some of the analyzed dependencies of the cost function, computed from
18 simulations corresponding to as many initial conditions, at 12 m/s for layout (B). In particular, starting from the geometry in
Table 3 for layout (B), the plots in
Figure 9 have been obtained changing
,
,
, and
.
It should be remarked that the examples in
Figure 9 portray the dependence of the cost function from a single parameter at a time, leaving all others to an assigned (unchanged) value. Therefore, such results are related to a scenario much more limited with respect to the one faced by an optimization algorithm, which changes
all geometric quantities within an iteration. However, it can be observed from
Figure 9 that the cost function appears very regular with respect to the changing parameters. With this notion, as anticipated in
Section 4, a gradient-based method capable of dealing with non-linear constraints was deemed suitable for an optimal search.
Within an optimization loop, the optimizer sets the parameters in
Table 1 (corresponding to the considered layout), adjusts the inertia of the airship correspondingly, finds a trim solution, then performs
time-marching simulations of the non-linear system subject to artificial stabilization, and finally computes the cost function in Equation (
16). The optimization algorithm tunes the geometrical parameters in search for the minimum of the cost function, and compliant with the bounds in
Table 1 and constraint(s) in Equation (
19).
The output of an optimization is a set of geometrical parameters (optimal solution) corresponding to the optimum of the cost function, as well as the corresponding value of the cost function.
For a more thorough exploration of the dependence of the optimum from the working condition of the airship, for each considered layout, an optimization was first run for each of the three considered reference trim speeds. The bounds in
Table 1 have been set specifically to the following:
0.5 m, 2.5 m
2.0 m, 8.0 m
and distance
in Equation (
19) is set to
0.8 m, meaning a minimum clearance of the thrusters from the hull’s surface set to that value.
The behavior of the optimal solution as a function of the trim airspeed (4, 8 and 12 m/s) is shown for the three layouts in
Figure 10,
Figure 11 and
Figure 12. The plots of the optimal geometric variables are reported side-by-side with those of the trim solutions, for the same airspeeds and geometrical settings.
In the case of layout (A) (
Figure 10), it can be observed that except for a reduction at higher airspeeds of the arm of the lower thrusters (
), the optimal solution pushes the radial position of the thrusters to the boundary value. The same happens for the longitudinal position of the top thruster (
), which is placed as far back to the tail as possible. Conversely, the longitudinal position of the two bottom thrusters (
) as well as the dihedral angle
are significantly changed as functions of the airspeed. This is in accordance with the behavior of the trim solution (right plot). Interestingly, the optimal behavior of the tilt angle
of the lower thrusters versus the airspeed is such to keep them basically aligned with the longitudinal body axis. Conversely, the top thruster is tilted by a significant angle
−70 deg. This configuration of the tilt angles can be matched with the control trim values, where it can be noticed that
and
are set to generally much higher values than
. Qualitatively, it appears that the optimal solution for layout (A) features two side thrusters mainly responsible for propulsion, and a top one, put at a significant angle with respect to the airship longitudinal axis, providing pitch control and little thrust. Another remark concerning the null value of
is related to roll control. As previously stated, a non-null down-tilt of the side thrusters was envisaged for granting control authority around the roll axis. This does not appear to be required in an optimal perspective (i.e., when weighting the deviation of
p and
together with that of other state and control variables), delegating the control around roll axis to roll-yaw coupling, achieved by means of airship eigendynamics or through the combined action of the side and top thrusters.
Considering layout (B) (
Figure 11), the longitudinal position of the thrusters (
,
and
) is remarkably similar for all of them and far from the bounds, displaying only mild changes for different airspeeds. A similar behavior is found also in the radii of the lateral and top thrusters (
,
), whereas for the bottom thruster the value (
) is generally lower and more variable with the airspeed. Again, the side thrusters are set at an almost null tilt angle
0 deg, and are associated to a very limited dihedral
, i.e., a basically horizontal mounting for these thrusters. As remarked for layout (A), roll authority is delegated to the intrinsic roll-yaw coupling and the combined action of top, bottom and side thrusters. Similarly to layout (A), the top and bottom thrusters are associated with larger tilt angles
and
, albeit more limited here than for layout (A), yet the pushing action appears more equally distributed among all thrusters at trim.
Finally, concerning layout (C) (
Figure 12), the results show an interesting homogeneity of the bottom (#1, #2) and top thrusters (#3, #4). In particular, the radii (
,
) are very similar, and slightly increasing towards the upper bound for higher airspeeds. The longitudinal position is moderately changing with respect to the airspeed, and the tilt angles are such to provide a top-bottom almost-symmetry. Compared to previous layouts, this one appears more promising in terms of roll control authority, being potentially capable of making use of direct control. The dihedral angles
and
are remarkably different for the top and bottom couples, especially for increasing values of the airspeed, and for the top couple
the corresponding optimal values are changing significantly over the considered airspeed domain.
From a numerical standpoint, checks on the robustness of the solution of the proposed optimization algorithm (gradient-based) have been performed before consolidating the results just shown for each configuration (
Figure 10,
Figure 11 and
Figure 12), in particular perturbing the starting condition of the optimization process, so as to reduce the chance to converge to possible local minima. No such issue has emerged however, in accordance with the indications obtained in the preliminary analysis of the cost function (
Figure 9), which, albeit partial, shows (if any) only one minimum between the boundaries of the cost function domain.
Following the optimal analyses on each trim speed shown above, for each layout an optimization on the full airspeed domain has been carried out, where for the evaluation of the cost function in the optimal loop 18 simulations for as many initial conditions are performed for all 3 reference airspeeds, yielding a total of
54 simulations per function evaluation. The result of the corresponding analysis on each configuration is displayed in terms of the optimal value of the cost function in
Figure 13, where these values are compared to the results of the optimizations carried out on each single trim condition for each layout (corresponding to the optimal results shown in
Figure 10,
Figure 11 and
Figure 12).
Two remarks can be proposed on the results in
Figure 13. Firstly, considering each layout singularly, it can be noticed that the value of the cost function is not strongly dependent on the trim airspeed, and generally similar also for the corresponding global (i.e., over all airspeeds) optimization as well. This indicates that a single setting of the geometry may be close to optimal (i.e., slightly sub-optimal) irrespective of the airspeed regime encountered by the airship, at least considering forward flight (not hover). Secondly, the optimal values of the cost function achieved with layout (A), (B) and (C) are decreasing precisely in this order. In view of the structure of the cost function, thoroughly described in
Section 4, this might indicate that an optimal (C)-type layout is more performing than an optimal (B)-type, and both are better than an optimal (A)-type layout. Of course, from a design perspective, this potentially relevant result should be weighed with respect to the adoption of a cost function specifically targeting dynamic performance, and which does not take into account—for instance—the potentially higher cost of having more thrusters (as in layouts (B) and (C), compared to (A)).
To better appreciate the features of the optimal configurations,
Figure 14 provides a view of the sizing corresponding to the global optimal solutions for the three layouts, numerically reported in
Table 4.
6. Conclusions
In this paper, we have studied and compared different configurations for thrust-based control on an airship. The major conceptual driver behind this interest, as an alternative to other forms of control (including thrust vectoring, currently deployed on some flying airships) is in the chance to increase design simplicity and reliability, by reducing the number of moving parts and actuators on-board.
The selected geometric arrangement of the airship is standard, and quantitative computations are based on an existing airship (i.e., the Lotte experimental airship [
22,
23]) as a baseline. However, with respect to the real airship, a virtual model lacking the control degrees of freedom on the horizontal and vertical tail, as well as the propulsion unit, has been synthesized and implemented. Control and propulsion have been delegated to thrusters, placed according to three possible layouts—of which one is a three-thrusters configuration, and the other two feature four thrusters. The latter have been shortlisted based on simplicity and cost minimization criteria, on the one hand, and control authority considerations on the other.
In view of prolonged, unmanned and autonomous flight missions, stability augmentation systems (SASs) have been designed for the proposed configurations, making use of rotational rate components as measures. Control systems have been designed for longitudinal and lateral-directional dynamics, deploying a proportional-integral control law, producing stabilizing values of the thrust settings for the thrusters.
In trying to separate the effect of layouts on dynamic performance from the effect of control on the same performance indices, care has been taken to reduce the set of gains to be tuned and to express the gain matrices for the SAS of all layouts as a function of a minimal, cross-layout set.
The very value of the gains has been selected based on an articulated trial and error procedure, where the eigenanalysis of the free and artificially stabilized systems, computed on linearized representations of the decoupled longitudinal and lateral-directional dynamics, have been compared, and also time-marching simulations have been carried out on the complete non-linear model of the airship, to further check the intensity (and therefore the realism) of the control action and state oscillations. The gain synthesis has been based on acceptable stabilization results obtained from the same minimal set of gains applied to all three layouts. The tuning process has turned out to be little time-consuming, bearing good results (i.e., stabilization and dampening of oscillations, at the price of a moderate control action), which tends to support the goodness of the proposed SAS structure.
Having assigned the gain matrices, the focus has been put on the definition of the geometry of the proposed layouts. In order to evaluate the performance on dynamics, an emended form of the classical state vs. control energy functional has been prepared. This cost function is intended to be computed from a set of dynamic simulations carried out on the non-linear system starting from a trimmed forward-flight condition, and corresponding to a variety of perturbed initial conditions. However, the cost function should not be touched by the specific settings of the simulation scenario, including obviously the number of simulations, as well as the number of thrusters in the layout—a crucial feature of the cost function, if a cross-layout comparison is of interest.
For each layout, a set of geometric variables capable of completely assigning the geometry has been defined. After showing that the proposed cost function is regular with respect to the geometric quantities selected as parameters, an optimal analysis has been carried out.
Firstly, each configuration has been optimized for three different airspeeds, spanning between the typical operational limits of the original testbed. Results from this trials show quite invariably for the three-thrusters layout (A) the need to markedly tilt the thruster in the plane of symmetry, while leaving the other two basically aligned with the longitudinal axis. The former thruster is, therefore, employed similarly to the elevator on the tail, whereas the other two mostly take the role of the only thruster on the original testbed, providing propulsion, plus achieving lateral-directional control. A similar result is obtained for the four-thrusters layout (B), where the bottom thruster is again markedly tilted with respect to the longitudinal axis of the airship, whereas the top thruster is more mildly tilted, and contributes more intensely to propulsion in trim. The last four-thrusters layout (C) bears a symmetrical tilting of the thrusters, yet they are not positioned at the same longitudinal station when moving significantly faster than hover—a likely effect of an optimal compensation of gravity moment by means of aerodynamic and thrust forces.
Finally, a global optimization of each layout, based on simulations carried out at different trim speeds, has produced corresponding sizing solutions. A comparison of the outcome of the performance of the layouts, according to the selected cost function, has been presented, bearing as a result an apparent performance hierarchy, where layout (A), (B), and (C) perform better with respect to one another in the cited order. This tends to suggest that—from a standpoint of dynamic performance, in the sense associated to the definition of the considered cost function—layout (C) is the most recommendable. It also features the slightest sensibility with respect to the trim speed, when considering airspeed-bound optimizations.
Besides producing interesting quantitative results, the proposed approach allows driving the design of the configuration following dynamic performance considerations, deploying a highly automatable algorithm, which may be of interest for speeding up the preliminary design phase. Clearly, the same procedure could be emended to carry out computations in more scenarios of special interests, e.g., including specific simulations of disturbances to initial conditions or induced by the pilot, or at different altitudes.
Of course, when finalizing the sizing of in a preliminary design, specific gains may be chosen to further increase dynamic performance, resulting from a finer tuning process. However, considering the standpoint adopted in this paper, where a quantitative comparison among configurations is in the focus, it was felt that the proposed approach could produce results of stronger value and easier to understand.