1. Introduction
Input redundancy has been added to a lot of life-critical applications, including aerospace [
1,
2], spacecraft [
3], marine vessels [
4,
5], floating platforms [
6], and ground vehicles [
7,
8], to create reliable systems capable of withstanding potential actuator failures. In the absence of faults, it is logical to expect an enhancement in system performance when employing these input redundancies instead of using them as idle backups. However, as demonstrated in this paper, such improvements may not occur throughout the entire state space for certain types of input constraints. Therefore, input redundancy should be assessed before being utilized for performance enhancement. Although such an assessment can be conducted through empirical experiments [
9], theoretical analysis can significantly save time and expenses.
In the realm of linear quadratic regulator (LQR) problems with input redundancy, ref. [
10] established conditions that ensure a strict decrease in the minimum cost resulting from the incorporation of new redundant actuators. For LQR problems featuring identical input redundancy, [
11] offered an approximate upper bound to circumscribe the potential reduction in cost. This upper bound was later extended by [
12] to accommodate arbitrary input redundancy within LQR problems. Ref. [
13] presented new bounds on the solution of the continuous algebraic Riccati equation for LQR problems with input redundancy. Ref. [
14] presented sufficient conditions to guarantee a decrease in the controller gain when increasing the control input. Ref. [
15] increased the columns of the input matrix to give upper and lower solution bounds, providing a sufficient condition for the strictly decreasing feedback controller gain. In [
16], tighter upper bounds of the positive (semi-)definite solution of the continuous algebraic Riccati equation corresponding to the redundant control input problem were studied uniformly in the stabilizable case. Ref. [
17] investigated the LQR problem for continuous-time linear systems with redundant control inputs. However, it is pertinent to note that these studies diverge significantly from the issue addressed in this paper, as we delve into the time-optimal control problem with input constraints, as opposed to the unconstrained LQR problems examined in the aforementioned works. Regarding constrained time-optimal control problems, ref. [
18] confined their discussion to linear time-invariant (LTI) systems, which represent a specific subset of the nonlinear affine systems under consideration in this paper. Undoubtedly, the problem explored within this paper introduces a dual layer of intricacy: on the one hand, it extends beyond the confines of linear systems to engage with nonlinear dynamics; on the other hand, it incorporates input constraints into the analysis, diverging from the typical LQR framework that lacks explicit input constraints.
Beyond life-critical backups, there is a common belief that more actuators lead to a more powerful system. However, this notion may not always hold true.
Consider the multiple-unit railroad vehicle illustrated in
Figure 1. Its traction system is distributed across the entire vehicle, eliminating the need for a traditional locomotive [
19]. Electric motors power the driven axles, which are located at positions ➀, ➃, ➄, ➇, and ➈ in various carriages. Replacing non-driven axles with driven ones is often considered an effective method to increase a train’s maximum speed, introducing identical input redundancy. However, according to physical laws, the theoretical maximum drag force (TMDF) of a vehicle is determined by its weight multiplied by the friction coefficient between the wheels and the rail. The TMDF serves as an upper limit for the total driving force, with the vehicle’s weight and friction coefficient remaining constant. With a limited number of driven axles and relatively small, powerful motors, the total driving force will likely be far less than the TMDF. In this scenario, adding new input redundancy may actually decrease the optimal time. Conversely, if more powerful motors are added, the total driving force can approach and maintain the TMDF. In this case, introducing additional input redundancy will not reduce the optimal time. As a result, the input constraint subtly shifts from
to
, which will be defined and discussed in subsequent sections of this paper.
Now, let us examine a sports utility vehicle (SUV) powered by electric motors, as shown in
Figure 2. This SUV has two drive modes: front-wheel drive and four-wheel drive. In front-wheel drive mode, the driving force is generated by the two front wheels (motors), denoted as
and
. In contrast, all four motors are utilized to propel the vehicle in four-wheel drive mode. The following expression is employed to describe the SUV:
where
,
,
,
,
,
,
, and
. In front-wheel drive mode, the matrix
W satisfies
with no input redundancy, and system (
1) becomes
In four-wheel drive mode, we have
, and then system (
1) with different input redundancies becomes
Similar to the multiple-unit railroad vehicle, the effect of adding these new input redundancies to the SUV vehicle depends on its TMDF, which means its input constraint may shift from
to
.
The impact of input redundancy in these two examples might seem straightforward, but they serve as an inspiration for understanding the general principles that apply to more complex scenarios. With the rapid advancement of science and technology, a plethora of new types of actuators have become available. Consequently, it is an essential task for system designers to ascertain which actuators and how many are necessary to achieve improved performance. Undoubtedly, theoretical insights can greatly benefit this endeavor. Our paper concentrates on establishing theoretical results that guarantee a reduction in time-optimal control problems with input redundancy in both linear and nonlinear systems.
This paper is organized as follows.
Section 2.1 introduces the concept of a non-idle channel to represent the input channel, highlighting that its presence among input redundancies can lead to a decrease in the optimal time. In
Section 2.2, input constraints are classified into two categories: degenerate and nondegenerate. For nondegenerate constraints, the inherent normality of the problem ensures a reduction in the optimal time due to input redundancy. Conversely, this reduction is not guaranteed for degenerate constraints.
Section 2.3 discusses identical input redundancy, where the extent of reduction depends on the types of input constraints.
Section 2.4 examines the impact of adding new input redundancy in linear time-invariant (LTI) systems, relating it to system controllability.
Section 3 utilizes two numerical examples to substantiate our theoretical findings. Finally,
Section 4 presents the conclusions of this study.
2. Materials and Methods
This section details our theoretical results, which assert that the incorporation of input redundancy facilitates faster time-optimal control in both affine nonlinear systems and linear systems.
2.1. Affine Nonlinear Systems with Input Redundancy
Preliminarily, we delineate the time-optimal control problem for affine nonlinear systems without input redundancy as follows:
Problem 1. Minimize the final time, , required to transfer the affine nonlinear systemfrom a nonzero initial state to the origin point , where , , and is an r-dimensional bounded closed set. Now, we consider the transformation of the above problem when input redundancy is incorporated, as follows:
Problem 2. Minimize the final time, , within which the redundant affine nonlinear systemcan be transferred from a nonzero initial state to the origin point, where and , , , is an -dimensional bounded closed set that satisfies , where Let
and
denote the optimal times for the control problems with and without input redundancy, respectively, starting from the initial state
. Given that
constitutes a proper superset of
(i.e.,
), it follows that the optimal time must satisfy
for any initial state
. However, it is not inherently guaranteed that a strict reduction occurs such that
. To illustrate a scenario where the optimal time remains unaltered despite the introduction of input redundancy, consider Problem 1 with the following system description:
where
. Meanwhile, consider Problem 2 with the following system with redundancy:
where
. Then, their optimal time will always be identical to
throughout the entire state space. Equation (
9) indicates that the presence of input redundancy does not reduce the optimal time; an explanation for this occurrence is provided in
Section 2.3. Now, we introduce the definitions of idle and non-idle channels.
Definition 1. Input channel is called an “idle channel with respect to ” if this channel is unused during the entire optimal time interval with respect to , where and represents the dimension of the input vector .
Definition 2. Input channel is called a “non-idle channel with respect to ” if the optimal control input of this channel is nonzero during at least one nontrivial time interval with respect to , where nontrivial means .
Then, a sufficient condition can be derived to ascertain the strict reduction in the optimal time following the addition of input redundancy.
Theorem 1. Suppose there exists an optimal control for Problems 1 and 2, and that the optimal control for Problem 2 is unique. Then, the optimal time satisfiesfor any initial state , provided that Problem 2 features a non-idle redundant channel with respect to . Proof. For
, assume that
is a non-idle redundant channel, where
. According to Definition 2, there exists a nontrivial time interval
such that
, where
. Then, the optimal control satisfies
where no feasible control for Problem 1 can form the unique optimal control
for Problem 2. As a result, the optimal time will strictly reduce. □
Nevertheless, demonstrating the existence of a non-idle redundant channel does not depend on the uniqueness of the optimal control for Problem 2. Consequently, we arrive at the following theorem:
Theorem 2. If the optimal time for Problems 1 and 2 satisfieswith respect to , then there exists a non-idle channel among the input redundancies. Proof. This can be proven by contradiction. Firstly, assume that all the redundant channels are idle for . Then, there exists that forms as the optimal control for Problem 2 with . Let the control for Problem 1 be . Then, we obtain . This further means since . This contradicts the precondition that . Thus, there must exist a non-idle redundant channel if . □
Remark 1. Theorem 1 serves as a sufficient condition, ensuring that the addition of input redundancy will lead to a reduction in the optimal time, whereas Theorem 2 provides a necessary condition for the same effect.
In accordance with Theorem 1, it is imperative to ascertain the optimal time for every initial state in order to formulate a comprehensive assessment of input redundancy across the entire state space. However, for subsequent analysis, knowledge of the optimal time for states on a lower-dimensional hypersurface of suffices.
Theorem 3. Let M be a bounded closed set and be its complement in the state space , where the origin is an interior point of M and represents its boundary. Then, the optimal time satisfiesfor all if every experiences a reduction in the optimal time after adding input redundancy. Pursuant to Theorem 3, if all states on the boundary exhibit a reduced optimal time due to input redundancy, then any state exterior to this boundary will also experience a reduced optimal time. To elucidate this theorem, consider the set
, as illustrated in
Figure 3. As depicted, the boundary of
M is denoted by
, which is encircled by the smallest circle
. For an initial state
located outside
M, the optimal trajectory without input redundancy comprises segments
and
, intersecting at point
. When input redundancy is employed, the optimal trajectory originating from
is
. If
, we have
Consequently, if every state on
exhibits a reduced optimal time with the introduction of input redundancy, it follows that all states outside
will do so as well. Furthermore, by applying Algorithm 1, the radius of
can be made to approximate that of
.
For the sake of computational simplicity, we use the hypersphere
to replace
in Theorem 3. Let
denote the minimum radius such that the optimal time decreases for every
. Evidently, if
, the entire state space, except for the origin point, will undergo a reduction in the optimal time when input redundancy is introduced. Conversely, any
that satisfies
will yield
for certain
. Typically,
is an unknown priori, which can be calculated by implementing the algorithm below.
Algorithm 1: The approximation of |
![Mathematics 12 02793 i001]() |
2.2. Redundancy in Nondegenerate and Degenerate Input Constraints
It is well established that for a normal time-optimal control Problem 2, the control will be a bang-bang control, residing on the boundary . The term “normal” implies that can be determined by the Hamiltonian throughout any nontrivial time interval. It should be noted that the discussions in this subsection pertain to behaviors during nontrivial time intervals, which may not hold true at isolated points in time. Within the context of a normal problem, both nondegenerate and degenerate input constraints are considered.
Definition 3. An input constraint is nondegenerate if , whereand represents the complement of in , where Definition 4. An input constraint is degenerate if there exists such that .
Illustrative examples of degenerate and nondegenerate input constraints are presented in
Figure 4. It is evident that both degenerate and nondegenerate input constraints can be nonconvex, as demonstrated by
and
, respectively.
Evidently, for a normal problem, its optimal control will adhere to the condition
. Furthermore, when the optimal control is a member of
, it signifies that all input channels are active. Consequently, for a normal Problem 2 that features nondegenerate input constraints, not a single redundant channel remains idle. A well-known example of a nondegenerate input constraint is
, which is defined as
However, the input constraints of
and
are degenerate, which are defined as follows:
and
Referring back to the systems in (
7) and (
8), it is evident that their input constraints correspond to the degenerate case of
.
Given that the optimal control for a normal problem is uniquely determined by the Hamiltonian, its existence inherently ensures its uniqueness. According to Theorem 1, the following result can be readily deduced:
Corollary 1. Suppose the existence of optimal controls for Problem 1 and Problem 2. If is nondegenerate and Problem 2 is normal, then the optimal time satisfiesfor any nonzero initial state . Proof. If is nondegenerate and Problem 2 is normal, then and , which means that all of the input channels (including the redundant input channels) are non-idle channels in the optimal control for Problem 2 from any nonzero initial state. According to Theorem 1, it can be concluded that . □
However, in the presence of degenerate input constraints, input redundancy does not lead to an improvement in the optimal time. To illustrate this, we consider the constraint and construct two novel problems as outlined below.
Problem 3. Problem 1, except that the input constraint becomes .
Problem 4. Problem 2, except that the input constraint becomes .
Given that both and are bounded closed sets, the conclusions derived from the preceding subsection remain applicable to these two newly formulated problems.
The Hamiltonian of Problem 2 or Problem 4 is
where
is called a costate vector. According to Pontryagin’s Maximum Principle (PMP) [
20], the minimum of (
22) satisfies
where
,
,
is the
j-th column of input matrix
. The vector
is called a switching vector. The normality of Problem 4 is defined as follows:
Definition 5 ([
21])
. Problem 4 is normal if and only if one component of reaches the extreme value during any nontrivial time interval , i.e., for every other than l, where and . According to (
23) and Definition 5, the optimal control for Problem 4 is called dynamic single-input control (DSIC) [
21], where only one input channel works at its extreme value while all the other ones are unused. Additionally, the working channel may switch among different channels during different time intervals. Clearly, if Problem 4 is normal but none of the redundant channels is the working channel, the optimal time will not reduce after adding input redundancy.
2.3. The Effect of Adding Identical Input Redundancy
When employing identical input redundancy, the input matrix transforms into , a scenario commonly encountered in life-critical systems, as discussed in the previous section. Intuitively, duplicating actuators appears to bolster system capabilities, presumably leading to a decrease in the optimal time. Nonetheless, the impact of introducing identical input redundancy is contingent on the nature of the input constraint in place.
Firstly, a system with identical input redundancy can be formulated as follows:
where
and
,
. It is evident that input control can be distributed arbitrarily between
and
without affecting system dynamics. Assuming
, system (
24) becomes
where
.
According to PMP, the terminal value of
in Problem 1 should fulfill the following equation [
22]:
Because
leads to
in (
26),
should be nonzero. If the origin point is an equilibrium of (
24), then
. As a result,
leads to
in (
26), which means
under the constrained
. Meanwhile, since [
22]
it can be deduced that
and
for all
. Consequently, there exists a
such that
for
. This implies that the corresponding optimal control assumes a bang-bang form during the interval
, leading to the following theorem:
Theorem 4. Suppose the existence of the optimal control for Problem 1 with input constraints and . Then, the optimal time satisfiesfor every if , where and are two bounded closed sets, and represents the interior of set . In order to gain an insight into this theorem, let us examine the input constraint for
within system (
25).
On the one hand, if
is equivalently substitutable by
and
within (
24), the input constraint for (
25) would then be
. Moreover, system (
24) would be equivalent to system (
4), albeit with an expanded constraint set such that
. In accordance with Theorem 4, given that
, the optimal time is guaranteed to decrease strictly upon the addition of identical input redundancy. Clearly,
is an example that falls under this category of input constraints.
On the other hand, if the replacement of
with
and
is not viable, the impact of introducing identical input redundancy would vary according to the specific type of input constraint. To illustrate this point, we consider the examples of
and
. According to (
25), if
, the input constraint in (
24) becomes
Furthermore, the input constraint in (
25) becomes
In accordance with (
9), the optimal time remains invariant when identical input redundancy is introduced.
Conversely, when considering
, the input redundancy in (
24) and (
25) results in a constraint that transforms into
Pursuant to Theorem 4, given that
, it follows that the optimal time will exhibit a decrease when identical input redundancy is introduced.
2.4. Input Redundancy in LTI Systems
It is a well-established fact that a linear time-invariant (LTI) system is controllable if and only if its controllability matrix
possesses full row rank [
23]. Evidently, within the realm of LTI systems, once a system is deemed controllable, its controllability remains invariant even after the introduction of input redundancy. Nevertheless, as elucidated in this subsection, the optimal time associated with the system is subject to reduction upon the addition of input redundancy. First, we formulate the time-optimal control problem for the LTI system as follows:
Problem 5. Minimize the final time to transfer the LTI systemfrom an initial state to the origin point of 0, where and , is Lebesgue measurable. Meanwhile, the LTI system with input redundancy has the following time-optimal control problem:
Problem 6. Minimize the final time, , to transfer the redundant LTI systemfrom an initial state to the origin point of 0, where and , is Lebesgue measurable. In system (
33), the dynamics of its state can be explicitly formulated as follows:
Since
, we have
which defines a bounded linear mapping
According to [
24], an operator between two normed spaces is a bounded linear operator if and only if it is a continuous linear operator. Since a continuous linear operator maps a bounded set into a bounded set, then we can conclude that
is bounded. From any initial state
, there always exists a control
to transfer system (
33) to the origin point 0 within time
t. Similarly, there exists a bounded linear mapping
for the redundant system (
34), which can be expressed as follows:
In the redundant system (
34), its controllability satisfies the following:
Lemma 1 ([
20,
22])
. Time-optimal control exists for every in Problem 6 if the pair is controllable, where is defined in (39). Meanwhile, the following lemma reveals the relationship between non-idle channels and the controllability of redundant LTI systems.
Lemma 2. If is controllable, then is a non-idle channel with respect to any initial state , where represents the i-th column of B.
Proof. According to PMP, the minimum of the Hamiltonian satisfies
Meanwhile,
results in
with
. According to (
26), the terminal value of the costate vector is
, which implies
. Because
, if
is controllable, it follows that
during any nontrivial time interval. Then, we can rewrite (
40) as follows:
According to (
41), if
during a nontrivial time interval, we obtain the following:
which contradicts the fact that
is the minimum. As a result,
is a non-idle channel if
is controllable. □
Utilizing Lemmas 1 and 2, as well as Theorem 1, the following theorem becomes self-evident:
Theorem 5. If both and are controllable, then the optimal time satisfiesfor any initial state , where and denote the optimal times corresponding to Problems 5 and 6, respectively, for linear time-invariant (LTI) systems. Remark 2. Theorem 1 offers a sufficient condition for the reduction in the optimal time following the introduction of input redundancy, based on the presence of a non-idle redundant channel and the existence of optimal control. In parallel, Lemma 2 ensures the existence of a non-idle channel, while Lemma 1 establishes the connection between the existence of optimal control and system controllability. Consequently, the integration of Lemma 1 and Lemma 2 fulfills the criteria outlined in Theorem 1, thereby leading to the conclusions presented in Theorem 5.
Remark 3. This theorem implies that for nondegenerate input constraints Π, assessing the impact of adding input redundancy to an LTI system is akin to evaluating the system’s controllability. As per [25], there are numerous methods to ascertain the controllability of an LTI system. Therefore, our theoretical result offers a straightforward approach to evaluating redundant actuators prior to conducting any engineering experiments, thereby conserving considerable effort in the design of systems incorporating input redundancy. 3. Results
In this section, we employ a series of numerical examples to elucidate and validate the theoretical findings presented in the previous section.
Example 1. Consider the time-optimal control problem for the following system:with the goal of transferring from an initial state to the origin point while satisfying . Moreover, consider the time-optimal control problem for the same system with input redundancy as follows:with the goal of transferring from the same initial state to the origin point while satisfying the degenerate input constraint In this example, we treat
as a redundant input channel. Initially, by applying Pontryagin’s Maximum Principle (PMP) [
20] to the time-optimal control problem of the system described by Equation (
44), which lacks input redundancy, we determine that the optimal time is
. This is illustrated on the left side of
Figure 5, where the optimal state
reaches the origin at
, specifically
and
. Subsequently, for the system outlined in Equation (
45), which incorporates input redundancy, we ascertain that its optimal time is
. This is depicted in the center of
Figure 5, where the optimal state
reaches the origin at
, with
and
. Additionally, the optimal control
is displayed on the right side of
Figure 5, where
represents a bang-bang control throughout the entire optimal time interval
.
Evidently, in accordance with Definition 2, the bang-bang control signifies that the redundant input channel is a non-idle channel with respect to the initial state . Consequently, based on our theoretical findings in Theorem 1, we expect the optimal time to satisfy , which is corroborated by the experimental outcomes, yielding and .
Example 2. Compare with the time-optimal control problems of the double-integrator plant (DIP) [25] and the extended double-integrator plant (EDIP) to the origin point. The DIP is defined aswith the input constraint . Meanwhile, the EDIP is defined aswith the following nondegenerate input constraint: Undoubtedly, the time-optimal control problems associated with the systems described by Equations (
47) and (
48) in this example fulfill the criteria stipulated in Problems 5 and 6, respectively. It is evident that the linear time-invariant (LTI) systems expressed by Equations (
47) and (
48) are controllable. As a result, in line with Theorem 5, we can assert that
holds true for any nonzero initial state.
Furthermore, we can leverage numerical experiments to substantiate the theoretical findings outlined in Equation (
50). By applying PMP to this example, we depict the isochrones for the DIP and EDIP with optimal times of
and
in
Figure 6. The isochrone corresponding to the DIP with
delineates all initial states from which the system requires precisely
s to reach the origin. Upon examining
Figure 6, it is evident that the isochrone for the EDIP strictly encompasses that of the DIP for both
and
. This observation indicates that the DIP invariably demands more time than the EDIP to transport the system from an identical initial state to the origin, thereby confirming our theoretical assertion in Equation (
50).