Published: 28 November 2019

Unknown input reconstruction in non-linear dynamical systems using homotopy optimization

R. Manikantan1
Sayan Chakraborty2
C. P. Vyasarayani3
1, 2, 3Indian Institute of Technology, Hyderabad, India
Corresponding Author:
C. P. Vyasarayani
Views 116
Reads 47
Downloads 1321

Abstract

In this work, a homotopy optimization method is proposed for reconstructing unknown inputs in non-linear dynamical systems. The unknown inputs are parametrized using a B-spline basis. This parameterization of inputs converts the unknown input identification problem into a parameter identification problem. The unknown parameters are identified through an optimization process. The proposed homotopy-based optimization method is designed to converge to the global optimal solution instead of a local minimum. The unknown parameters are obtained through a series of iterations guided by a homotopy parameter and an optimization algorithm.

Unknown input reconstruction in non-linear dynamical systems using homotopy optimization

Highlights

  • Homotopy optimization method is proposed for reconstructing unknown inputs in non-linear dynamical systems.
  • The method is designed to converge to the global optimal solution instead of a local minimum.
  • Application of the proposed method to a numerical example indicates that it is highly accurate.

1. Introduction

The unknown input reconstruction problem deals with unmodelled dynamics, exogenous inputs, faults or other uncertainties and is important from the perspective of robust control, optimal control, and system supervision [1]. The problem is motivated by applications where measurement of some of the system inputs is physically not possible or too expensive, for e.g. the cutting force in machine tools, system faults in fault-tolerant control design [2], etc. The problem of unknown input reconstruction has been widely studied for many year. Observer based methods have been studied for linear systems in [3, 4], non-linear systems in [5-7] and time-delay systems in [8, 9]. The unknown input reconstruction is very close to system inversion studied in [10]. A subspace identification algorithm is developed in [11], which identifies the state-space matrices and reconstructs the unknown inputs from of system outputs and known inputs.

In this work, we propose an optimization-based approach for reconstructing unknown inputs in non-linear systems. The proposed methodology assumes that only some of the system states are available through sensor measurement for input reconstruction, and an accurate mathematical model of the physical system is known. The unknown input must be found such that some objective function in its state and input is minimized. The optimization problem is posed via parameterization of the unknown inputs using basis functions. Therefore, the input reconstruction problem is posed as a parameter identification problem. However, the choice of parametrization leads to a large number of parameters that need to be identified for reconstructing the input. When deterministic approaches like the steepest descent, Gauss-Newton, etc. are used, convergence to a local minima is very common. On the other hand, stochastic algorithms like genetic algorithms, simulated annealing, etc. can be used for global convergence but these approaches increase the computation cost [12]. In this study, we address this problem by using the ideas of homotopy transformation [13]. The homotopy transformation involves adding convex terms with a known optimum to the objective function with a morphing parameter l. The transformed objective function can then be minimized using any deterministic approach to arrive at a global minimum [12], while slowly varying l from 1 to 0 as the optimization proceeds. This approach is hereafter referred to as the homotopy optimization method.

This paper is organized as follows. In Section 2, the procedure for homotopy optimization is introduced. The proposed methodology for unknown input identification is discussed in Section 3. Section 4 presents the analysis of the homotopy transformation. In Section 5, numerical examples are presented to illustrate the developed method. Finally, the contribution of this work is summarized in Section 6.

2. Homotopy optimization

Consider a function F(p) such that F(p) attains the global minimum at p = p*. We need to find the optimal point p*. Let G(p) be a convex function with a known global minimum. The homotopy transformation is constructed as H(p,λ)=(1-λ)F(p)+λG(p), where λ is the morphing parameter that continuously deforms G(p) to F(p) as it is varied from 1 to 0. Let the solution of H(p,λ) at a given λ be pλ*. Starting with λ = 1, the solution of the optimization problem H(p1*,1)=G(p1*) is known. Then the value of λ is decreased by a small amount δλ and the function H(p,1-δλ) is minimized using p1* as an initial guess. The procedure is continued with small decrements in λ until λ = 0. At λ = 0, H(p,0)=F(p) and the original optimization problem is recovered.

3. Mathematical formulation

Let us assume that the experimental system is governed by the following non-linear ordinary differential equations:

1
q˙e(t)=f(qe,ue(t),t),
2
ye(t)=Cqe(t),

where, qe(t)Rn is the state vector, ue(t)Rm is the input vector, ye(t)Rk is the output vector, and the matrix C is the output matrix. The experimental data ye(t)=[y1e(t),y2e(t),,yke(t)] is assumed to be collected over time tf. The mathematical model that will be used for reconstruction of the unknown inputs is assumed to be of the following form:

3
q˙t=fq,ut,t,
4
y(t)=Cq(t),

where, u(t)Rm is the reconstructed input vector. For reconstruction, the unknown input is parametrized as ui=j=1Niϕjpij=ϕiT(t)pi, i=1,2,,m, where, Ni represents the number of terms in the series expansion of ui, ϕi=[ϕ1(t),ϕ2(t),,ϕNi(t)]T are the basis functions, and pi=[pi1(t),pi2(t),,piNi(t)]T are the parameters to be identified. Now, the unknown input u(t) can be written in vector form as:

5
u(t)=Φ(t)p,

where:

Φ(t)=ϕ1(t)000ϕ2(t)000ϕm(t), p=p1p2pm.

Substituting Eq. (5) in Eqs. (3, 4), we get:

6
q˙(t)=f(q,Φ(t)p,t),
7
y(t)=Cq(t),

where, p=[p1T,p2T,,pmT]T is the unknown parameter vector to be identified. Once these parameters are identified, one can reconstruct the input signal ue(t). Thus, the problem of unknown input identification is transformed into the problem of parameter identification. Now, the problem of parameter identification is posed as the minimization of the following objective function:

8
J(p)=120tf[yet-yt]Tyet-ytdt.

The objective function given in Eq. (8) is usually multi-modal with respect to p. Depending on the initial guess, the optimizer can converge to a local minimum. To avoid this problem, the following homotopy transformation is introduced in Eqs. (6-7) [12]:

9
q˙(t)=f(q,Φ(t)p,t)+λΓe(t),
10
y(t)=Cq(t),

where, e(t)=qe(t)-q(p,λ,t). With the introduction of the homotopy term λΓe(t) in Eqs. (9-10), the objective function J becomes a function of λ as follows:

11
J(p,λ)=120tf[ye(t)-y(p,λ,t)]T[ye(t)-y(p,λ,t)]dt.

For a fixed gain matrix Γ with λ = 1, Eq. (11) is minimized. Let the optimal solution be p1*. Keeping Γ unchanged, the value of λ is decreased by an amount 1-δλ and the objective function in Eq. (11) is minimized with p1* as an initial guess. This procedure is repeated until λ reaches zero. Note that with the optimal parameter vector p* = [p1*T,p2*T,,pm*T]T, Eq. (1) can be written as:

12
q˙e(t)=f(qe,Φ(t)p*,t),
13
ye(t)=Cqe(t),

where, ue(t) is replaced with Φ(t)p*.

4. Analysis of homotopy transformation

In order to understand the influence of homotopy transformation on the objective function, we study the dynamics of the error terms. Subtracting Eq. (9) from Eq. (12) and pre-multiplying both sides with Γ-1, the error dynamics can be obtained as follows:

14
Γ-1e˙(t)+λe(t)=Γ-1(f(qe,Φ(t)p*,t)-f(q,Φ(t)p,t)).

Eq. (14) represents the dynamics of a damped first-order system. It can be seen that a proper choice of Γ is crucial. By selecting a diagonal Γ with large positive values the influence of the forcing terms can be reduced. Also, for the same choice of Γ the zero equilibrium of Eq. (14) in the absence of the forcing terms terms is stable. Next, expanding f(q,Φ(t)p,t) around qe and p* using the Taylor series, we get:

15
e˙(t)+λΓ-fqe(t)fpδp,

where, δp = p*-p. The solution of the singularly perturbed system Eq. (15) on a slow time scale (e˙(t) = 0) behaves as follows:

16
e(t)=λΓ-fq-1fpδpAδp,

where, A = λΓ-fq-1fpe. Next, we get J(pλ,λ)=120tfδpTATCTCAδpdt by substituting Eq. (16) in Eq. (11), which represents a quadratic objective function in the parameter error δp. If the gain matrix Γ is selected in such a way that synchronization holds then the optimum of the objective function is well defined [14].

5. Results and discussion

In this section, several numerical examples are presented to demonstrate the proposed method of unknown input identification. The minimization of J(p,λ) (Eq. (11)) is performed using the fminsearch function of MATLAB. The differential equations are solved using ode15s: a variable step continuous-time solver.

5.1. Choice of basis function

In this work, we use the B-spline basis functions. The parameters required to define B-spline basis functions are, number of control points Nc, the set of knots U, and the B-spline basis functions ϕik(t), where k is the order of the spline. A B-spline is a piece-wise polynomial of degree (k+1) defined in such a way that when the knots are distinct it is k times continuously differentiable. The set of knots U is a set of k+n+1 non-decreasing sequence of time instances, i.e, τiτj,i<j,τi,τjU, where n+1 = Nc. The general kth order spline is expressed as a recursive relation of the form:

17
ϕik(t)=t-τiτi+k-τiϕik-1(t)+τi+k+1-tτi+k+1-τi+1ϕi+1k-1(t),

where:

18
ϕi0(t)=1,τit<τi+1,0,otherwise,

where i indicates the position of the spline. The B-spline curve is defined a s(t)=j=0Ncciϕik(t).

5.2. Numerical results

In order to demonstrate the accuracy of the proposed method, consider the following pendulum system:

19
q˙1e(t)=q2e(t),q˙2e(t)=-psin(q1e(t))-cq1e(t)+u1e(t),q1e(0)=q2e(0)=0,

where p = 14, and c = 0.4. Experimental data is generated for tf = 20 s by numerically integrating Eq. (19). Now, given q1e(t), the objective is to identify the unknown input u1e(t). By following the procedure mentioned above, we assume a parameterization of the unknown input in the mathematical model (Eqs. (6-7)) of the form u1(t) = Φ(t)p. The B-spline basis Φ(t) is obtained from Eqs. (17-18). The unknown parameter-vector p is obtained by minimizing Eq. (11). For this example, we consider two input signals u1e(t) = u(t-2)-u(t-3), where u(t) is the step function and u1e(t) = sgn(sin(0.5t)).

Fig. 1 shows results for the input signal u1e(t) = sgn(sin(0.5t)). The B-spline parameters considered for this case are Nc = 5 and k = 0, and the homotopy gain parameter Γ = 500. It can clearly be seen from Fig. 1(a) that the identified input u1(t) is nearly identical to the actual input u1e(t). Fig. 1(b) shows the comparison between experimental displacement q1e(t) and displacement obtained by integrating the mathematical model q1(t) with the identified input u(t). From Fig. 1(b) it is clear that q1(t) matches very closely with the experimental data q1e(t).

Fig. 1a) Actual input u1e(t)=sgn(sin(0.5t)) and identified input u1(t), b) experimental displacement q1e(t), and model displacement q1(t) obtained using u1(t)

a) Actual input u1e(t)=sgn(sin(0.5t)) and identified input u1(t), b) experimental  displacement q1e(t), and model displacement q1(t) obtained using u1(t)

a)

a) Actual input u1e(t)=sgn(sin(0.5t)) and identified input u1(t), b) experimental  displacement q1e(t), and model displacement q1(t) obtained using u1(t)

b)

Fig. 2 shows results for the input signal u1et=u(t-2)-u(t-3). The B-spline parameters considered for this case are Nc= 6 and k = 0, and the homotopy gain parameter Γ = 150. It can clearly be seen from Fig. 2(a) that the identified input u1(t) is nearly identical to the actual input u1e(t). Fig. 2(b) shows the comparison between experimental displacement q1e(t) and displacement obtained by integrating the mathematical model q1(t) with the identified input u(t). From Fig. 2(b) it is clear that q1(t) matches very closely with the experimental data q1e(t).

Fig. 2a) Actual input u1e(t) = rect(t), 2≤t≤3 and identified input u1(t), b) experimental displacement q1e(t), and model displacement q1(t) obtained using u1(t)

a) Actual input u1e(t) = rect(t), 2≤t≤3 and identified input u1(t), b) experimental displacement q1e(t), and model displacement q1(t) obtained using u1(t)

a)

a) Actual input u1e(t) = rect(t), 2≤t≤3 and identified input u1(t), b) experimental displacement q1e(t), and model displacement q1(t) obtained using u1(t)

b)

6. Conclusions

In this work, the input reconstruction problem for non-linear dynamical systems is studied. Through input vector parameterization, the unknown input identification problem is reformulated as a parameter identification problem, which is then solved using the ideas of Homotopy transformation. Homotopy transformation is considered so that the global optimum is achieved. A theoretical analysis of the homotopy transformation is presented in this work, in which it is shown that as long as the high-gain observer synchronizes the experimental and model response, the global optimum of the objective function can be identified. Finally, the accuracy of the proposed methodology is demonstrated via a numerical example in which it is shown that by using the proposed methodology one can effectively reconstruct the unknown inputs.

References

  • Hou Ming, Patton Ron J. Input observability and input reconstruction. Automatica, Vol. 34, Issue 6, 1998, p. 789-794.
  • Xiaohang Li, Zhu Fanglai, Zhang Jian State estimation and simultaneous unknown input and measurement noise reconstruction based on adaptive H∞ observer. International Journal of Control, Automation and System, Vol. 14, Issue 3, 2016, p. 647-654.
  • Avijit Banerjee, Das Gourhari Estimation of unknown input using reduced order Das and Ghosal observer. IEEE International Conference on Emerging Trends in Computing, Communication and Nanotechnology, 2013.
  • Guo Shenghui, et al. State and unknown input estimations for discrete-time switched linear systems with average dwell time. Journal of the Franklin Institute, 2019, https://doi.org/10.1016/j.jfranklin.2019.07.034.
  • Zhang Wei, et al. Unknown input observer design for one-sided Lipschitz nonlinear systems. Nonlinear Dynamics, Vol. 79, Issue 2, 2015, p. 1469-1479.
  • Delshad Saleh S., et al. Robust state estimation and unknown inputs reconstruction for a class of nonlinear systems: multiobjective approach. Automatica, Vol. 64, 2016, p. 1-7.
  • Chakrabarty Ankush, et al. Unknown input estimation for nonlinear systems using sliding mode observers and smooth window functions. SIAM Journal on Control and Optimization, Vol. 56, Issue 5, 2018, p. 3619-3641.
  • Teh Poh Sim, TrinhHieu Partial state and unknown input estimation for time-delay systems. International Journal of Systems Science, Vol. 43, Issue 4, 2012, p. 748-763.
  • You Fuqiang, Li Hui, WangFuli State and unknown input simultaneous estimation for a class of nonlinear systems with time-delay. Nonlinear Dynamics, Vol. 83, Issue 3, 2016, p. 1653-1671.
  • Naderi Esmaeil, KhorasaniKhashayar Inversion-based output tracking and unknown input reconstruction of square discrete-time linear systems. Automatica, Vol. 95, 2018, p. 44-53.
  • Palanthandalam Madapusi, Harish J., Bernstein Dennis S. A subspace algorithm for simultaneous identification and input reconstruction. International Journal of Adaptive Control and Signal Processing, Vol. 23, Issue 12, 2009, p. 1053-1069.
  • Vyasarayani Chandrika P., et al. Parameter identification in dynamic systems using the homotopy optimization approach. Multibody System Dynamics, Vol. 26, Issue 4, 2011, p. 411-424.
  • Watson Layne T., Haftka Raphael T. Modern homotopy methods in optimization. Computer Methods in Applied Mechanics and Engineering, Vol. 74, Issue 3, 1989, p. 289-305.
  • Letellier Christophe, Aguirre Luis A. Interplay between synchronization, observability, and dynamics. Physical Review E, Vol. 82, Issue 1, 2010, p. 016204.

About this article

Received
25 October 2019
Accepted
01 November 2019
Published
28 November 2019
SUBJECTS
Mathematical models in engineering
Keywords
homotopy optimization
parameter identification
input identification
non-linear systems
B-spline
Acknowledgements

The authors gratefully acknowledge the Department of Science and Technology for funding this research through the Inspire Fellowship (DST/INSPIRE/04/2014/000972).