1. Introduction
The off-shore oil and gas industry has a growing demand for new and innovative solutions for inspection, maintenance and repair of seabed installations. Currently, these tasks are usually carried out in hostile environments using remotely operated vehicles (ROVs) deployed from a large surface vessel; however, ROV operations require high expenses due to the daily ship cost and the large number of crew members which such operations need. As a result, in order to reduce the inspection cost and deal with the several logistic constraints, the interest in autonomous underwater vehicles (AUVs) has rapidly increased in the last few years. Indeed, AUVs are currently exploited for long-distance monitoring and inspection, as they are provided with an ever-increasing precision navigation system [
1,
2]. Moreover, the development of vehicles that can incorporate both the AUV inspection and ROV intervention functionalities is one of the most challenging tasks of the underwater industry as well as the scientific community [
3]. A recent example is Hydrone-R, the underwater intervention drone (UID) from Saipem S.p.A., which is a technology that allows accurate inspections on submarine systems, certifies operation, and detects and prevent any malfunctions [
4]. With the regard of other innovative AUVs, the basic idea concerns vehicle with many configurations and the ability to autonomously switch between them depending on the main task to accomplish. For instance, the autonomous underwater reconfigurable vehicles (AURV) can select the most appropriate configuration so as to dive with the optimal fluid dynamic efficiency and achieve the minimum power consumption for long distance navigation; furthermore, the robot may be provided with a larger number of degrees of freedom for complex manipulation operations or to perform autonomous docking in a subsea station. As a matter of fact, AURVs do arise as a promising tool for incorporating several reconfigurable modules and accomplishing both the autonomous navigation/inspection and intervention tasks.
As far as the AURV state of the art is concerned, one of the most innovative vehicles is made by EELUME [
5,
6], an underwater snake robot (USR), developed by Subsea Intervention for underwater inspection and manipulation. This vehicle is basically a self-propelled robotic arm that can move over long distances and carry out maintenance and repair tasks in spaces not usually accessible by conventional underwater vehicles. In greater detail, it is a modular, flexible robot capable of swimming like a snake, or being propelled by conventional thrusters. Additionally, the vehicle can be assembled with an arbitrary number of elements linked each other with a flexible joint. Another example of AURV has been presented by Houston Mechatronics in 2018; specifically, Houston Mechatronics is a subsea service company with deep expertise in robotics and intelligent automation, founded by former NASA roboticists responsible for designing and developing some of the most advanced robots in the world. The conceptual vehicle, named Aquanaut [
7], is a robot with two different configurations: in AUV mode, it can cover long distances while accomplishing tasks like seabed mapping, and inspection of large area; in ROV mode, the hull can open its structure, exposing two robotic arms for manipulation operations. In particular, in the closed version, the vehicle appears as a classical UUV with a slender shape; in this configuration, it can move itself with only three motors for long distance, controlling only three degrees of freedoms. In the open version, the upper part of the hull moves away from the main body, exposing other four motors, in order to obtain a vectored configuration of the motors, and two robotics arms. Driven by these considerations, an innovative AURV [
8,
9], capable of efficiently reconfiguring its shape, according to the demanded task, spanning from a “survey”, slender configuration to a “hovering”, stocky configuration have been designed by the Department of Industrial Engineering of the University of Florence (UNIFI DIEF). After the design stage has been partially fulfilled, the need for investigating the dynamic characteristics of the two different extreme configurations has arisen. In fact, a novel formulation for the dynamic maneuverability analysis (DMA) of an AURV, adapting Yoshikawa’s well-known manipulability theory for robotic arms [
10,
11], is proposed in this paper. If the manipulability concept was first introduced as a measure of the ability of robotic arms in positioning and orienting end effectors, in the same way, the maneuverability can be defined as the capability of a mobile robot to move over several degrees of freedom. With regard to the application of the maneuverability concept in subsea robotics, several works [
12,
13] discussed the optimization of thruster configurations for omnidirectional underwater vehicles. In particular, the relationship between the longitudinal forces of the thrusters and the body-fixed generalized forces has been studied. In the context of our work, we are not only introducing a novel analysis that relates the vehicle body-fixed accelerations with the rotational speed of each thruster, but we apply this methodology to several AURV configurations. Furthermore, we provide an accurate description of the AURV dynamic model and the propulsion system for each vehicle configuration.
The paper structure reflects the procedural workflow. In 
Section 2, we summarize the research activity design guidelines alongside a review of the major exploited theoretical concepts. In 
Section 3, we briefly illustrate the kinematic and dynamic behavior of each configuration of the AURV with the assumptions made in this work. In 
Section 4, we provide the study of the propulsion system selected for the vehicle. Additionally, in 
Section 5, we describe the new dynamic maneuverability formulation, starting from the theoretical basics, to the application of this theory to an underwater vehicle. In 
Section 6, we outline the metrics and indices used for a quantitative evaluation of the AURV maneuverability. Finally, the simulation results of the DMA applied to the UNIFI DIEF AURV can be observed in 
Section 7. A conclusive discussion is provided in 
Section 8.
  3. Kinematic and Dynamic Modeling for AURVs
The kinematic and dynamic description of the UNIFI DIEF AURV is briefly discussed in this Section; for the sake of completeness, the two different and extreme vehicle configurations have been studied in a decoupled manner, without the development of a multibody model [
14,
15] (whose development is, nonetheless, planned as a strategic solution for future research activities). In light of these considerations, the kinematic models, commonly exploited for AUVs by the scientific community [
16,
17], have been employed for both the hovering and survey configurations. To be more specific, in the following, we assume that once one of the two extreme configurations, described by the joint coordinate vector 
, has been reached, it does not change dynamically and the reconfigurable vehicle can be considered as a unique rigid body.
Within the context of this work, the following notation is employed: a generic vector 
 expressed in a particular 
 frame is denoted with 
, whereas, if it is convenient to define vectors without an explicit reference to a specific coordinate frame (coordinate free vector), it will be simply indicated with 
. A generic rotation matrix 
 is indicated with two indices 
, where the notation represents the unit vectors of the frame 
i with respect to frame 
j. Following the Society of Naval Architects and Marine Engineers (SNAME) notation [
16], the state of an underwater vehicle (considered as a rigid body) is represented by using two reference frames. A local Earth-fixed reference frame (hypothesized as inertial) with axes pointing north, east, and down (NED frame) 
, and a right-handed body reference frame 
 whose origin is the center of mass of the vehicle (see 
Figure 3) with its 
x-axis pointing in the forward motion direction, its 
z-axis pointing down, and its 
y-axis completing a right-handed reference frame. The pose of a vehicle is therefore represented with
      
      where 
 is the position of 
 with respect to the NED frame, and 
 is the orientation the body-fixed frame w.r.t. the NED frame, where roll (
), pitch (
), and yaw (
) (RPY) angles are employed to describe the orientation. Additionally, AUV linear and angular velocities along the axis of the body-fixed reference (surge, sway, and heave motion) can be denoted as
      
The differential kinematic model is shown in Equation (
3), and further information can be found in [
17].
      
      where 
 is the rotation matrix between the body and the NED frame, and 
 is the matrix mapping the angular velocity 
 onto the derivatives of the orientation angles.
With regard to the complete inverse dynamic model of the AURV, the well-known equation describing the balance of the forces acting on the center of mass of the vehicle [
16,
17] has been extended to take into account several configurations of the robot by introducing the joint vector 
:
      where 
 describes the mass matrix, 
 outlines the centrifugal and Coriolis matrix, 
 reports the damping matrix, 
 are the effects of gravity and buoyancy, 
 indicates the forces and torques provided by the rotational speeds 
 of 
m thrusters, 
 and 
 as defined in Equation (
3). As already mentioned, a preliminary model has been developed for the two configurations of the UNIFI DIEF AURV, by assuming each of them as an AUV with a different shape.
Turning to the quantities on the left-hand side of Equation (
4), it can be observed that there are the sum of multiple contributions due to the motion of the vehicle and to its interaction with the surrounding fluid; hereafter, these terms are comprehensively analyzed while listing the assumptions considered in the proposed research activity. In greater detail, the matrix 
 comprised of the sum of two terms: 
, where 
 takes into account the physical properties of the vehicle, while 
 is usually denoted with the term added mass matrix, and describes the fact that due to the higher density (with respect to air) of the fluid where the vehicle moves in, larger accelerations are required to move not only the vehicle, but also the surrounding fluid itself. Under the assumption that the added mass matrix can be neglected, being the body-fixed frame centered in the center of gravity of the vehicle, the matrix and inertia matrix can be represented as
      
      where 
m is the mass of the vehicle, 
 is the identity 
 matrix, and 
 is the inertia tensor expressed in the body-fixed frame. A further simplification is obtained by assuming that the body-fixed reference axes coincide with the principal axes of inertia. This implies that 
 becomes diagonal, and Equation (
5) simplifies as
      
      where 
 is the moment of inertia about the 
ith axes of the body-fixed frame.
Within the same hypothesis, the centrifugal and Coriolis matrix 
 can be simplified as
      
      where 
 is the operator that builds a 3-by-3 skew-symmetric matrix from a vector 
 such as
      
Furthermore, the matrix 
 models the dissipative effects due to the motion within the fluid; the main damping contributions are given by the nonlinear skin friction due to turbulent boundary layers, and by the viscous damping force due to vortex shedding. Damping effects are highly nonlinear and coupled; for underwater vehicles, to a first approximation, coupling effects and terms higher than the second order (with respect to body-fixed velocity) can be neglected, which in turn equals to assume a diagonal structure for 
. Finally, since quadratic terms dominate over linear terms, 
 can be approximated with
      
      where 
 is the operator which builds a 
n-by-
n diagonal matrix from a vector 
 such as
      
For the sake of completeness, the angular damping coefficients have been neglected in this work (i.e., 
), while the first three terms in Equation (
9) can be calculated as described in [
1] with
      
      where 
 represents the water density, 
 is the projection of the area of the hull of the vehicle on a plane perpendicular to the 
i-axis of the body-fixed frame, and 
 is the drag coefficient, which quantifies the fluid resistance against the vehicle motion.
Additionally, the vector 
 of generalized forces due to the gravity 
 and buoyancy forces 
 in the body-fixed frame is represented by
      
      where 
 and 
 represent the positions of the center of gravity and the center of buoyancy with respect to the body-fixed frame.
In the case of vehicles whose center of mass and center of buoyancy are constant w.r.t. the joint configuration 
, the expression of the gravity vector and the buoyancy vector are simply:
      where 
 is the gravity acceleration vector expressed in the NED frame, ∇ is the volume of the vehicle submerged body, and 
 is the water density. In the context of this work, the center of gravity and buoyancy have been assumed as coincident with the center of mass (i.e., with the origin of the body-fixed frame), any torque due to gravity/buoyancy force will be applied to the vehicle and Equation (
12) is approximated as
      
Furthermore, the study of marine vehicles cannot neglect the effects of specific disturbances such as ocean current [
17]. Simplified modeling of the current effect can be obtained by assuming the current irrotational and constant in the Earth-fixed frame; thus, its effect on the vehicle can be modeled as a constant disturbance in the Earth-fixed frame that is further projected onto the vehicle-fixed frame. Indeed the ocean current, expressed in the NED frame, 
 can be represented as,
      
The current effects can be added to the dynamics of a rigid body moving in a fluid by simply considering the relative velocity in the body-fixed frame 
 in the derivation of the Coriolis and centripetal terms and the damping terms. Finally, the Equation (
4) can be simplified in a more compact form, as follows:
      where 
 represent the sum of the nonlinear generalized forces applied to the reconfigurable vehicle, depending on the configuration 
, the NED pose 
 and the body-fixed velocity 
 with respect to the marine currents.
  4. Thruster Configuration and Propulsion System
A linear relation [
18] holds between forces and moments acting on the vehicle 
 and the motor thrusts 
 as shown in Equation (
17).
      
      where 
 is the vector that collects the rotational speed of each motor and 
m is the number of motors, 
B is the thrust allocation matrix (TAM), which depends upon the thruster poses with respect to the vehicle center of gravity, as defined in Equation (
18), and Equation (
19).
      
      with
      
      where 
 represents, in the body frame, the unit vector of the axis of the 
ith thruster and 
 its center with respect to the body-fixed frame. As suggested in [
13], a more intuitive representation of the 
ith column of Equation (
19), in different AURV configurations, can be observed in spherical coordinates. In particular, the axial unit vector of the 
ith thruster has been modeled as
      
      where 
 is the inclination and 
 the azimuth angle of the longitudinal axis of the 
ith thruster in the 
 configuration of the AURV.
Concerning the propulsion system, the four-quadrant motor characteristic is approximated, according to [
2], with the purpose of modeling the relationship between the thrust value 
 and the rotational speed 
 of the thruster:
      where 
k is a coefficient that relates motor thrust and propeller speed at bollard conditions (usually divided in the forward and backward bollard coefficients, depending on the propeller motion), 
 is a function depending on the 
ith motor advance speed 
 and the propeller pitch 
 (a construction parameter), and 
 is the term including in the model the dead-zone boundary values at the voltage supply level 
. In the context of this work, a preliminary assumption has been made by neglecting the dead-zone boundary values and the term depending upon the motor advance speed. Additionally, we define a physical maximum value 
 as the rotational speed of each thruster, and Equation (
21) can be simplified as follows:
      where 
 represents the signed ratio of the thruster speed with respect to its maximum value. Finally, inserting the previously defined thrust vector
      
      in Equation (
16) leads to the complete AURV dynamic model
      
      where 
 is the linear map between the generalized forces 
 and the "
power-normalized" vector 
 defined by exploiting the operator 
, which transforms every element of a vector 
 such as
      
      and where 
 is the diagonal matrix defined as
      
      which takes into account in Equation (
25) the power-normalized values of maximum rotational speed, and 
 is the diagonal matrix expressed as
      
  5. Dynamic Maneuverability Analysis
The concept of dynamic maneuverability measurement for AURVs can be defined by adapting Yoshikawa’s approach for robotic arms [
10]. While the theory of dynamic manipulability measurement of robotics arms is proposed as an index of their ability in manipulating the end effector, the dynamic maneuverability of an underwater vehicle takes into account a quantitative study of the AURV ability to move along its degrees of freedom in the several configurations, by considering the vehicle system dynamics. More in detail, the Equation (
25) can be reformulated as follows:
      where 
 is the linear map between the 
power-normalized rotational speed vector 
 and the vehicle body-fixed acceleration, including the contribution 
 from the nonlinear terms 
 in Equation (
25).
According to Yoshikawa’s theory [
10], the concept of maneuverability can be obtained by observing how the Jacobian matrix 
 is deformed by the unit sphere 
 of the power-normalized rotational speeds, such as
      
It is worth noticing how the operator 
, defined in Equation (
26), transforms the unit sphere 
 in a biquadratic surface 
.
In 
Figure 4, the particular case of two-dimensional biquadratic surface 
 can be observed; from a practical point of view, this situation corresponds to afford the problem of estimating the maximum values of the AURV body accelerations 
 given the quasimaximum value of the thruster rotational speeds. For the sake of completeness, the term “quasimaximum” is used in this work to outline the fact the system inputs will never reach their maximum value at the same time, as shown in 
Figure 4.
Turning to a geometric interpretation of 
, the set of all propeller rotational speeds, at the input to the dynamic system defined in Equation (
31), can be formulated as
      
      where 
 is defined as
      
      which leads to
      
      where the operator 
 refers to the Moore–Penrose pseudoinverse. The Equation (
35) represents the dynamic maneuverability ellipsoid (DME) of the dynamic system described in Equation (
31), defined as the set of the possible body-fixed accelerations 
 given the biquadratic surface 
 as input, and the acceleration 
 provided by the nonlinear forces. As a matter of fact, the nonlinear accelerations 
 result in a translation of the DME center, while it can be observed how the deformation (i.e., the length of the semiaxis) of the DME is related to the Jacobian 
. In light of these considerations, the volume of the DME only depends on the chosen propulsion system, on the physical properties of the AURV, and on the thruster configuration on the actual configuration. A more exhaustive explanation can be provided by considering the singular value decomposition (SVD) of 
 [
19],
      
      where 
 contains the 
r nonzero singular values 
 of 
 in decreasing order, 
 is an orthogonal matrix whose columns are the left singular vectors of 
 that form an orthonormal base of the output space, and 
 is an orthogonal matrix whose columns are the right singular vectors of 
 that form an orthonormal base of the input space. Furthermore, considering that
      
      and inserting Equations (
37), (
36), and (
40) in Equation (
35), it results in the formulation of the DME expressed in the base of the left singular vectors of 
, as follows
      
Equation (
41) describes the relationship among the singular values 
 of 
 and the DME. In greater detail, it can be observed that the singular values 
 represent the length of the DME semiaxis, expressed as in Equation (
41), whereas their direction in the body-fixed frame can be obtained from the 
ith column of the matrix 
. Finally, from a practical consideration, the DME expressed in Equation (
35) is studied in a decoupled manner from the linear 
 and angular 
 accelerations point of view. Thus, by defining
      
      the linear DME and the angular DME are evaluated, such as
      
For the sake of completeness, the well-known formulations of Equations (
41) and (
37) can be extended for both the linear and angular ellipsoids defined in Equations (
44) and (
45).
  6. Metrics and Indices
As described above, the linear and angular DMEs provides a qualitative geometric evaluation of the maneuverability of an AURV configuration; conversely, quantitative indices will be outlined in this Section. More specifically, Yoshikawa’s manipulability index [
10,
11] is defined as
      
      which is proportional to the volume of the DME. Therefore, it can be used to numerically evaluate the overall maneuverability of the system by exploiting the following concept: a larger volume reflects a better performance. The Equation (
46) does not consider if the vehicle is near a “singularity”, i.e., a situation where the vehicle cannot move in a direction 
 associated to a singular value 
. Thus, a second manipulability index is often associated with the inverse of condition number 
 of the Jacobian matrix 
 as
      
The aforementioned index is considerably appealing since immediately provides useful information: firstly, it can be observed that this index represents the ellipsoid eccentricity; then, if the vehicle is not omnidirectional (i.e., cannot move in every degree of freedom), the index defined in Equation (
47) holds to a zero value. Finally, the authors propose a third index as an absolute value of the AURV maneuverability in the three different directions of the body-fixed frame. As described in 
Section 5, the problem of estimating the maximum values of the AURV body accelerations 
 given the quasimaximum value of the thruster rotational speeds have been addressed in this work. From a more practical as well as physical perspective, it can be seen as a way to measure the difference between the maximum admissible linear 
 and angular 
 accelerations along each axis of the body-fixed reference frame. As a result, for the linear and angular DMEs, these indices can be defined as
      
      where 
 is the unit vector identifying the 
jth direction of the AURV linear/angular motion.
  7. Simulations and Results
The maneuverability simulation performed for both the extreme UNIFI DIEF configurations are presented in this Section. Within the context of this work, the following notation is employed: a generic property 
 belongs to the “survey” AURV configuration, while 
 relates to a feature of the “hovering” one. Furthermore, the results hereafter presented have been obtained by means of MATLAB-coded dynamic simulations. In particular, along with the assumptions proposed in 
Section 3, the following settings have been used:
the AURV position 
 is the same in both the two configurations, and the vehicle orientation 
 will be expressed with respect to the NED frame. Additionally, it is assumed that the vehicle is in resting position (i.e., 
) affected by the marine currents. Although this hypothesis may seem restrictive, it was decided, within this preliminary study, to consider the scenario in which the AURV, in both the configurations, is stationary; realistic cases of motion will be investigated in the future. The kinematic parameters are summarized in 
Table 1:
The dynamic terms in Equation (
4) have been evaluated by exploiting several preliminary hydrodynamic simulations. More accurate identification strategies will be further analyzed in the future in order to provide an accurate estimate of the AURV dynamic parameters. Therefore, the dynamic features of survey 
 and hovering 
 configurations are respectively listed in 
Table 2.
The two different thrust allocation matrices 
 have been evaluated by using the body-fixed position 
 and longitudinal direction 
 of the 
ith thruster in both configurations, estimated in the design stage of the AURV. As a result, 
Table 3 shows the thruster configurations parameters, where the 
ith thruster longitudinal axis have been expressed in the terms of the inclination 
 and azimuth 
 angle in spherical coordinates.
It can be straightforwardly observed, as already described in the 
Section 2, how the first four thrusters are necessary for the linear motion of the vehicle along the horizontal plane, whereas the last four provide displacement along the vertical direction of the body-fixed frame. In particular, 
Table 3, shows how the first four thrusters are all aligned along the surge axis in the survey configuration, with the aim of improving the longitudinal navigation, whilst, at the same time, the AURV cannot move in the sway direction.
With regard to the propulsion system parameters, 
Table 4 outlines the estimated values for the BlueRobotics T200 propeller [
20], the motor selected to be equipped in the UNIFI DIEF AURV; it is worth noticing how these values have been evaluated by exploiting the methodology described from the authors in [
21].
As highlighted in 
Section 4, in this work, a preliminary assumption has been done by neglecting the dead-zone boundary values and the term depending upon the motor advance speed. Indeed, we approximate the relationship among the motor rotational speed and the longitudinal thrust with the forward bollard coefficient defined in 
Table 4.
The above-illustrated parameters have been employed in order to obtain the linear DME and angular DME, described in Equations (
44) and (
45), and the maneuverability indices defined in Equations (
46)–(
49) in 
Section 6, for both the configurations of the UNIFI DIEF AURV. 
Figure 5, illustrates the angular and linear ellipsoids for the survey shape of the vehicle. In particular, it is worth noticing how the linear DME turns to a circle, since the singular value related to the sway direction is equal to zero, as observed in the 
Table 5; thus, Yoshikawa’s index 
 and 
 are also a zero value. If these results define the survey configuration as a singular one (i.e., the motion on the sway axis of the body-fixed frame is not taken into account), it should be considered as the index 
, defined as the maximum values of the AURV body accelerations 
, along the surge 
x direction, given the quasimaximum value of the thruster rotational speeds as input, is much larger than the same index for the hovering configuration. Conversely, the hovering configuration has the property of a omnidirectional motion in all the six degrees of freedom, as shown in 
Figure 6, and, as a consequence, Yoshikawa’s index 
 is different from zero. Additionally, it is interesting to notice that the index 
 is closer to the unit value in both linear DME and angular DME, which implies that the hovering configuration is accurately controllable in every direction of space and can find a realistic application in complex tasks, as, for instance, working on an offshore structure or recovering samples from a shipwreck. Furthermore, 
Figure 7 illustrates the linear DME for the survey configuration in two different situations: firstly, when the ellipsoid is calculated considering to be in the absence of accelerations due to nonlinear terms (i.e., 
), then with the assumptions explained at the beginning of this Section. As proposed in 
Section 5, the nonlinear accelerations 
 result in a translation of the linear DME center, while the shape of the linear DME is not affected, since it is only related to the singular values 
. These considerations can also be applied in the case of the angular DME indeed. In conclusion, this section showed the results of the innovative dynamic maneuverability analysis on the UNIFI DIEF AURV obtained by means of dynamic simulations. From a qualitative point of view, linear and angular DMEs have been estimated for both the extreme configurations of the vehicle. As a first observation, it can be noted that such strategy allows immediately to distinguish if a vehicle is omnidirectional or if it is singular along a direction of motion. Additionally, several indices have been supplied as quantitative measurements of the AURV maneuverability. More specifically, the index proposed by the authors in Equation (
49) represents the maximum value of the AURV body accelerations given the quasi-maximum value of the thruster rotational speeds. Therefore, this index can be used as a relevant absolute value of maneuverability for the different AURV configurations.