{'fraction_non_alphanumeric': 0.028424008168028005, 'fraction_numerical': 0.012634918319719954, 'mean_word_length': 4.957315086347345, 'pattern_counts': {'":': 0, '<': 1, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 1, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
The Passive Series Stiffness That Optimizes Torque Tracking for a Lower-Limb Exoskeleton in Human Walking

This study uses theory and experiments to investigate the relationship between the passive stiffness of series elastic actuators and torque tracking performance in lower-limb exoskeletons during human walking. Through theoretical analysis with our simplified system model, we found that the optimal passive stiffness matches the slope of the desired torque-angle relationship. We also conjectured that a bandwidth limit resulted in a maximum rate of change in torque error that can be commanded through control input, which is fixed across desired and passive stiffness conditions. This led to hypotheses about the interactions among optimal control gains, passive stiffness and desired quasi-stiffness. Walking experiments were conducted with multiple angle-based desired torque curves. The observed lowest torque tracking errors identified for each combination of desired and passive stiffnesses were shown to be linearly proportional to the magnitude of the difference between the two stiffnesses. The proportional gains corresponding to the lowest observed errors were seen inversely proportional to passive stiffness values and to desired stiffness. These findings supported our hypotheses, and provide guidance to application-specific hardware customization as well as controller design for torque-controlled robotic legged locomotion.


INTRODUCTION
Direct control of interaction forces or torques have been used in physical human-robot interaction to reduce interface impedance, increase reactiveness of the robotic devices and thus improves human safety and comfort (Haddadin et al., 2008;Lasota et al., 2014). Torque control also provides a simple means of manipulating the flow of energy from the exoskeleton to the human, which can be useful in biomechanics studies (Veneman et al., 2007;Sawicki and Ferris, 2009;Stienen et al., 2010;Malcolm et al., 2013;Jackson and Collins, 2015). It can also be used to exploit passive dynamics or render virtual systems with alternate dynamics in humanoid robots (Pratt et al., 1997), active prostheses (Au et al., 2008;Sup et al., 2009;Caputo and Collins, 2013), and exoskeletons (Kawamoto et al., 2010;Unluhisarcikli et al., 2011;Giovacchini et al., 2014;Witte et al., 2015). In exoskeletons and prostheses, torque control quality is a limiting factor in accuracy of the applied intervention or assistance and can be the limiting factor in system performance. Therefore, there are always motivations to improve torque control performance in these systems.
Various efforts have been made toward accurate torque tracking of lower-limb wearable robotic devices bym means of controller design (van Dijk et al., 2013;Zanotto et al., 2013;Zhang et al., 2015Zhang et al., , 2017. This type of systems have complicated, time-varying and uncertain dynamics due to human-robot interactions and possible transmission frictions. Inter-subject and inter-step variations of human gait also introduce hardto-quantify noise and disturbances. Such characteristics result in the effectiveness of a torque tracking structure made of the combination of model-free, integration-free feedback control and iterative learning (van Dijk et al., 2013;Zhang et al., 2015Zhang et al., , 2017. With this control architecture, fairly strong interactions were also observed experimentally in torque tracking between the device passive stiffness and high-level controller that determines desired torques, which suggest potential room for further improvement of torque tracking performance. This paper explores the possibility to improve torque control performance in lowerlimb exoskeletons under fixed control objectives, with limited knowledge of the complete system dynamics, by optimizing the passive stiffness of actuators. Traditionally, robot actuation has been made as stiff as possible for improved precision, stability and bandwidth of position control (Salisbury et al., 1991;Pratt and Williamson, 1995). Compliant actuators have been widely used in wearable devices during the past two decades due to their ability to improve human safety and comfort (Zinn et al., 2004;de Luca et al., 2006;Haddadin et al., 2008;Ham et al., 2009;Lasota et al., 2014) and reduce shock loads (Pratt and Williamson, 1995;Pratt et al., 1997;Ham et al., 2009). In the realization of compliant actuation, passive compliance is usually involved due to its improved safety, increased interaction control bandwidth and its ability of energy storage (Whitney, 1987;Pratt et al., 1997;Ham et al., 2009). Series elastic actuators are one type of actuators with passive compliance that have gained great popularity due to their enhanced force control performance and improved human experience (Pratt and Williamson, 1995;Robinson et al., 1999;Pratt et al., 2004;Zinn et al., 2004;Sensinger et al., 2006;Wyeth, 2006).
The stiffness of the elastic element is crucial in design of series elastic actuators since it highly affects the performance of the device in various applications (Hollander et al., 2006). Multiple criteria have been employed in the selection of passive compliance. Higher spring stiffness increases the openloop bandwidth of an actuator and is more desirable for the purpose of increasing force bandwidth (Paine et al., 2014). Lower stiffness, however, increases the capacity of energy storage in actuators (Paine et al., 2014). Many devices also select series stiffness by balancing torque/force requirements, device geometry and device weight (Kong et al., 2009;Sawicki and Ferris, 2009;Witte et al., 2015). Multiple works discussed the optimization of passive stiffness in series elastic actuators for fixed applications from the perspective of energy consumption (Hollander et al., 2006;Vanderborght et al., 2008Vanderborght et al., , 2009. Some aimed to optimize total energy consumption by general analysis (Vanderborght et al., 2006(Vanderborght et al., , 2008, matching the natural frequency of the actuator to the desired motion (Jafari et al., 2013), or matching system source and load impedance (Ozawa et al., 2015). Some tried to optimize application peak power capacity (Hollander et al., 2006).
There were some previous works that addressed the effects of passive stiffness of series elastic actuators on torque tracking performance, most of which were by means of theory Vanderborght et al., 2009), simulation or benchtop tests without realistic experimental conditions (Ozawa et al., 2015). Veneman et al. (2006) briefly discussed the role of series elastic actuator passive stiffness in torque tracking, which states that too high and too low stiffness both worsen its control performance. It would be beneficial to investigate thoroughly the existence of the optimum in passive stiffness and its exact value by means of both theoretical analysis and realistic experiments.
This paper attends to the optimization of the passive series stiffness in lower-limb exoskeletons in the context of torque tracking during human walking, under the popular impedance based high level controller (Sawicki and Ferris, 2009;Caputo and Collins, 2013;Witte et al., 2015) using both theory and experiments. This type of high level controller adjusts the torque applied to human body according to joint position and realizes a desired quasi-stiffness, which is defined as the slope of the desired torque-angle relationship (Rouse et al., 2013). It is especially popular among locomotion related robots due to the high repeatability and ease of energy input manipulation to human body (Sawicki and Ferris, 2009;Caputo and Collins, 2013;Witte et al., 2015). The results are expected to guide applicationspecific hardware design of lower limb wearable robots used in gait assistance or rehabilitation.

METHODS
To investigate the influence of passive stiffness on torque tracking performance in series elastic actuators, we did a case study on a tethered ankle-foot exoskeleton driven by a uni-directional Bowden cable (Witte et al., 2015). We developed a simplified model of the exoskeleton system, base on which we made hypotheses that relate torque tracking performance, actuator passive stiffness and control parameters. We then conducted walking experiments with one subject wearing the exoskeleton on the right foot. Eight different desired torque-angle relationships were implemented. Each was tested in combination with six passive stiffness configurations by switching the series spring in the transmission sub-system of the device. Every combination of desired and passive stiffness values, which we denote as one "stiffness combination" hereinafter in this paper, incurred multiple walking experiments on treadmill while the subject wore the device with different control gains. Comparison of the resulting torque tracking errors of these experiments identifies the best-observed tracking performance and corresponding control parameters of the current stiffness combination, which serve as the estimates of the actual optimal performance and control parameters. The observed optima were then investigated against the values of desired and passive stiffnesses to test and validate the hypotheses.

Exoskeleton System and Simplified Model
The exoskeleton testbed system comprised of an off-board realtime control module and geared electric motor, a uni-directional Bowden cable transmission with a series spring, and an ankle exoskeleton frame that interfaced with the human foot and shank (Figure 1).
To facilitate and ease mathematical analysis and make prediction of passive stiffness optimum for a pre-determined desired quasi-stiffness, the following simplifications were made in modeling the system: (1) There is zero friction in Bowden cable transmission, and the tension in the cable is the same at the motor output pulley and the ankle exoskeleton sides at any time. We define this tension as F.
(2) The transmission sub-system consisting of the Bowden cable and the series spring behaves like a linear spring, i.e., in which K c is the total effective stiffness of the Bowden cable transmission and series spring; θ p and θ e are the pulley and exoskeleton joint angles relative to a position at which the Bowden cable begins to go slack; r p and r a are the pulley radius and the lever arm at the ankle joint.
(3) The range of motion of the exoskeleton joint is relatively small, which is around ±10 degrees around a nominal position. Therefore, the lever arm of the cable tension relative to the device joint, r a , is small and can be assumed constant.
The torque at the exoskeleton side of the transmission can thus be expressed as (2) FIGURE 1 | Tethered ankle exoskeleton system. (A) A schematic of the system that consists of an off-board motor system, a Bowden cable transmission ended with a series spring and an exoskeleton frame. For each desired quasi-stiffness, passive stiffness of the system was varied by switching the series spring and walking experiments were conducted to identify the optimal passive stiffness value. (B) A photo of the device worn by a subject standing on treadmill.
Combining Equations (1) and (2), we can express the torque applied by the exoskeleton to the human ankle joint as in which the aspect ratio of transmission is and the transmission stiffness K t which relates torque applied by the exoskeleton to the device joint angle is defined as  (Zhang et al., , 2017. To simplify the testing of tracking performance, only the feedback part of the controller was used in theoretical analysis and experiments of this study: Damping Injectioṅ θ m,des = Nθ p,des This controller has two parts: proportional control and damping injection. In this formulation, e τ = τ − τ des is torque error, τ is measured exoskeleton torque, τ des is desired exoskeleton torque. Damping injection on motor velocity is used instead of derivative control over torque errors to reduce the effect of measurement noise, which is more severe in the latter since torque is measured and transmitted in analog form while motor position is in digital and non-linearities is present in Bowden cable transmission. K p is a proportional gain and K d is a damping gain. The motor runs in velocity mode with the desire motor output pulley velocityθ p,des converted to desired motor velocityθ m,des before asserted. N is the gear ratio of the motor.

High Level Control: Desired Quasi-Stiffness
Two types of ankle angle based desired torque curves were used to realize different desired quasi-stiffnesses. One was a linear torque vs. ankle angle curve as shown in Figure 2A and expressed in Equation (7).
τ des = S · K des,0 · (θ e − θ 0,l ) = −K des · (θ e − θ 0,l ) τ des = max(τ des , 0) Frontiers in Neurorobotics | www.frontiersin.org  where (θ 0,l , τ 0,l ) is an anchor node in torque-angle space and K des is the resulted desired stiffness. S is a scaling factor on the unit curve with desired quasi-stiffness of K des,0 to get different values of desired quasi-stiffness. Another type of curve tested was a piece-wise linear torqueangle curve with the format of Equation (8) as shown in Figure 2B.
Here, (θ i,p , τ i,p ) defines a node in torque-angle space ( Figure 2B). i denotes the phase number on the curve the gait is currently in. The node (θ 2,p , τ 2,p ) marked the transition from the dorsiflexion phase, in which ankle velocity was negative, to the plantarflexion phase, in which ankle velocity was positive. Since the exact transition point varied on each stride, we used the angle and torque at the moment of transition, (θ ′ 2,p , τ ′ 2,p ), when calculating desired torque in the first portion of Plantarflexion, i.e., phase 3 of the curve.
Note that the piece-wise linear curve mimics the positive work loop produced by human ankle torque-angle relationship during walking, which was commonly used by lower-limb exoekeletons and prostheses in high level control (Caputo and Collins, 2013). The linear model is a special case for the piec-wise linear model, and a simplified version, which will be used in theoretical analysis later in this article.

Theoretical Analysis and Hypotheses
We conducted theoretical analysis based on the analytic expressions of the testbed system dynamics, desired torque, and torque controller and made hypotheses about the optimum of passive stiffness of series elastic actuators in lower-limb ankle exoskeletons and the interactions between optimal gains, desired stiffness and passive stiffness.

Optimal Passive Stiffness
To further ease the theoretical analysis for the prediction of passive stiffness optimum in series elastic actuators, we modeled the assisted walking with the ankle exoskeleton as an oscillator. Oscillators are efficient modeling tools in biological and physical sciences due to their capability to synchronize with other oscillators or with external driving signals (Collins and Stewart, 1993b;Righetti et al., 2009). Multiple efforts have been made toward improving the synchronization capabilities of non-linear oscillators by adapting their frequencies (Righetti et al., 2009). The concept has been introduced and employed in locomotion to either improve the identification of central pattern generator parameters (Bay and Hemami, 1987;Collins and Stewart, 1993a,b;Buchli et al., 2006;Morimoto et al., 2006), to better estimate state measurements (Dutra et al., 2003;Ronsse et al., 2011;van Dijk et al., 2013), or to help with controller design (Tsuchiya et al., 2003;Aoi and Tsuchiya, 2005) by exploiting the cyclic behavior of walking. Therefore, we model various states of walking as synchronized oscillations. This method disburden our analysis from dealing with complicated human-robot interactive dynamics, focus on the resulting states like ankle kinematic profile and required motor position profile that are close to be periodical, and significantly simplified our analysis. However, neglecting of step-to-step variations in practical cases does cause potential deviation of experimental results from theoretical hypotheses.
With proportional control and damping injection in Equation (6) used for torque tracking, Due to the employment of a high-speed real-time controller and a high-acceleration servo motor, desired motor velocity is enforced rapidly, based on which we make the simplification of immediate motor velocity enforcement, i.e., Combining Equation (10) with a linear approximation of desired torque curves, including those expressed by Equations (7) and (8), in the form of we have in which θ 0 is maximum joint position for the device to exert torque on the human ankle, i.e., the intersection of torque-angle relationship with the angle axis.
Modeling exoskeleton-assisted walking after stabilization as an oscillation process made of N sinusoidal waves of the same frequency F, we get a profile of the ankle angle in the form of where c is an constant denoting the offset of the profile on torque axis, d n and β n are the magnitude and phase shift of the nth sinusoidal wave, and t represents the time elapsed within one stride since heel strike. The corresponding stabilized motor position should also oscillates with the same frequency. We can therefore construct a stabilized motor position by equal number of sinusoidal waves with the same phase shifts in the form of in which e is a constant and f n is a complex number. Substituting Equations (13) and (14) into Equation (12), we get Equation (15).
Equating the coefficients of the various sinusoidal waves and the offset, we have and Motor position profile in Equation (14) can thus be expressed in terms of the ankle position profile and the controller as Combining the oscillator assumption with Equation (12), we get the expression of the torque error as It is clear that without considering the control gains, asserting K des − K t = 0 will minimize torque tracking error. Therefore, we make the following hypothesis: Hypothesis 1. In lower-limb exoskeletons, the optimal passive stiffness of the series elastic actuator for torque tracking is

Relationship between Torque Tracking Performance and the Difference of Desired and Passive Stiffnesses
Another factor that limits torque tracking performance is the inability of the proportional gain to increase indefinitely. Reformating Equation (19), we get It is clear that when the passive stiffness is fixed but does not match the desired one, i.e., K t − K des = 0, with the same step frequency F and angle profile N n=1 d n · exp(j2πFt + β n ), torque tracking error e τ is inversely proportional to K p 1 + K d .
Meanwhile, combining the controller in Equation (9) and the assumption of perfect motor velocity tracking in Equation (10), we haveθ Differentiating the expression of applied torque in Equation (3), we getτ Therefore, the time derivative of torque error iṡ which is a first order dynamics created by feedback control with an effective proportional gain of However, this dynamics does not exist independently but interacts with the human body in parallel. Therefore, in practical cases, oscillations increase when effective proportional gain increases, which impairs torque tracking performances eventually and causes discomfort or injury to the human body. In our study, motor speed limit was never hit. Thus, we suspected that there is a fixed torque tracking bandwidth limit that is dependent on the combined interactive dynamics of motor, motor drive, transmission and human body. This bandwidth limit results in a fixed maximum commanded change rate of torque error,ė τ ,max , which corresponding to a best tracking performance regardless of the passive stiffness of the system. We therefore proposed the following conjecture: Conjecture 1. Assisted human walking with a lower-limb exoskeleton experiences a fixed maximum commanded tracking rate of torque error,ė τ ,max , which limits the tracking performance of the system.
In practical cases, Equation (24) can be further simplified. First, to realize real-time torque tracking, the motor velocity should be a lot faster then device joint velocity, i.e.,θ p ≫θ e , which combines with the fact that R = 2.5 results in the following fact about Equation (23) Successful torque tracking also means a fast changing rate of actual torque compared to the desired torque,τ ≫τ des , which leads to the results of dominance of applied torque changing rate in torque error changing rate, i.e., Therefore, Equation (24) can be estimated as: According to Conjecture, there is a fixed maximumė τ which corresponding to optimal control performance. In this case, with comparable torque error e τ , K p 1 + K d and K t are inversely proportional to each other. In other words, the application of Conjecture 1 results in a fixed time constant 1 + K d K t RK p at optimal control conditions. Together with the assumption of a rather constant step frequency F and a constant angle profile N n=1 d n · exp(j2πFt + β n ), torque error as expressed by Equation (21) is proportional to the difference between passive and desired stiffness values, i.e., Then the root-mean-squared value of n instanteneous torque tracking errors at optimal conditions can be expressed as .., C n are some constant coefficients. This then leads to the hypothesis below.
Hypothesis 2. The root-mean-squared torque tracking errors under optimal feedback control conditions are proportional to the absolute difference between the desired and passive stiffness values, i.e.,

Interactions between Optimal Control Gains and Passive Stiffness
Dynamics in Equation (24) directly leads to a relationship between K p and K t : (29) which can be simplified under the same desired torque-angle relationship, i.e., K des . Previous study shows an root-meansquared tracking error of <8% the peak desired torque under proportional control and damping injection (Zhang et al., , 2017, which is expected to be improvable with better control parameters and different curve types. This suggests that under optimal torque tracking conditions, the actual applied torque profiles with the same K des , are expected to be fairly constant regardless of the value of passive stiffness K t . Meanwhile, although the exact exoskeleton-human interactive dynamics is difficult to identify, we expect the relationship between applies torque and resulting human ankle kinematics to obey of Newton's law. Therefore, a fairly constant torque profile from the exoskeleton, when applied to the same subject under the same walking speed and step frequencies with low variance, should produce rather constant human and device joint kinematics, θ e andθ e . Therefore, the extreme device joint velocity that would produce the highest torque error rate with fixed control gains and push the controlled system to its bandwidth limit, θ e,ext , does not vary significantly across different passive stiffness conditions. Similar assumptions can be made about the extreme torque error e τ ,ext . On the other hand, gain of the less dominant damping injection control part, K d , have been observed to be upper-bounded by the appearance of motor juddering in our experiments at K d,max = 0.6 for various stiffness combinations. The approximated invariance of θ e,ext and K d,max , combined with a fixedė τ ,max as assumed by Conjecture 1, lead to the following hypothesis.
Hypothesis 3. With the same desired torque-angle curve, thus the same K des , the optimal proportional gain K p,opt is related to the passive stiffness K t by in which σ is dependent on the desired stiffness K des and can be expressed as and the constant λ is To ease later presentation, we label the value σ here as K p − K t coefficient hereinafter.
On the other hand, to realize torque tracking, proportional control is always dominant over damping injection. Therefore, Equation (22) can be simplified aṡ and accordingly, Equation (27) becomeṡ which suggests that we can further simplify Hypothesis 3 with an approximated inverse proportional relationship between the optimal K p and K t . According to Conjecture 1, at optimal conditions,ė τ is fixed. With comparable torque error e τ , the following corollary can be made.
Corollary 1. For a fixed desired torque-angle relationship, i.e, K des , when the passive stiffness of the series elastic actuator of the device is changed from K t,old to K t,new , an estimate of the new optimal proportional control, K p,new , can be achieved by in which K p,old is the optimal at K t,old .
Although multiple approximations have been made in the derivation of this corollary, which causes inaccuracies in this estimation, it can be used to set a starting point of proportional control gain tuning when system passive stiffness is changed with only the knowledge of the old and new passive stiffness values.

Relationship between K p − K t Coefficient and Desired Stiffness
Furthermore, combining Equations (24), (30), (32) at optimal control conditions, we havė With relatively invariant extreme ankle velocity values, θ e,ext (t), and torque error valuesė τ ,max , across different desired stiffness, at a time of similar measured torque τ , the following hypothesis can then be drawn.
Hypothesis 4. The K d − K t coefficient in Equation (30) is related to the desired quasi-stiffness K des by in which ς, δ and ξ are constant parameters, and is linearly related to the hypothesized maximum commanded torque change rateė τ ,max .
Combining Hypotheses 3 and 4, we can relate the optimal proportional gain to the desired quasi-stiffness and get the following corollary.
Corollary 2. The optimal proportional control gain K p,opt has an inverse linear relationship with the desired quasi-stiffness K des .
Hypothesis 3 and Corollary 2 together suggest the monotonical decreasing trends of the optimal proportional control gain K p,opt as either the passive stiffness K t or the desired quasi-stiffness K des increases.

Dynamic Complications Not Featured
Multiple assumptions and approximations of the system dynamics were made to simplify our theoretical analysis in forming the hypotheses. Complications of the system that were not captured by the models we used are listed below.
(1) There are frictions and stictions in the Bowden cable transmission, which are also time-varying depending on the shape of the cable, conditions of the inner rope and conduit, tension in the rope and also velocity of the relative motion between the rope and conduit.
(2) The transmission stiffness is non-linear due to the existence of synthetic rope in Bowden cable, which is stretchy under a small tension and stiffer under larger. This stiffness is also subject to changes due to the slow-stretching of the rope and step-to-step gait variation. (3) The lever arm of series spring force with respect to the device joint is not a constant. (4) There is a communication delay and rise time during enforcement of the desired velocity. Therefore, there can never be perfect tracking. (5) Due to step-to-step variation, even after stabilization, the assisted walking is not an exactly periodical oscillatory process as assumed.
All these unfeatured complications in system dynamics can cause reality to deviate from the theoretical analysis to some extent. To ensure the guidance for hardware and controller design we provide to be meaningful practically, we conducted walking experiments to test and validate our hypotheses.

Testbed System Configurations
We tested the hypotheses with different springs on a tethered ankle exoskeleton comprised of an off-board real-time control module and geared electric motor, a uni-directional Bowden cable transmission with a series spring, and an exoskeleton frame that interfaced with the human foot and shank (Figure 1). In the tethered ankle exoskeleton testbed as shown in Figure 1, a dedicated real-time control system (ACE1103, dSPACE Inc.) sample sensors at 5,000 Hz, filter sensor data at 200 Hz, and generate control commands at 500 Hz. The motor unit was composed of a low-inertia 1.6 kW AC servo motor and a 5:1 planetary gear, with input voltage regulated by a motor driver running in velocity control mode (BSM90N-175AD, GBSM90-MRP120-5 and MFE460A010B, Baldor Electric Co.). A digital optical encoder (E5, US Digital Corp.) measured motor position.
The exoskeleton frame applied forces on the front of the human shank below the knee, beneath the heel, and beneath the toe, so as to generate an ankle plantarflexion torque in proportion to transmission force. Torque was measured using strain gauges (MMF003129, Micro-Measurements) applied in a full Wheatstone bridge on the heel lever, with 1,000 Hz signal conditioning (CSG110, Futek Inc.). Joint angle was measured using a digital optical encoder (E5, US Digital Corp.).
A flexible uni-directional Bowden cable transmitted forces from the motor to the exoskeleton frame while minimally restricting leg motions. The cable was composed of a coiledsteel outer conduit (415310-00, Lexco Cable Mfg.) and a 0.003 m diameter Vectran inner rope, and was 2 m in length. A series spring was attached at the end of the rope to provide increased compliance. This spring is switched in tests to investigate the effects of changing passive stiffness on torque tracking in the device.

Experimental Methods
The purpose of experiments in this study was to quantify not the human reaction but the torque tracking performance of various hardware and control conditions, in detail, the relative performance of torque tracking under different desired and passive stiffness conditions for the same subjects. In theoretical analysis, we conjected that the subject does not affect the relative relationship between desired/passive stiffness and tracking performance, but only the absolute values of the optimal control gains, and optimal tracking errors with a maximum tolerable exoskeleton control bandwidth (torque tracking rate). If this conjecture, together with the resulting hypotheses, is validated by single-subject experiments, then there is no need to test multiple subjects for the proof of the relative peroformance of different desired and passive stiffness values, which is unaffected by the subjects. If the conjecture and hypotheses do not even agree with single-sugject experiments, there is no meaning testing more subjects. Therefore, only one healthy subject (N = 1, female, 32 years, 1.65 m, 56 kg) was involved. The subject walked on a treadmill with a fixed speed of 1.25 m/s with a self-paced step frequency while wearing the tethered ankle exoskeleton on the right leg in all experiments. All experimental protocols were approved by Carnegie Mellon University IRB.
For the ease of readability, this paper uses Newton-meter, degree and meter as the corresponding units for measurements of torque, angle and distance.

Desired Torque-Angle Curves and Evaluation of Their Desired Stiffness Values
To test the hypotheses, eight desired quasi-stiffnesses, i.e., torque vs. ankle angle relationship, were implemented, including three linear and five piece-wise linear curves. A unit linear curve (S = 1 in Equation 7) was defined by parameter values in Table 1. The three linear curves, L1, L2 and L3, were achieved by scaling the unit curve on the desired torque axis with factors of 0.4, 1, and 1.7 respectively. On the other hand, a unit piece-wise linear curve (S = 1 in Equation 8) was defined by the parameter values listed in Table 2. Five piece-wise linear curves, P1, P2, P3, P4 and P5, were then achieved by scaling the unit curve with factors 0.4, 0.7, 1, 1.3, and 1.7. The resulting desired torque vs. ankle angle curves are shown in Figure 3.
Calculation of desired quasi-stiffness values are different for linear and piece-wise cases. For linear curves, the values of L1, L2, and L3 can be easily evaluated as 2, 5, and 8.5 Nm/deg respectively. This set spans a range of 6.5 Nm/deg with a maximum that is 4.25 times the minimum. For the case of piecewise linear curves, we primarily used the desired stiffness values of each of the four phases and investigated different phases separately. The desired quasi-stiffness values in this case ranges from 0.625 to 12.75 Nm/deg.

Realization of Different Passive Stiffness and Evaluation of Their Values
For each of the desired stiffness profile defined by a torque-angle relationship, six passive series stiffness values of the transmission system were realized by changing the series spring of the ankle exoskeleton ( Figure 1A). Five of them were achieved by attaching different compression springs (Diamond Wire Spring, Glenshaw, PA) at the end of the series elastic actuators. One was realized by getting rid of the spring in the structure, in which case the system passive stiffness is solely determined by the stiffness of the synthetic rope in Bowden cable. The list of springs used and their corresponding properties are available in Table 3.
The effective passive stiffness values of various spring configurations, K t , are evaluated based on passive walking experiment data. For each of six passive stiffness configurations, the human subject walks on the treadmill for at least one hundred steady steps wearing the exoskeleton with the motor position fixed at the position where force starts to be generated with the subject standing in neutral position. Such walking sessions were repeated multiple times for the same passive stiffness along the study. For each session of one hundred steps, the instantaneous value of passive stiffness at each time stamp was calculated and presented in relation to the measured torque values. Figure 4 presents such plots of passive walking sessions for different spring configurations, one session for each configuration. Median of the instantaneous passive stiffness values within the stabilized region was defined as the stabilized passive stiffness value of the session. For any spring configuration, its stabilized region is defined as a 5.65 Nm torque range, within which the change of trend for the instantaneous passive stiffness averaged over all sessions is minimum. The mean of the stabilized passive stiffness values across multiple experimental sessions for the same passive stiffness configuration was then used as its effective passive stiffness value.

Definition of Difference in Desired and Passive Stiffness Values
The difference between the desired and passive stiffnesses is an important index since Hypotheses 1 and 2 state that the optimal passive stiffness for torque tracking equals the the desired quasistiffness and torque errors are closely related to the difference between the two. In analyzing our experimental results, this value is defined as the algebraic difference between the desired and passive values, i.e., K t − K des .

Experiment Procedures
The key to be able to compare the influence of passive stiffness on torque tracking performance under a fixed desired quasi-stiffness is to evaluate the "best" tracking performance under each passive stiffness configuration. We did so by experimentally evaluate the tracking errors of multiple experimental sessions, each with different feedback control gains. The lowest error across these trials was then assigned as the estimate of the actual optimal performance with this passive stiffness. For each combination of desired and passive stiffnesses, the initial session had fairly low proportional and damping gains. The gains were gradually increased across trials until perceptible oscillations were detected with maximum damping gain. Depending on the initial gains and step sizes of gain tuning, number of trials varies for each stiffness combination. Sometimes, the gains are lowered in the final sessions to achieve better gain tuning resolution. On average, around ten trials were conducted for each stiffness combination.
Identification of the best torque tracking performance for a specific desired and passive stiffness combination is crucial. The step-wise root-mean-squared (RMS) torque tracking errors averaged over the one hundred steady steps for each experimental trial was calculated as its performance indicator. For each combination of desired and passive stiffnesses, the RMS error values of all trials with different gains were compared. The lowest of them was recorded as the estimate of optimal torque error for the corresponding stiffness combination. The control gains of the corresponding data set were recorded as the estimates of optimal control gains.  Table 1 with scaling factors of 0.4, 1, and 1.7. (B) Five piece-wise linear curves by achieved by scaling unit curve defined by Table 2 with scaling factors of 0.4, 0.7, 1, 1.3, and 1.7. | Example instantaneous passive stiffness values of passive walking sessions plotted against the measured torques for various spring configurations, one session for each. One experiment session consists of one-hundred steps with motor position fixed. The stablized passive stiffness value for one session is defined as the median of the values over a stabilized region. Note that the stablized region for each stiffness configuration was chosen based the average of multiple sessions, and the effective passive stiffness of the one stiffness configuration is defined as the mean of stabilized stiffness values across all these sessions. This figure only shows the data from one example session for each configuration, therefore, the "stablized region" may seems to have big variation.
Then, the lowest torque tracking errors and the control gains of corresponding experimental sessions for all stiffness combinations were investigated against the difference between desired and passive stiffness values to test the hypotheses. This process is demonstrated in Figure 5, which presents the control gains, experimental sequence, resulting RMS torque errors and the corresponding oscillation levels of measured torques for each data set with one combination of desired and passive stiffness.

Level of Oscillation
The level of oscillation included in Figure 5 is an indicator defined to show the amount of oscillations in the control results of each experiment session. As exemplified in Figure 6, oscillation level of one experiment session is defined as the mean stride-wise oscillation energy of the torque tracking error signal above 10 Hz. The total oscillation energy of a signal s(t) within one stance period is achieved by firstly high-pass filtering it at 10 Hz. The filtered signal, x(t), is converted to frequency domain using Fast Fourier Transform. The resulting signal in frequency domain, X(f ), is used to construct the energy spectral density as X(f ) 2 · T 2 s . The total energy of oscillation of signal s(t) is then calculated as the integral of the energy spectral density. The level of oscillation of a signal in one experiment session is then achieved by averaging the stride-wise torque error oscillation energy.

RESULTS
The resulting stabilized passive stiffness values are listed in Table 4. Although the reported spring stiffness values span a huge range (Table 3), the actual maximum value is only around three times the minimum due to the existence of the Bowden FIGURE 5 | Demonstration of the experimental procedure for one example combination of desired and passive stiffness. For stiffness combination, the first experiment session starts with a moderate set of proportional and damping injection gains. For the subsequent sessions, each of which includes at least one-hundred steady strides, the proportional gain was firstly increased until oscillations became noticeable. Then, damping injection gain was increased until oscillations were reduced to be imperceptible. Proportional and damping injection were then increased alternatively until perceptible oscillations seen with maximum damping injection gain. The root-mean-squared torque tracking errors of each session was then calculated and compared against one another. The best-performed session was identified with the lowest error and its tracking error and control gains are then registered as the estimates of optimal tracking performance and optimal control gains for this specific stiffness combination. The level of oscillation for each session is also displayed. It is seen that with the increase of control gains, torque tracking errors first drop, but later increase due to increasing oscillations. cable synthetic rope in series with the spring, which exhibits the property of a non-linear spring.
Over five hundred successful experiment trials, each identified by a unique combination of control gains, desired curve and passive stiffness, were conducted and used for data analysis.
Estimated optimal tracking errors, i.e., the RMS torque errors of the data sets with minimum errors, for linear curves are approximately linearly related to the absolute difference between desired and passive stiffness values as hypothesized by Hypothesis 1 and 2 ( Figure 7A). It can be observed that torque errors show strong linear correlation with the absolute value of K t − K des in cases of both individual desired curves and all curves combined. Minimum torque errors for all curves combined are linearly related to a translated absolute value of K t − K des , i.e, e τ ,opt,RMS = a · ||K t − K des || + b with a coefficient of determinant R 2 = 0.839 at a slope of a = 0.355 for the absolute ones and R 2 = 0.854 at a = 0.869 for the relative ones. For piece-wise linear curves, the RMS torque errors of separate phases for data sets with minimum errors are also well correlated to their corresponding differences between the passive and desired stiffnesses (Figure 7B). The absolute and relative errors for all phases and curves combined are fitted with the translated absolute value of K t − K des with coefficients of determination R 2 = 0.571 and R 2 = 0.497 respectively. The slopes are a = 0.298 and a = 0.691. Note that for phases 1, 2, and 4, a fixed desired slopes exists in all steps of all data sets for the same desired curve. However, for phase 3, since the peak dorsiflexion angle is different for each step of each data set, the desired slope for a trial with minimum errors is defined as the phase 3 slope in its average stride.
For the cases of both curve types, results (Figure 7) agree with Corollary 2, and thus both Hypothesis 1 and 2, which serve as bases for it.
Control gains show interactions with desired and passive stiffnesses (Figure 8). The proportional gains of the trials with minimum errors for all desired curves, which are the experimental estimates of optimal proportional gains, saw strong inversely proportional correlation with passive stiffness values (R 2 ≥ 0.565). For each desired curve, data were fitted into a curve with the same format as Equation (30), in which the same λ values were asserted for all curves of the same type, i.e., linear or piecewise linear. This result agrees with Hypothesis 3, which is based on Conjecture 1.
The K p − K t coefficient, σ , as identified in Figure 8, was also seen to be inversely proportional to the desired stiffness (Figure 9), which agrees with Hypothesis 4 based on Conjecture 1. Note that for each piece-wise linear curve, its effective desired stiffness is defined the mean of phase-wise desired stiffness values averaged over all the six best-performed data sets, one for each spring configuration.

DISCUSSION
This paper investigates the existence of an optimal passive stiffness that benefits torque tracking in lower-limb exoskeletons driven by series elastic actuator during walking. Based on theoretical analysis with simple transmission model, we hypothesized that to achieve best torque tracking during walking in exoskeletons, the actuator should be designed such that its passive stiffness, defined as the slope of device torque-angle relationship with motor position fixed, matches the desired quasi-stiffness. We also hypothesized a fixed maximum commendable torque error changing rate that leads to the inverse proportional correlations between optimal proportional gains and passive stiffness values for a fixed desired curve. These , is firstly high-pass filtered at 10 Hz. The filtered signal, x(t), is converted to frequency domain using Fast Fourier Transform. The resulting signal in frequency domain, X(f), is used to construct the energy spectral density as X(f) 2 · T 2 s , in which T s is the sampling period of the signal. The total energy of oscillation of signal s(t) is then the integral of the energy spectral density. The level of oscillation of a signal in one experiment session is then achieved by averaging that of every stride. hypotheses were highly agreed by a large amount of walking experiment data.
Although only a simplified model of the transmission subsystem was considered, torque tracking results in Figure 7 for linear curves highly agrees with Hypothesis 1 and 2. However, the phase-wise errors for piece-wise linear curves show slightly less agreement with the hypothesis. One reason is that the control gains were optimized based on fullstep instead of phase-wise performance. According to the interactions between optimal proportional gains, desired stiffness and passive stiffness presented in Figure 8, for the same passive stiffness configuration, a larger desired stiffness results in a smaller optimal proportional gain. However, the level of oscillations and step-wise root-mean-squared torque errors are collectively determined by tracking performance of all four phases. Therefore, the optimal proportional gain for a piecewise linear curve is expected to be higher than the optimal gain for the phase with largest desired stiffness and lower than the one with smallest. This means that the phase-wise torque errors in piece-wise linear curves are noisier than those of linear curves. Another issue was that for some phases, for example phase 1 of P1, P2, and P3, the desired torques were very low. Since the Bowden cable rope was still slacking at the beginning of stance, the effective passive stiffness values were actually a lot smaller than the stabilized values we used in data analysis. Therefore, many data points as circled in Figure 7B should be shifted to the left, which will improve the fitting. We also attempted to evaluate the effective difference in desired and passive stiffness, K t − K des , of piece-wise linear curves for full steps and present torque errors in a way similar to the linear curves in Figure 7A. One way we tried is to generate the effective desired stiffness of piece-wise linear curves by linearly fitting the average stride and use it to then calculate K t − K des . Another method tried is to calculate the difference as the area between desired stiffness vs. torque curve and passive stiffness vs. torque curve. For both cases, the relationships between torque errors and effective stiffness differences showed significantly less agreement with Equation (28) than Figure 7B. This suggest that when Hypothesis 1 and 2 are used in guidance to choose passive stiffness, the concerning desired stiffness value K t should be the instantaneous values instead of a collective determined values.
Meanwhile, there are other factors that add noise and complexions to the data, which causes imperfection in curve fitting and non-zero torque errors at K t = K des as shown in Figure 7. First factor is the experimental method used. The optimal performance of each desired and passive stiffness combination were achieved by gradually increasing proportional and damping injection gains until perceptible oscillations happen with maximum damping gains. There are multiple noise sources cased by this test scheme. The most obvious one is the testing of discrete gain values, which results in the fact that the gain values of the best-performed experiment session are mostly not the optimal gains but actually values close to them. Second, increase of control gains stops when the oscillations become noticeable for the subject, which makes the stopping criteria subjective. Although the same subject was use throughout all experiments, adaptation and subject physical condition both affect the subject's judgment of when discomfort starts, which potentially leads to higher gains tested when the subject has higher tolerance. In some cases, increase of gains stop before the torque errors hit minimum due to inability of human to tolerate oscillations, which affects the estimation of minimum torque errors and optimal control gains. Besides subjectivity of testing, actual changes in system dynamics also causes FIGURE 7 | Estimates of optimal torque tracking errors, i.e., those of the trials with minimum errors, for all combinations of passive stiffnesses and desired torque curves. (A) Torque errors for linear curves. (B) Torque errors for piece-wise linear curves with four phases presented separately. Row one presents the absolute errors. Row two presents the percentage of absolute errors relative to the peak desired torque of the corresponding experiment session. For both curve types, experimental estimates of minimum torque tracking errors show fairly strong linear correlation with the absolute values of the difference between the passive stiffness and the desired stiffness, ||K t − K des ||, which agrees with Hypothesis 1 and Hypothesis 2.
FIGURE 8 | Values for the estimates of optimal proportional gain, K p , i.e., those of the trials with minimum errors, of various passive stiffness configurations show fairly strong inverse proportional correlation with the respective passive stiffness values for all desired curves (R 2 ≥ 0.565), which agrees with Hypothesis 3. (A) Relationship between optimal proportional gain and passive stiffness for linear curves. (B) Relationship between optimal proportional gain and passive stiffness for piece-wise linear curves.
FIGURE 9 | Values of gain-stiffness inverse correlation coefficient, σ , which were achieved by curve fitting in Figure 8, are inversely proportional to the desired stiffness values of various curves, which agrees with Hypothesis 4. The effective desired stiffness of a piece-wise linear curve is defined the mean of desired stiffness values across four phases averaged over all the six best-performed data sets, one for each passive stiffness configuration. noise in data. These changes include subject physical condition across experiment sessions, human body instant mechanical properties changes due to muscle tensioning, gait variations and movements in human-exoskeleton interface. Another reason that leads to imperfection in the alignment between theory and experiment results is the employment of a highly simplified system partial model. Due to the presence of non-linear, uncertain, highly complex and changing dynamics, a lot of system features were not captured in the theoretical hypothesis. One complication that contributed was the non-linear property of the system passive stiffness due to the slow stretching property of the Vectran R cable as demonstrated by Figure 4. Due to the unstructured changes of passive stiffness between different loads and trials, only one stabilized value was used for each passive stiffness configuration. Another feature that causes complication into system dynamics but was not accounted for in theoretical analysis was the highly non-linear, complex and changing frictions in Bowden cable. Besides, we made the assumption of immediate perfect motor position tracking, which is not true in practical cases due to the limitation of motor velocity. This greatly contributed to the fact that when the passive stiffness matches desired stiffness, i.e., K t = K des , torque errors are above zero under optimal control conditions.
Regardless of the various approximations made in various hypotheses, the results presented in Figures 7-9 support them with fairly strong correlations. The conjecture of a fixed bandwidth and thus a maximum torque error tracking rate, e τ ,max , as a limit for proportional gain increase suggests a potential way of systematic gain tuning when desired or passive stiffness is changed for the same subject. Due to the dependence of this maximum error changing rate on full system dynamics, it is expected to be subject-dependent for the same motor system. However, since the primary goal of this paper is the identification of an optimal passive stiffness for a desired stiffness, only one subject is used. Therefore, how the maximum tolerable torque changing rate vary among subjects remains a direction of future work.
The results of this study can be used as guidances to more efficient hardware and controller configuration for better torque tracking perforemance in lower-limb exoskeletons. For example, with a fixed desired torque-angle relationship required by one particular application, the passive stiffness of the series elastic actuator can be changed by switching the passive compliant element to match the effective desired stiffness. Then, with optimal control gains for one desired and passive stiffness combination determined through experiments on one subject, when desired stiffness changes due to application requirments, or passive stiffness changes due to hardware limitation, the optimal control gains can be estimated based on their relationships with the two stiffness values. The applications of this study will faciliate more effective and efficient torque control in lower-iimb exoskeletons and improves the performance of these devices in experimental, rehabilitation and also assistance senarios.

CONCLUSIONS
This paper hypothesizes and confirms by experiments that the optimal passive stiffness for lower-limb exoskeleton torque tracking corresponding to the desired quasi-stiffness, which is the slope of desired torque-angle relationship. The minimum torque tracking errors are shown to be linearly related to the difference between the desired and passive stiffnesses. This paper also hypothesizes a potential maximum torque error tracking rate and therefore a maximum control bandwidth that prevents the proportional feedback gain from increasing infinitely. This was also supported by experimental data. These results provide guidance for passive stiffness selection of lowerlimb exoskeletons and other walking related robots for a fixed desired stiffness. They also provide guidance for optimal gain tuning in case of changing passive or desired stiffness.

ETHICS STATEMENT
This study was carried out in accordance with the recommendations of guidelines of the Office of Human Research Protection (OHRP) and other federal regulatory agencies with written informed consent from all subjects. All subjects gave written informed consent in accordance with the Declaration of Helsinki. The protocol was approved by the Carnegie Mellon University IRB.

AUTHOR CONTRIBUTIONS
JZ and SC contributed equally in theory development and experiments for this study.