Abstract
In this paper, the inherent stability problem for multibody systems with variable-stiffness springs (VSSs) is studied. Since multibody systems with VSSs may consume energy during the variation of stiffness, the inherent stability is not always ensured. The motivation of this paper is to present sufficient conditions that ensure the inherent stability of multibody systems with VSSs. The absolute stability theory is adopted, and N-degree-of-freedom (DOF) systems with VSSs are formulated as a Lur’e form. Furthermore, based on the circle criterion, sufficient conditions for the inherent stability of the systems are obtained. In order to verify these conditions, both frequency-domain and time-domain numerical simulations are conducted for several typical low-DOF systems.
1. Introduction
Vibration control can generally be classified into passive control, active control, and semiactive control. Semiactive control integrates the advantages of both excellent control performance of active control and high reliability of passive control, which can be realized by online adjusting the characteristic parameters (such as stiffness, damping, etc.) of originally passive devices [1]. Since semiactive control devices are obtained based on their passive counterparts, it is expected to inherit the stability of passive control, which means that even though failures and improper control actions of the parameter adjustments may occur, the semiactive control system can remain stable. Such kind of property is known as the inherent stability of semiactive control systems [2]. However, it has been demonstrated that inherent stability of semiactive control systems only conditionally holds for some special semiactive devices [2].
Variable-stiffness spring (VSS) is a commonly used semiactive control device because of its effectiveness in modifying the resonance frequencies of vibration control systems [3]. In [4], the VSS-based system is applied in seismic building control, where VSS is aimed at establishing a nonresonant state against earthquake excitation. Up to now, different realizations for VSS have been proposed. For example, a resettable VSS (RVSS) is proposed to enhance the performance of a tuned mass damper system [5]. In [6], a VSS is developed by integrating the magnetorheological fluid into a damper. Based on the force-current analogy between mechanical systems and electrical circuits, a novel electrical VSS (EVSS) is proposed to reduce the suspension deflection of a seat suspension [7]. Moreover, the performance benefits of VSSs in robotic applications have been widely demonstrated [8, 9].
A graphical representation on the relationship among vibration control, passivity, and inherent stability is shown in Figure 1. Note that the terminologies “passive” (seen in Definition 4) and “active” are mutually exclusive with clear boundary in definition according to whether energy can be internally generated. However, whether semiactive systems are “passive” or “active” involves some abuse of notation [2]. This means that semiactive control can be further classified into “active” semiactive control and “passive” semiactive control. For example, in [2], it is demonstrated that certain semiactive devices including nonnegative variable-damping dampers, resettable-stiffness springs, and resettable-inertance inerters are “passive”; in [10–12], the VSSs are actually “active” due to the less energy required for adjusting the parameters. For “passive” semiactive control systems, inherent stability can be guaranteed due to the passivity formalism [13], as shown in the green lines in Figure 1. For “active” semiactive control systems, inherent stability can not be guaranteed. In [14], it is proved that instabilities can be induced by VSSs. However, for “active” VSS-based semiactive control systems, how to ensure inherent stability has not yet been studied, which is the main concern of this paper, as shown in the red line in Figure 1. Since the stiffness influences the potential energy of a system, a certain amount of energy is generally required to adjust the stiffness. This means that “active” VSSs are more common than the “passive” ones. Therefore, it is of great theoretical and practical significance to investigate the inherent stability problem of VSSs-based systems.

The VSS-based systems are typical nonlinear control systems, where the nonlinearities are induced by the variable stiffness within a sector reflecting the bounds of VSSs. For nonlinear mechanical systems, several control strategies have been proposed to ensure stability and performance, such as sliding mode backstepping [15], adaptive finite-time control [16, 17], etc. In [16], the problem of finite-time fault-tolerant consensus protocols for a class of uncertain multiple mechanical systems is investigated, and the proposed scheme can guarantee that the position errors and the velocity errors between any two mechanical systems converge to a small neighbourhood of zero in finite time. In [17], an adaptive fuzzy finite-time control scheme is proposed to guarantee the stability of a class of nonlinear systems with unknown nonlinearities. Note that, for the aforementioned papers, stability of the close-loop system is achieved. However, the inherent stability studied in this paper implies the stability for a group of control laws within certain sectors, instead of a special control law in the aforementioned papers. Therefore, in this paper, the inherent stability problem for the multibody systems with VSSs is studied via the absolute stability theory, and the general multibody system with VSSs is transformed into a Lur’e-type system described as a linear passive system with feedback-connected nonlinearities. The most celebrated methods to analyze the absolute stability of a Lur’e-type systems are circle criterion (CC) and Popov criterion (PC). CC can deal with more diverse nonlinearities including time-varying ones than PC [18]. Since the stiffness of VSSs is time-varying in general, CC is adopted to verify the absolute stability of the multibody systems with VSSs. Furthermore, for several typical low-DOF systems, sufficient conditions imposed on the upper and lower bounds of VSSs are derived and verified via numerical examples in both frequency domain and time domain.
The main contributions of this paper are as follows:(1)The inherent stability problem for the multibody systems with “active” VSSs is investigated, which has not been studied before but with great theoretical and practical significance. Sufficient conditions for the inherent stability of the general multibody systems with “active” VSSs are derived and analyzed via the absolute stability theory.(2)The inherent stability of several typical low-DOF systems with “active” VSSs is analyzed. Moreover, extensive numerical examples based on low-DOF systems are conducted to show the effectiveness of the results of this paper.
The structure of this paper is organized as follows. Definitions and lemmas used in this paper are summarized in Section 2. In Section 3, the general multibody systems with VSSs are modeled as Lur’e-type systems, and the absolute stability of these systems is demonstrated. Numerical simulation of the absolute stability of several low-DOF systems is given in Section 4. Conclusions are drawn in Section 5.
2. Definitions and Lemmas
In this section, some definitions and lemmas related to the absolute analysis of the multibody systems with VSSs are given.
Definition 1 (see [18]). The definitions of the sector terminology in both the scalar and multivariable cases are as follows:(i)Consider a scalar function with , ; it is said to belong to the sector if where and .(ii)Consider a specific multivariable function with , , which can be decoupled to ; it is said to belong to the sector if where , , and .
Definition 2 (see [19]). Consider the Lur’e systemwhere is controllable, is observable, and is a memoryless, possibly time-varying, nonlinearity, which is piecewise continuous in and locally Lipschitz in . In addition, satisfies a sector condition per Definition 1. The system is absolutely stable if the origin is globally uniformly asymptotically stable for any nonlinearity in the given sector. It is absolutely stable with a finite domain if the origin is uniformly asymptotically stable.
Definition 3 (see [18]). Denote a disk for where and are constant, as the closed disk in the complex plane centred at and with radius .
Definition 4 (see [2]). A system whose input is and output is , for which it is defined a lower bounded (Lyapunov-like) storage function , is said to be “passive” if it satisfies the following equation:where , .
Lemma 1 (see [19]). The system described in Definition 2 is absolutely stable if(i) and is strictly positive real(ii), with , and is strictly positive real
Lemma 2 (see [19]). Consider a scalar system of equation (3), where is a minimal realization of and . Then, the system is absolutely stable if one of the following conditions is satisfied, as appropriate:(i)If , the Nyquist plot of does not enter the disk and encircles it m times in the counterclockwise direction, where m is the number of poles of with positive real parts(ii)If , is Hurwitz, and the Nyquist plot of lies to the right of the vertical line defined by (iii)If , is Hurwitz, and the Nyquist plot of lies in the interior of the disk
If the sector condition is satisfied only on an interval , the foregoing conditions ensure that the system is absolutely stable with a finite domain.
Lemma 3 (see [20]). The transfer matrix is a strictly positive real matrix if is a positive real matrix for some .
Lemma 4 (see [21]). Let be a real matrix-valued rational function of the formif the linear matrix inequalities (LMIs)have a solution of the LMIs.
Lemma 5 (see [20]). Consider the rational matrix . Then is a strictly positive real matrix if and only if(i)All elements of are analytic in (ii), (iii), if or
Lemma 6 (see [22]). Consider the rational matrix . If all the eigenvalues of have negative real part, then there is a such that is analytic in .
3. Absolute Stability Analysis of N-DOF Multibody Systems with VSSs
Consider a N-DOF multibody system with a dynamic equation as follows:where is the generalized coordinate vector of each DOF and , , and are the mass, damping, and stiffness matrices of the N-DOF multibody system, respectively. is the force applied by VSSs and is imposed on the N-DOF multibody system. Note that equation (7) represents a general description of multibody systems, which can be used to model vehicles, bridges, buildings, etc. The main problem of this paper is as follows.
Problem 1. Consider a N-DOF system with VSSs where the stiffness can be adjusted online within certain ranges. Determine the ranges for the stiffness of VSSs where the inherent stability can always be guaranteed.
Since it has been proved in [14] that instability can be induced by “active” VSSs, Problem 1 is intended to propose sufficient conditions for the “active” VSSs to guarantee the inherent stability on condition that the stiffness of VSSs is adjusted within certain ranges. In practice, the stiffness of VSSs is always bounded due to the physical realizations. For example, for variable-stiffness leaf springs [23], the stiffness is limited by the geometry; for a variable stiffness mechanism [24], the stiffness is limited by the rotation amount of the springs, etc. Therefore, apart from the theoretical interest of studying Problem 1, the ranges obtained from Problem 1 can provide practical guidance for the selection and manufacture of VSSs.
Assume that there are VSSs to be applied to the multibody system, where (since VSS has two mechanical terminals, there are at most VSSs that can be applied in a N-DOF system). The locations for connecting VSSs are numbered as , where location 0 is the inertial frame (mechanical ground) and locations correspond to the N-DOFs, respectively. For a VSS , , its two terminals are connected to the locations and , where and are some integers between and .
Proposition 1. If , is a column vector with the entry as 1, the entry as −1, and others as 0; otherwise, if , then is a column vector with the entry as 1 and others as 0.
Proof. If , the relevant parts of the dynamic equation can be obtained aswhere the abridged parts are not affected by the VSS. Therefore, , where line is −1 and line is 1 in this vector.
If , the relevant parts of the dynamic equation can be obtained aswhere the abridged parts are not affected by the VSS. Therefore, , where line is 1 in this vector.
According to Proposition 1, if , is a column vector with the entry as 1, entry as −1, and others as 0; otherwise, if , then is a column vector with the entry as 1 and others as 0.
Then, the dynamic equation of the multibody system with VSSs can be represented aswhere is the stiffness of the VSS and is the position vector for VSS .
Denote withand then, equation (10) can be rewritten aswhere .
Therefore,Denotingone can obtain the state-space representation of the N-DOF system with VSSs aswhere
Remark 1. Note that, in [2], the inherently stability of “passive” VSS-based semiactive systems is studied, while in this paper, multibody systems with VSSs are “active.” In the following, the passivity of these systems is analyzed via energy consumption.
Note that is a matrix containing pairs (or singleton) of connection points such that the vector of relative displacements across the devices is . Consider a storage function that is equal to the potential energy stored in VSSs:The derivative of equalsAccording to Definition 4, for the VSSs-based systems, assume that the output is , and the external power input . Substituting equation (18) into equation (4), the dissipated power can be solved as follows:In [2], to ensure the passivity, the resettable-stiffness spring is proposed. However, the restriction is that the adjustment actions of the spring only take place at the instant that . In this paper, “active” multibody systems with VSSs are studied. Compared with the restriction to ensure the passivity, it should only satisfy that , , which is common in practice. To the best of our knowledge, this is for the first time in the spring-related research field.
Remark 2. Note that, in Definition 1, the bounds of the sector are better to be constants or diagonal matrices for the absolute stability analysis, and the matrix in equation (15) is always diagonal no matter what the position and number of VSSs are. Therefore, a Lur’e-type form (15) can represent the general multibody systems with VSSs.
The transfer function of equation (15) isLetwhere and are the upper and lower bound of the matrix .
From Lemma 4, the transfer function is positive real, if there exists a symmetric, positive-definite matrix , which satisfieswhere is converted by the transfer function .
From Lemma 3, the transfer function is strictly positive real if there exist some , which satisfies that is positive real.
According to Lemma 1, if the transfer function is strictly positive real, the N-DOF multibody system with VSSs is absolutely stable.
4. Numerical Simulation
In this section, numerical simulations of the absolute stability of several low-DOF systems are conducted. In Section 4.1, the absolute stability problem of semiactive control systems with only one VSS is studied. Section 4.2 derives the sufficient conditions for semiactive control systems with several VSSs.
4.1. Absolute Stability Analysis of the System with One VSS
Theorem 1. Consider a 1-DOF system with one VSS, seen in Figure 2; the dimensionless dynamic equation iswhere , , , and (, , , , and represent mass, damping, stiffness, variable stiffness, and displacement of the 1-DOF system, respectively). If it satisfies equation (24), the 1-DOF system with one VSS is absolutely stable.where .

Proof. Denote ; equation (23) can be converted towhereThe transfer function of equation (25) isLetThe transfer function can be converted to state-space realization , whereIt is clear that all the eigenvalues of have negative real part. Then, according to Lemma 6, all elements of are analytic in , which satisfies list 1 of Lemma 5.
According to list 1 of Lemma 5, it is obvious that all elements of are analytic in . According to list 2 of Lemma 5,In order to satisfy that , , it can be obtained thatwhere .
According to the position of the symmetry axis, the following inequality can be obtained:orBy simplifying the inequalities equations (32) and (33), the following sufficient condition can be obtained: where .
Therefore, in order to satisfy that , , equation (34) should be satisfied.
According to list 3 of Lemma 5, note that in , and thenTherefore, list 3 of Lemma 5 is obviously satisfied in all conditions.
In summary, if equation (34) is satisfied, is a strictly positive real matrix.
According to Lemma 1, note that , andis strictly positive real. Therefore, the 1-DOF system with one VSS is absolutely stable.
Example 1. Consider a 1-DOF system, seen in Figure 2, and choose , , . In the following, the range of is calculated by equation (32) or (33). From equation (32), the range of is calculated as , and from equation (33), the range is . Therefore, can be set from 1 to 5.321 to ensure the absolute stability of the 1-DOF system. Figure 3 shows the Nyquist plot and disk plot of the 1-DOF system; the system is absolutely stable, according to Lemma 2.
Apart from verification in the frequency domain, time-domain simulation is also considered as follows. Two kinds of nonlinearities are considered. For the first one, the selected is given in equation (37), which is in the range . The other selected is given in equation (38), which is out of the range .Time-domain simulation is shown in Figure 4. Figure 4(a) shows the phase trajectory of state when the selected is in the stable range. The phase trajectory from a specific initial condition , which converge to the origin, indicates the stability of the system. Figure 4(b) shows the phase trajectory of state when the selected is out of the stable range. The phase trajectory from a specific initial condition , which is divergent, indicates the instability of the system.


(a)

(b)
Remark 3. Note that Lemmas 3 and 4 can also verify whether is strictly positive real, apart from Lemma 5. If there exist positive and symmetric, positive-definite matrix satisfying equation (39), the 1-DOF system with one VSS is absolutely stable.where is converted by .
In the following, numerical simulation is given to compare the conservatism. The values of , , and are the same as Example 1. Equation (33) is feasible when varies from 1 to 5.3. Figure 5 shows the Nyquist plot and disk plot of the 1-DOF system; the system is absolutely stable, according to Lemma 2.
Note that the range of is smaller than that in Example 1; the LMI condition in this remark is more conservative than that in Theorem 1. Therefore, it is better to analyze the absolute stability of a 1-DOF system with variable stiffness spring by equation (24) in Theorem 1.

Example 2. A comparison between the method proposed in this paper and the traditional stability analysis method with a quadratic Lyapunov function for the 1-DOF system shown in Figure 2 is conducted. The values of and are the same as those in Example 1, and a VSS with a periodic stiffness, i.e.,which can be found in robot manipulators such as in [25], is adopted.
Let and . For the traditional stability analysis method with a quadratic Lyapunov function, one can select a quadratic Lyapunov function aswhere . It can be checked that if , then and , indicating that the 1-DOF system is stable.
By using the method proposed in this paper, from equation (24), one obtains that the 1-DOF system with a VSS is always stable whenever varies in the interval . This means that the stability condition obtained by the traditional quadratic Lyapunov function method only holds for specific cases such as the periodic variable stiffness in equation (40), while the condition obtained by the method proposed in this paper is applicable for any type of VSS’s variable stiffness within a sector. To further show this fact, the following variable stiffnesses are considered:Figure 6(a) shows the sector, seen as equation (44), induced by a VSS. The red solid lines represent the bound of the sector . The black dashed line and the blue dotted line represent the periodic variable stiffness, (42) and (43), respectively.It is clear that the case with equation (42) is stable by using the quadratic Lyapunov function in equation (41). However, for the case with equation (43), the stability cannot be verified by using the quadratic Lyapunov function in equation (41), while since it is within the sector as shown in Figure 6(a), the stability of the case with equation (43) can be checked by using the method proposed in this paper, where Figure 6(b) shows that both cases are stable. This example demonstrates that the method proposed in this paper is applicable for a group of nonlinearities within a certain sector, instead of a specific nonlinearity.

(a)

(b)
4.2. Absolute Stability Analysis of the Systems with VSSs
Theorem 2. Consider a 2-DOF system with VSSs, seen in Figure 7; the dimensionless dynamic equation iswhere , , , , , , , , and varies from to . , , , , and represent mass, damping, stiffness, variable stiffness, and displacement of the 2-DOF system, respectively. If there exist positive and symmetric, positive-definite matrix satisfying equation (46), the 2-DOF system with VSSs is absolutely stable.
where is converted by .

Proof. Denote ; equation (45) can be converted towhereThe transfer function of equation (47) iswhere denotes the symmetrical element, andThenwhere and . Equation (51) can be converted to the state space .
From Lemma 3, the transfer function is strictly positive real if there exist some , which satisfies that is positive real.
From Lemma 4, the transfer function is positive real if there exists a symmetric, positive-definite matrix , which satisfies
Example 3. Choose , , , , , , , , , , , and ; the symmetric and positive-definite matrix is calculated by the standard numerical simulation toolbox.According to Theorem 2, if there exist some and a symmetric and positive-definite matrix , the 2-DOF system with VSSs is absolutely stable.
Apart from verification in the frequency domain, time-domain simulation is also considered as follows. Two kinds of nonlinearities are considered. For the first one, the selected , , and are given in equation (54), which are in the ranges , , and . The other selected , , and are given in equation (55), which are out of the ranges , , and .
In the following, a time-domain simulation is conducted, similar to that in Example 1. The values of , , and are, respectively, selected as equations (54) and (55):Numerical simulation is shown in Figure 8, where similar results as Example 1 can be found. The system can be stable when the selected values are in the stable ranges, as shown in Figure 8(a). However, when the selected values are out of the stable ranges, the system will be unstable, as shown in Figure 8(b).

(a)

(b)
5. Conclusions
In this paper, the inherent stability problem for multibody systems with VSSs was investigated. Based on the feature that the inherent stability implied the stability for a group of control laws within certain sectors, absolute stability theory was adopted. The general N-DOF multibody systems with VSSs were formulated in a Lur’e form, and the circle criterion method was employed to obtain sufficient conditions for the inherent stability of the systems. Numerical examples based typical low-DOF systems were conducted to show the effectiveness of the proposed conditions in this paper. Furthermore, the results of this paper can contribute to adjusting the bounds of the stiffness of VSSs to ensure the inherent stability and can also be regarded as a guidance for designing VSSs-based mechanical control systems.
Data Availability
The data used to support the findings of this study are included within the article.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
This research was partially supported by the National Natural Science Foundation of China under Grant 62173125, the National Natural Science Foundation of China-State Grid Joint Fund for Smart Grid under Grant U1966202, the Fundamental Research Funds for the Central Universities of China under Grant B210202058, and Postgraduate Research & Practice Innovation Program of Jiangsu Province under Grant KYCX21_0481.