Identification of Hysteresis in Human Meridian Systems Based on NARMAX Model
Abstract
It has been found that the response of acupuncture point on the human meridian line exhibits nonlinear dynamic behavior when excitation of electroacupuncture is implemented on another meridian point. This nonlinear phenomenon is in fact a hysteretic phenomenon. In order to explore the characteristic of human meridian and finally find a way to improve the treatment of diseases via electro-acupuncture method, it is necessary to identify the model to describe the corresponding dynamic hysteretic phenomenon of human meridian systems stimulated by electric-acupuncture. In this paper, an identification method using nonlinear autoregressive and moving average model with exogenous input (NARMAX) is proposed to model the dynamic hysteresis in human meridian. As the hysteresis is a nonlinear system with multivalued mapping, the traditional NARMAX model is unavailable to it directly. Thus, an expanded input space is constructed to transform the multi-valued mapping of the hysteresis to a one-to-one mapping. Then, the identification method using NARMAX model on the constructed expanded input space is developed. Finally, the proposed method is applied to hysteresis modeling for human meridian systems.
1. Introduction
It is known that electro-acupuncture is a modern extension of traditional acupuncture which exists more than three thousand years in Chinese history. Based on the theory of the traditional Chinese medicine, it has been found that the acupuncture points can be grouped in lines called meridian system of the human body. Reference [1] reported that the meridian system has significant effect on human health. References [2, 3] illustrated that the meridian system had architecture with many channels letting electrical signals pass through easily. On the other hand, reference [4] has given a review on electrical properties of acupuncture points and meridians.
Nowadays, most of the research results on electro-acupuncture are focusing on the analysis of impedance on acupuncture points [2, 3, 5–8]. Note that the meridian system is, in fact, a network with several lines or channels. In each channel, there are several acupuncture points located along a line. It was found that there were some relations among those points in each channel. Therefore, the analysis just depending on the impedance of a single acupuncture-point would not reflect the main characteristic of the signal transmission in human meridian system. One of the alternatives is to stimulate an acupuncture-point in a channel with electrical signal and measure the corresponding responses of the other acupuncture points in the same channel simultaneously. Thus the corresponding signal transmission performance of the measured channel can be evaluated. In order to properly evaluate the properties of the meridian channels, construction of an accurate model to describe the behavior of the meridian channel is necessary. Moreover, the obtained models can also be used for understanding and improving the acupuncture therapy, acupuncture doctor training, therapy scheme evaluation, and so forth.
Some research results have illustrated that the human meridian system is a dynamic system [2, 3, 9]. In this case, the identification of the model to describe the dynamic behavior of the meridian is an efficient way for performance evaluation, simulation, and design of optimal stimulation for disease treatment. Reference [9] developed an auto-regressive and moving average model to describe the human meridian system. It fits the response well when the exciting signal with slow frequency and the input amplitude is rather small. However, when the frequency of the exciting input is higher or the amplitude of the exciting signal is larger, it will illustrate some nonlinear behavior especially hysteretic behavior can be found. Thus, a nonlinear dynamic model should be considered to describe this system.
In this paper, the dynamic hysteretic behavior of human meridian system is described. As hysteresis is a nonsmooth nonlinearity with multi-valued mapping, the traditional identification which is used for smooth systems with one-to-one mapping is unavailable directly. In order to transform the multi-valued mapping of hysteresis to a one-to-one mapping, an expanded input space is formed. Then, a nonlinear auto-regressive and moving average model with exogenous input is applied to the identification of the dynamic hysteresis of human meridian. This paper is organized as follows: in Section 2, the hysteretic phenomenon in human meridian is discussed. Then, the expanded input space constructed by input and a modified hysteretic operator is presented in Section 3. Based on the expanded input space, the NARMAX model to describe the hysteresis behavior of human meridian is developed in Section 4. The recursive general identification algorithm (RGIA) is used for parameter estimation of the hysteresis NARMAX model. In Section 5, the convergence of the identification algorithm is discussed. After that, in Section 6, the experimental results of the proposed modeling method is illustrated. Finally, the brief summary is presented in Section 7.
2. Dynamic Hysteresis in Human Meridian
- (1)
performance dependent on the frequency change of input;
- (2)
multi-valued mapping of the output against its input; and
- (3)
nonsmoothness at the turning points when the input with lower frequency is implemented.


In this situation, the traditional identification methods are rather difficult to be directly used to model the hysteresis existing in human meridian. The existence of hysteresis in human meridian might be explained as tension and spasm caused by external stimulation.
Up till now, there have been some methods proposed for hysteresis modeling, for example, Preisach model [10, 11] and Prandtl-Ishlinskii (PI) model [12]. Those methods used simple backlash operators as the basis functions for modeling. Therefore, lots of operators should be employed in order to obtain accurate models. Although there have been some modified Preisach model [10, 13] as well as modified PI model [14] proposed to describe the hysteresis systems, the structures of those modified schemes are still very complex. In order to simplify the architecture of the model to describe the behavior of hysteresis, references [15] as well as [16] developed the so-called expanded input space based hysteretic models. In the expanded input space, a hysteretic operator which extracted the main movement feature of the hysteresis was introduced as one of the coordinates in the expanded input space. Thus, the multi-valued mapping of hysteresis could be transformed to a one-to-one mapping between the inputs and output. One of the advantages of the expanded input space method is that it can avoid the gradient computation especially at the nonsmooth points of the hysteresis.
3. Expanded Input Space
In this section, a hysteretic operator is developed to extract the main feature of hysteresis and to form a coordinate besides the input coordinate in the expanded input space.
It is well known that hysteresis can be described by the Preisach model. Hence, the hysteresis is continuous and forms a closed loop in the input-output diagram when the input cycles between two extrema.
Therefore, based on the properties of hysteresis operator (referred to [16]), if it is in discrete-time case, Lemmas 3.1 and 3.2 are composed, respectively, that is,
Lemma 3.1. Let x(t) ∈ C(R), and C(R) are the sets of continuous functions on R. If there exist two adjacent time instants t1 and t2 (t1 ≠ t2), such that x(t1) = x(t2), but x(t1) and x(t2) are not the local extrema, then f(x(t1)) ≠ f(x(t2)).
Lemma 3.2. If there exist two adjacent time instants t1 and t2 (t1 ≠ t2), such that f(x(t1)) − f(x(t2)) → 0, then x(t1) − x(t2) → 0.
Remark 3.3. In Lemma 3.1, if x(t1) = x(t2), x(t1) and x(t2) are not the local extrema, f(x(t1)) = f(x(t2)), then in this case, the extreme between t1 and t2 does not get sampled in the sampling period. In this situation, the hysteretic operator cannot describe the change tendency of hysteresis. For example, suppose t1 and t2 (t1 < t2) are two adjacent time instants, in this case, if x(t1) = x(t2) and f(x(t1)) = f(x(t2)), but the output of hysteresis corresponding to one of the input values is in the increase zone while the output of hysteresis corresponding to another input value is in the decrease zone. In this case, the local extreme between those two output values of the hysteresis is obviously missed in the sampling period. Hence, the hysteretic operator cannot describe the change tendency of hysteresis if this situation happens.
To handle the extremum-missing problem, a modified scheme of the hysteresis operator is proposed in the following theorem.
Theorem 3.4. If x(t1) = x(t2), and x(t1) and x(t2) are not the local dominant extremes and f(x(t1)) = f(x(t2)), where t1 and t2 are the adjacent time instants and t1 < t2, then, the local dominant extrema located in the segment between points (x(t1), f(x(t1))) and (x(t2), f(x(t2))) cannot be sampled within the sampling period [t1, t2]. In this case, the missed local dominant extreme (xm(tm), f(xm(tm))) can be estimated by:
Proof. As x(t1) = x(t2), x(t1) and x(t2) are not the local extrema, whilst x(t1) and x(t2) are located in the increase and decrease zones, respectively, based on (3.2) and tm = t1 + εΔt, it leads to:
Theorem 3.5. If hysteresis can be described by Preisach model, there exists a continuous one-to-one mapping Γ: R2 → R, such that H[x(t)] = Γ[x(t), fm(x(t))].
Proof. Firstly, it is proved that Γ is a one-to-one mapping. Let us consider the cases in the following.
Case 1. Assume that x(t) is not the local extremum. In terms of Lemma 3.1, if there exist two different time instants t1 and t2, then
Case 2. Suppose that x(t) is the local extremum. In this case, for two different time instants t1 and t2, there will be
According to the property of the Preisach-type hysteresis, H[x(t1)] = H[x(t2)]. Then the coordinate (x(t), fm(x(t))) will be uniquely corresponding to hysteresis H[x(t)].
Combining the above-mentioned three situations, it is obtained that Γ is a one-to-one mapping. Next, it will be verified that Γ is a continuous mapping.
According to the property of the Preisach-type hysteresis, if
Then, considering Lemma 3.2, if
Then we have H[x(t1)] − H[x(t2)] → 0.
Therefore, it can be concluded that there exists a continuous one-to-one mapping Γ: R2 → R such that H[x(t)] = Γ (x(t), fm(x(t))).
Remark 3.6. The theorem stated above shows that the constructed expanded input space consisting of two coordinates, that is, x and fm(x).
Remark 3.7. Based on Theorem 3.5, the modified hysteretic operator is the combination of (3.2)–(3.4). We can use the modified hysteretic operator to construct an expanded input space.
It has also been proved that the expanded input space is a compact set [16]. Hence, the mapping between the output and the input of the hysteresis on this expanded input space is a one-to-one mapping.
4. Nonlinear ARMAX Model for Hysteresis
5. Convergence of the Identification Algorithm
Definition 5.1 (see [20].)Let , θ is the true value vector of the model parameters. Moreover, ξ(t) means that the identification is affected by the estimated errors of the internal variables.
Assumption 5.2. The hysteretic system existing in human meridian is BIBO stable, so y(t) is bounded for any bounded input u(t).
In the following, the convergence analysis on the recursive identification algorithm in the case of absence of noise will be discussed.
Lemma 5.3. Assume input signal u(t) that is bounded but can fully excite the system, then it satisfies , where both α and β are bounded positive real numbers.
Proof. Suppose that input signal u(t) is bounded. Considering Assumption 5.2 leads to the hysteresis system of human meridian is BIBO stable. Thus, the elements of the estimated data vector, that is, are bounded. That implies that there exist two positive real numbers α and β, and they lead to
Theorem 5.4. For the algorithm described by (4.9)–(4.15), which is applied to the parameter estimation of the hysteretic model represented by (4.1)–(4.5), if it matches the following conditions, that is,
- (1)
the condition of Lemma 5.3 is held;
- (2)
P(k) is a positive definite matrix; moreover,
- (3)
()()()
6. Experimental Results
The corresponding input-output plot of the obtained hysteretic operator mentioned in Section 3 is shown in Figure 3, and the hysteresis operator can be used to extract the tendency of hysteresis. Then, the corresponding hysteresis NARMAX model is used to describe the human meridian channel. Moreover, based on the derived input and output data, the model structure is determined by the AIC criterion represented by (4.6) and (4.7). In the experiment, the order-selection procedure is demonstrated in Table 1. It shows that the best result is achieved when nu = 1, nf = 1, and ny = 0, respectively. By randomly setting the initial values of the coefficient vector within [0,1] and λ = 106 of the covariance matrix for the RGIA shown in (4.17), the derived NARMAX model validation result for hysteresis in human meridian is shown in Figure 4 while Figure 5 illustrates the corresponding modelling error of the NARMAX hysteretic model.
Model order | Value of loss function |
---|---|
ny = 2, nu = 2, nf = 2 | 0.00035181 |
ny = 2, nu = 1, nf = 2 | 9.1954e − 006 |
ny = 1, nu = 1, nf = 2 | 9.1853e − 006 |
ny = 1, nu = 1, nf = 1 | 2.5496e − 005 |
ny = 2, nu = 1, nf = 1 | 8.9733e − 006 |
ny = 1, nu = 2, nf = 1 | 8.846e − 006 |
ny = 0, nu = 1, nf = 1 | 8.6718e − 006 |



For comparison, the ARMAX model on the expanded input space is also used to identify the hysteresis inherent in human meridian. The model structure is chosen as ny = 0, nu = 2, and nf = 2, respectively. The recursive least squares (RLS) algorithm is implemented for parameter estimate. Figures 6 and 7 illustrate the model validation result and the modeling error of the ARMAX model, respectively. From the comparison, it is seen that the NARMAX model has achieved better modeling result than that of the ARMAX method.


7. Conclusion
In this paper, a nonlinear auto-regressive and moving average model with exogenous input is applied to modeling the hysteretic behavior of human meridian systems. As hysteresis is a nonsmooth nonlinearity with multi-valued mapping, the traditional identification method which is used for smooth systems with one-to-one mapping is unavailable to this case directly. In order to transform the multi-valued mapping of hysteresis to a one-to-one mapping, an expanded input space is formed. Then, a nonlinear auto-regressive and moving average model with exogenous input is applied to the identification of the dynamic hysteresis of human meridian. After that, the RGIA method is used for parameter estimate of the model. The experimental results show that the proposed method is better than the ARMAX modeling method. It provides us with a way to identify the model of the meridian channel in human body so as to construct the potential digital human meridian system for doctor training, evaluation of disease treatment scheme, and human meridian simulations.
Acknowledgment
This work is partially supported by the Leading Academic Discipline Project of Shanghai Normal University (Grant nos. DZL811 and DRL904), the Innovation Program of Shanghai Municipal Education Commission (Grant nos. 11YZ92 and 13YZ056), the National Science Foundation of China (NSFC Grant nos. 61203108, 60971004, and 61171088), the Natural Science Foundation of Shanghai (Grant no. 09ZR1423400), and the Science and Technology Commission of Shanghai Municipality (Grants nos. 09220503000 and 10JC1412200).
Appendix
Proof. From (4.9)–(4.15), it leads to
Then, substituting (A.4) into (A.3) derives
Consider forgetting factor μ(k)∈(0, 1] and P−1(k) is a positive definite matrix. Also, it is assumed that ξ(k) satisfies (5.4). Thus, it leads to