Abstract

Max-plus algebra is a special method to describe the discrete event system. In this paper, it is introduced to describe the motion of lower limb exoskeleton. Based on the max-plus algebra and the timed event graph, the walking process of exoskeleton is modelled. The max-plus algebra approach can describe the logical sequence and safety condition in the walking process, which cannot be achieved via other conventional modelling approaches. The autonomous control of lower limb exoskeleton system is studied via the model based on max-plus algebra. In the end, an FSM (finite state machine) controller embedded with the max-plus algebra model is proposed, and the experiments show ideal speed and gait/phase period control effect, as well as the good safety and stable performance.

1. Introduction

Exoskeleton robot is a wearable robot that can be used to enhance people’s ability, realize the rehabilitation training of patients, and assist people in various operations. Exoskeletons are of interest for the researchers in the field of robotics and automatic control [1, 2]. In general, there are two kinds of exoskeleton robots, the rehabilitation exoskeleton and the enhancing physical capacity exoskeleton. In this paper, only the lower limb exoskeleton for enhancing the walking capacity is considered.

The mathematic model of a system describes the dynamic characteristics and the relationship between the variables in the system, which is the fundamental of exoskeleton control. The model of exoskeleton and its stability analyses in most literature is based on the conventional Newton Euler method or Lagrange method [3, 4]. Both methods can only reflect the characteristics of joint angle, speed, driving torque with time, and load. For lower limb exoskeleton, neither of the two methods can describe the motion logical sequence in the process of walking, e.g., if one leg is in the sway phase, the other one must be in the stance phase, or the falling of foot can only occur after the foot lifts, etc. Fortunately, max-plus algebra and timed event graph could represent such logical sequence in the control process [5].

To assure the gait sequence and safety in the walking process of lower limb exoskeleton, the periodic stability must be ensured. Samuel et al proposed an approach of virtual constraint control, in which a velocity-modulated dead zone is used to obtain the robust stability [6]. Ma et al build an assist torque predictor according to a gait phase classifier based on kernel recursive least-squares algorithm [7]. Li et al proposed a human lower limb joint muscular torques estimation method based on the inverse dynamics of the exoskeleton wearer [8]. Considering the periodic walking trajectory and uncertainties of human-exoskeleton system, Li et al proposed a human-cooperative adaptive fuzzy strategy combing virtual tunnels that allows human subjects to change the movement timing of their legs and produce a physiological path [9]. Lim et al proposed a control strategy based on the time delayed feedback by using a simple leg swing model, in which the stability was analysed [10]. Nasiri et al presented an exoskeleton torque optimization method by using a biomechanical model and proved its stability, convergence, optimality, and robustness [11]. All the research above mainly focused on the real-time control performance based on conventional dynamics model approaches, such as Newton Euler and Lagrange, or model-free approaches, such as sensor-triggered control methods. The gait uniformity and symmetry are obtained by setting the desired trajectories in the closed control loop. The safety relays on the extra control command according to the danger alarm of special sensor signals [12]. However, the gait safety constraint and motion sequence are not involved in the system model. Although it can work effectively, it is just solved in the technical way, which lacks theory fundamental.

In these literatures, the motion process is modelled in the way of continuous event system. While, in this paper, the analysis and control of lower limb exoskeleton is consider in the way of discrete event system, in which the max-plus algebra is used for modelling. Max-plus algebra is a mathematic tool for the modelling and performance analysis of discrete event system. It is concerned with the sequence of events, where events are viewed as sudden changes in a process. Although max-plus algebra is not a well-known method, it works well in the biological analysis, network coordinating, production management, and traffic planning [1215]. Lopes et al used max-plus algebra in the modelling and control of multilegged robots [16]. Tao et al analysed the periodic stability of upper limb rehabilitation robot via max-plus algebra [17]. These papers provide fruitful reference for our research. In [18], we analysed the periodic steady state, disturbance estimation of lower limb exoskeleton based on the model of max-plus algebra. However, the work is only in a primary theoretical way. The deep research and experiment in the exoskeleton control is not involved, which would be presented in this paper.

By using the max-plus algebra method, this paper aims to improve the control performance in terms of safety of lower limb exoskeleton. It would provide a new research thought for the safety and gait/phase control of lower limb exoskeleton. In another word, it will show the advantage of max-plus model over the conventional dynamics models in the control of lower limb exoskeleton. However, both the max-plus algebra approach and the conventional approaches, such as Newton Euler or Lagrange, have pros and cons. In general, the max-plus algebra is an approach to describe the discrete event system, which is suitable for the modelling of the relation between walking phases is the whole gait periods, like sequence and constraint among the events, as well as the gait/phase period analysis. While the conventional approaches are suitable for the continuous system, which build the model to describe the dynamic relation between the angles, speed, and torque in each gait phase. The main aim of this paper is to introduce a new modelling approach for the researchers in this field, with no hint that the conventional approaches are no longer useful.

The paper is organized as follows: first, the preliminary of max-plus is generally introduced. Then the walking process is divided into some discrete events and described in timed event graph. Next, the lower limb exoskeleton system used in this paper is presented. In the following section, the autonomous control approach based on the max-plus algebra is proposed. An experiment combined with FMS (finite state machine) is presented in the next section. And some concluding remarks are given in the end.

2. Preliminary of Max-Plus Algebra

Max-plus algebra was proposed in the 1950s for the research of traffic planning and production schedule. In the following decades, Cuninghame-Green [19], Baccelli et al [20], and Heidergott et al [5] made great contribution on it. Some basic rules are introduced as follows.

where R is defined as the set of all real numbers and Rmax is defined as the set R∪ {−∞}. The operation of max is represented by ⊕. For , the operation of max-plus algebra is shown as follows:

The operation of plus is represented by ⊗; −∞ is denoted by ϵ in max-plus algebra; and 0 is denoted by e in max-plus algebra. There are some examples of max-plus algebra:

For matrices operation in max-plus algebra, operations ⊕ and ⊗ are shown as follows:where matrices A = (aij), B = (bij).

Some examples are shown for and :

It should be noticed that is not equal to , which is similar with the quality of the matrix operation in conventional linear algebra.

The identity matrix in max-plus algebra and its operation example are as follows:

3. Walking Process in Timed Event Graph

In this section, a timed event graph is used to describe the walking process. In the timed event graph, vertical bar denotes the event. As shown in Figure 1, the bar q1 denotes left foot lifting and q2 denotes left foot falling. While the bars q3 and q4 denote the event of right foot lifting and falling, respectively. In normal walking process, the timed event loop should be q1q2q3q4q1.

The circle denotes the process, and the dot in the circle denotes that the corresponding process is in progress. As shown in Figure 1, the circle a21 and a12 denote the time of left foot lifting off and falling down the ground, respectively; a43 and a34 denote the time of right foot lifting off and falling down the ground, respectively; and a32 and a14 denote the time of foot beginning to lift after the swaying contralateral foot falls down the ground, which is to ensure that the contralateral foot stand firmly.

As shown in Figure 1, to assure the safety in the walking process, foot lifting can only happen after both feet fall on the ground firmly. So q1 must wait the finish of both a12 and a14; q3 must wait the finish of both a32 and a34, in which a max function between a12 and a14, a32, and a34 is needed. Such logical sequence could not be described in conventional model methods, which makes it difficult to avoid the danger in the walking control based on those conventional models. However, the model based on max-plus could describe such logical sequence and safety condition. As a result, the theoretical analysing approach of max-plus could also provide mathematic tools for the control of exoskeleton. To sum up, some assumptions in the walking process are given as follows.

Assumption 1. q1 cannot begin unless both a12 and a14 are over.

Assumption 2. q3 cannot begin unless both a32 and a34 are over.

Assumption 3. q2 cannot begin unless a21 is over.

Assumption 4. q4 cannot begin unless a43 is over.

4. Lower Limb Exoskeleton System

A multisensor hip-driven exoskeleton system is used in this paper, as shown in Figure 2. Angle sensors are mounted on thighs to measure the hip joint angle. Plantar pressure sensors are mounted under the feet. Although there are 8 sample pints, only the one under the heel is used in this paper. And the one under the toe is used only for reference. If the foot strikes the ground, the output of plantar pressure sensor is 1. While the foot is off the ground, the output of plantar pressure sensor is 0. So, as shown in Figure 3, the time for leg/foot lifting up, which is denoted by a21 and a43, begins from the 0 state of plantar pressure sensor and ends at the time of the hip angle sensor reaches the maximum value. While the time for leg/foot falling down, which is denoted by a12 and a34, begins from the maximum value of hip angle sensor to the 1 state of plantar pressure sensor. a14 and a32 begin from the maximum value of hip angle sensor to the 0 state of contralateral plantar pressure sensor.

Besides, two pairs of spring-pressure sensors are amounted at the front and back of the thigh between the exoskeleton and the human body to detect the intention of human walking. When the output of plantar pressure sensor is 1, which denotes that the foot is on the ground, if the output of front spring-pressure sensor is higher than the back one, it means that the exoskeleton wearer is intending to lift his leg. Then the microcomputer will give the motor an order to drive the exoskeleton rotating forward. On the contrary, when the output of plantar pressure sensor is 0, which denotes that the foot is off the ground, if the output of front spring-pressure sensor is lower than the back one, it means that the exoskeleton wearer is intending to fall his leg. Then the microcomputer will give the motor an order to drive the exoskeleton rotating backward. By the way, as the comparison of pressure is easily affected by the vibration of springs, a threshold must be set in the judgment of wearer’s motion intention to eliminate the interference.

5. Walking Process Modeling via Max-Plus Algebra

As mentioned earlier, the walking process could be considered as four discrete events, the lifting and falling of two legs, which is denoted as qi, i = 1,2,3,4. The time of each event could be modelled as the discrete event state equation in where xi(k) represents the beginning moment of the kth occurrence of event qi.

The max operation the x1(k +1) and x3(k +1) ensure the following constraints: the foot lifting must occur after it is on the ground and the contralateral foot supports firmly.

Equation (6) can also be expressed aswhere

Iterate equation (7):

After the 4th iterative calculation, there will be . Sowhere I is the identity matrices and

According to the literature studies [21, 22], if there exist a positive number λ and a positive vector that Av = λv, then λ is an eigenvalue of A and is its eigenvector of A relative to λ. And each square max-plus matrix has at least one eigen value.

In the control of lower limb exoskeleton, eigenvalue λ denotes the time length of a stride period. The steady state of λ means the regularity and moderate walking speed for the exoskeleton wearers. If the motion behaviour of the exoskeleton is properly coordinated in the walking, the control process, eigenvalue λ, should be kept stable. Otherwise, there will be disturbance in body balance or uneven walking speed. The periodic steady state analyses and the disturbance estimation of lower limb exoskeleton based on the max-plus algebra have been presented in our former paper [18], where

In this paper, the further research on the autonomous control of walking phases will be discussed in the following section, which ensures the periodic performance and safety of lower limb exoskeleton.

6. Autonomous Control

In the practical application, exoskeleton wearers need to change the walking stride or speed, which can be considered as a system with autonomous control. Figure 4 is the timed event graph model of the lower limb exoskeleton with autonomous control, in which the external input U is the switch to control the start of each motion phase in the process of walking movement.

Such a lower limb exoskeleton system can be described by the following discrete event state equations:

For simplicity of presentation, the system is denoted as Hu. System Hu can be expressed as the following max-plus linear equation:where u(k)∈R is the input vector; A0 and A1 are the same as the matrices in equation (7); and B = [0 ϵ ϵ ϵ]T.

Iterate equation (14):

As , so the equation above can be written as

By setting the input sequence {u(k)}, autonomous control of lower limb exoskeleton system can be realized. The length of the input sequence k determines the number of the walking motion cycles, and the component of vector u(k) determines the start time of each motion in the kth walking cycle.

Example 1. The parameters of a nonautonomous lower limb exoskeleton system Hu, are shown as follows:The initial conditions are x(0)=(0 0 0 0)T. According equations (10) and (12), λ = 3. Take the control of start time of each step as example. The control sequences are {u1(1) = 0, u1(2) = 3, u1(3) = 7}. The walking process and the corresponding time are shown as follows:The period between x(2) and x(1) is 3, which is equal to λ. However, the period between x(3) and x(2) is not 3, so to ensure the stability and coordination of the walking process, a state feedback control could be added on the system as follows:The state equation of the closed-loop feedback system iswhereand . The precedence graph G(D) of matrix D is shown in Figure 5.
As shown in Figure 5, the period of closed-loop system isSo, the state feedback can adjust the period of lower limb exoskeleton system to regulate the walking speed. The robustness of periodic steady-state performance with respect to feedback parameter a is discussed here. And the regulating range of feedback parameter a, which keeps stable steady-state performance, will be determined.

Lemma 1. The walking period λ of lower limb exoskeleton system H is robust with respect to feedback parameter a, in which the regulating range of feedback parameter a is

Proof. When , . So, ; when ,So,

Example 2. Add state feedback on the lower limb exoskeleton system Hu shown in the Example 1. As it can be shown thatSo, in order to keep the steady-state performance stable, the regulating range of feedback parameter a is . For example, if we set a = 0.5, then the state matrix of the closed system (19) is the same as Example 1, as shown below:where D is the state matrix of the closed system.
And the period of the system remains unchanged, which is 3. If we set a = 0.8, then the state matrix of the closed system (27) will beThen the system period is changed into 3.2 due to the regulating effect of feedback parameter a.

7. Finite State Machine Control and Max-Plus Algebra Model

A finite state machine (FSM) is an event-driven control approach for the discrete system, in which an FSM makes a transition from one state to another, if the condition defining the change is true [22, 23]. In the motion control of lower limb exoskeleton via FSM, the transmission has four operating states or the walking phases: left foot lifting, left foot falling, right foot lifting, and right foot falling. To control the joint-driven motors on the exoskeleton, the FSM can make a transition from one walking state to another according to the trigger signal from the exoskeleton wearer.

However, FMS is a control technique without effective fundamental of mathematic model. As a result, the periodic steady state of FSM cannot be analysed, nor is the period control. While the max-plus algebra can provide effective tools for FSM. In this paper, an FSM controller based on max-plus algebra model is proposed. The trigger signal comes from both the exoskeleton wearer and the control signals of max-plus algebra model. So the start time of each phase/state in the walking process can be regulated and a steady walking stride can be obtained. And the max operation in max-plus algebra and the “AND” operation of trigger signals in FSM can guarantee the safety in walking. The desired walking speed might be regulated via the parameters aij and Um in the max-plus algebra model. aij is transferred into FSM as the scale factor of driving power Udi on the motors. Um is transferred into FSM as a necessary state transition condition, which plays the role of keeping safe and constant walking speed. The state transition conditions of FSM are shown in Table 1. In Table 1, Pf denotes the pressure between the front of thigh and the exoskeleton, Pb denotes the pressure between the back of thigh and the exoskeleton, ΔP is a preset threshold to eliminate the influence caused by irregular vibration in the walking, Ph denotes the heel pressure, and Pt denotes toe pressure.

The state flow and experiment of FSM are shown in Figure 6. A set of hip joint exoskeleton system is used in the experiment. The joint is driven by a plat brushless DC servo motor, and the motor model is Innfos qdd-pro-nu80, the rated torque is 103 nm, and the maximum torque is 289 nm. The sensors on the exoskeleton include angular sensors, plantar pressure sensors, and spring-pressure sensors. The experiment is carried on a treadmill.

In the experiment, the exoskeleton operates consistent with the speed of the treadmill. The experiment shows that the function of max-plus algebra embedded in the control program can effectively keep steady walking and avoid the mistriggering in FSM caused by the interfered sensor signals. The time constraint condition based on max-plus algebra can prevent the leg lift unless the contralateral foot is in firm support phase. And the recorded off-line data of the repeated walking phases show that the gait/phase periods are also kept stable.

8. Conclusion

In this paper, the periodic steady state, disturbance estimation, and autonomous control of the lower limb exoskeleton system are studied. Based on the timed event graph and the max-plus algebra method, the mathematical model of the lower limb exoskeleton is established. And the time disturbance in the system is discussed. An autonomous control strategy is proposed. It provided useful analysing tools for the modelling and safe control of the exoskeleton.

The model based on max-plus can only describe the logical timed sequence of the whole walking process, which is suitable for the application of FSM (finite state machine), while, as normal human gait is not a statically stable system, but rather a dynamically stable system, the conventional model based on the Newton Euler method or the Lagrange method could provide the physical information of each motion phase in the walking process, which is suitable for the application of other control approaches to obtain dynamic stability. Both modelling approaches have its merits and demerits. This paper discusses the high level control of exoskeleton action based on max-plus algebra, while the “Newton Euler method and the Lagrange method” are usually used in trajectory planning and feedback gain design. The two approaches are useful in different level of the exoskeleton control. So, the research on the dual-model exoskeleton system might be one important future works.

Additionally, some other control approaches, such as model-free control [24, 25], sliding mode control [26], and ILC (iterative learning control), [27] and reinforcement learning [28, 29] might be tried on the base of max-plus algebra model too. Moreover, the research combined with lower limb motion intention recognition and biomedical engineering are also necessary [3033].

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

Cuifeng Qin contributed to conceptualization, formal analysis, methodology, and original draft preparation and Zuojun Liu contributed to methodology, validation, review, editing, and supervision . All authors have read and agreed to the published version of the manuscript.

Acknowledgments

The authors appreciate Professor Yuegang Tao at Hebei University of Technology in China for his help in the field of max-plus algebra. This research was funded by the “Program of Introduction Talent of Hebei Province,” “Science Program of Tianjin (19YFHBQY00040),” and “Chinese NSF, grant no. 61703135.”