Control of Networked Systems with Engineering Applications 2020View this Special Issue
Decentralized Suboptimal State Feedback Integral Tracking Control Design for Coupled Linear Time-Varying Systems
In this paper, a suboptimal state feedback integral decentralized tracking control synthesis for interconnected linear time-variant systems is proposed by using orthogonal polynomials. Particularly, the use of operational matrices allows, by expanding the subsystem input states and outputs over a shifted Legendre polynomial basis, the conversion of time-varying parameter differential state equations to a set of time-independent algebraic ones. Hence, optimal open-loop state and control input coefficients are forwardly determined. These data are used to formulate a least-square problem, allowing the synthesis of decentralized state feedback integral control gains. Closed-loop asymptotic stability LMI conditions are given. The proposed approach effectiveness is proved by solving a nonconstant reference tracking problem for coupled inverted pendulums.
The decentralized control has given rise to increasing attention in the automatic control community. Obviously, studies are mainly related to the so-called large-scale interconnected dynamic system class. The latter family of plants finds its application in several fields such as mechanical systems [1–3], power-generating plants [4, 5], aircraft dynamics , aerospace transportation , and economic models . The decentralized control of an interconnected system essence aims at making each subsystem being controlled using only its own local state variables. However, ensuring the global stability of the whole system still remains a challenging concern [1, 9, 10].
Over the past years, many research results have been dedicated to the decentralized control approach for linear [11, 12] and nonlinear large-scale systems [1, 10, 13]. We recall here some works in the literature such as decentralized optimal control using the successive approximation approach , state-dependent Riccati equation (SDRE) optimal control , feedback decentralized polynomial control for the multimachine power system , robust decentralized observation and control , and Chebyshev wavelet-based collocation scheme . In most cases, particular classes of interconnected systems are handled, and specific mathematical conditions should be met at first in order to achieve the problem resolution.
On the contrary, linear time-variant (LTV) systems are known to be an immediate generalization of time-invariant systems. In fact, this class of linear systems is the result of nonlinear systems linearizing along a trajectory. Hence, it permits to cover a wider operating conditions of the systems to be studied, and as a consequence, ensures the applicability of the resulting control approaches. It is worth noting that the decentralized tracking problem of time-varying systems has not been addressed excessively in the literature. Using time-varying parameters for interconnected system modeling has been considered recently in order to solve various control problems. Among the latest contributions, one may cite , where authors combine an operator form of discrete-time linear systems with the classical Youla parameterization to characterize the set of stably realizable decentralized controllers for LTI, LTV, or even linear switched systems. Mohamed et al.  addressed the problem of the adaptive sliding mode observer for nonlinear interconnected systems with time-varying parameters. Besides, the time-variation concept has concerned the delay modeling  or the output constraint modeling  of large-scale systems. For the tracking problem, we particularly recall the method in , where authors developed a decentralized tracking control for a class of time-varying systems based on the backstepping technique. The time-variant parameters in the global systems are unknown, bounded (that bounds need to be estimated and not literally using the time-varying parameters), and should verify some analytical assumptions in order to prove the stability of the closed-loop system.
Moreover, approaches based on similar mathematical tools (orthogonal functions, wavelets, and polynomials) used in this work have considered only the optimal control problem of time-varying systems. To our best knowledge, the decentralized scheme for LTV interconnected systems has not been treated yet. One may refer to [12, 21] and references therein that exhibit a review on orthogonal function approaches to solve the optimal control problem for time-varying systems. It is clear that most techniques are based on product operational matrices, and two formulations could be distinguished:(i)The Lagrange approach: Lagrange multipliers are introduced, and then a parameter optimization problem is formulated by giving the necessary conditions for optimization. Resolution could be done via a nonlinear optimization tool.(ii)The Riccati approach: here, the state transition matrix of the two-point boundary value problem (TPBVP) should be identified by the mean of an orthogonal basis that leads to multiple least-square problems.
However, in most works in the literature, as it is the case for the above described techniques, only open-loop optimal solutions are given, which is an important limitation since such control could not be efficiently implemented in practice.
On the other side, several orthogonal function-based contributions have been extensively proposed during the last three decades for the analysis, identification, optimal control, and model reduction of linear [22, 23] and some classes of nonlinear systems [24–27]. In the literature, there are several orthogonal function bases dedicated to solve the above cited problems arising in control theory. One may refer to research activities based on Legendre polynomials [22, 28], Chebyshev , Hermite polynomials , block pulse , Walsh functions , or even hybrid of piecewise and polynomials . In our work, shifted Legendre polynomials are chosen to develop time-variant systems and manipulate related operational matrices, more specifically the Kronecker product operational matrix, to solve the posed optimal tracking problem.
In this paper, we aim to design a suboptimal decentralized state feedback integral tracking control technique applied for interconnected linear time-variant systems. This approach consists in expanding all variables involved in the considered dynamic subsystems over shifted Legendre basis. It will be then possible to reduce the corresponding interconnected time-variant parameter differential equations into some coupled time-independent algebraic equations. Thus, computations become clearly more easier to be undertaken. More precisely, the proposed approach is achieved by following the below 2 steps :(1)Consider the global time-varying system and solve the related optimal control problem with a direct approach based on shifted Legendre polynomials. This permits to avoid the resolution of a high-order TPBVP with time-varying parameters and allows to obtain global state and control coefficients on the basis by just finding a direct relation between the coefficients and deducing the control from the approached expression of the criterion.(2)Once open-loop global state and control coefficients are obtained, we inject each subsystem state and control coefficients in the proposed decentralized state feedback with an integral action equation. That leads, by the mean of the integration operational matrix of the basis, to an algebraic equation where unknowns are only control gains. A formulated least-square problem is then solved.
Finally, we will be interested to study the stability of the overall system controlled with the proposed feedback action. As a consequence, an augmented system is constructed and LMI conditions are given, guaranteeing asymptotic stability of the closed loop.
This article is organized as follows: shifted Legendre polynomial properties and problem formulation are presented in Section 2. Open-loop optimal control synthesis and suboptimal state feedback integral control determination are given Section 3. Section 4 is reserved to the stability analysis. A numerical simulated example based on coupled inverted pendulums is provided in the Section 5, and it highlights the achieved developments.
2. Preliminaries and Problem Statement
2.1. Legendre Polynomials
The Legendre polynomials are orthogonal on the interval , with a weight function . The set of Legendre polynomials is obtained from the formula of Olinde Rodrigues :
These polynomials can also be obtained from the recursive relationship :with and .
2.2. Shifted Legendre Polynomials
In order to obtain orthogonal Legendre polynomials over the time interval , which is more useful in control synthesis, we perform the following change of variable:
The principle of orthogonality of the shifted Legendre polynomials (SLPs) is expressed by the following equation :where is the Kronecker symbol.
2.3. The Operational Matrix of Integration of Shifted Legendre Polynomials
In the case of shifted Legendre polynomials, the operational matrix of integration is defined as follows :whereis an constant matrix and denotes a shifted Legendre basis of dimension .
2.4. The Integration of the Cross Product
The integration of the cross product of two shifted Legendre polynomial vectors can be obtained as where is an constant matrix.
2.5. Operational Matrix of the Kronecker Product
The product of two shifted Legendre polynomials and can be expressed by with
Then, we may writewhere is an constant matrix, and then it becomeswhere is the Kronecker product operational matrix of shifted Legendre polynomials.
2.6. Problem Statement
Consider the following optimal control problem: find the optimal control , which minimizes the following quadratic performance index:where is the number of interconnected subsystems and is the tracking error defined bywith being the output of the -th subsystem and being the reference submodel output.
Particularly, in this framework, we consider a global LTV system consisting of interconnected subsystems described by the following state equation:where and are, respectively, the state vector, the control vector, and the output vector of the subsystem and , , and and are some time-dependent matrices characterising the subsystem with respective dimensions , , , and .
We assume that each subsystem is assumed to be fully measurable and controllable, and its matrices have the following bounds:where notations and correspond, respectively, to the minimum and maximum of a time-dependent variable .
The linear time-invariant reference models to be used in this study are obviously stable and encompass all desired performances to be conferred to the controlled subsystems. These LTI models are described by the following state equations:where is the state vector of the -th reference submodel, is a nonconstant input, and its output vector generating, hence, a path to be tracked and , , and are the chosen matrices characterising the reference model with respective dimensions , , and .
In the sequel, we will be concerned with the synthesis of state feedback integral suboptimal controllers of the following form:which are aimed to make each subsystem outputs track nonconstant inputs with respect to the corresponding reference submodel dynamics.
3. Optimal Tracking Control Synthesis
3.1. Criterion Approximation
A global criterion to be minimised could be defined as follows:where and denote the global system tracking error and the control input, respectively. Notice that this criterion is associated to the global system :where global system matrices , , and are given by
Applying the operator and related Kronecker product property  yieldswhere and are, respectively, the and identity matrices and and are the coefficients obtained by developing, respectively, the error and the control input over the shifted Legendre basis.
With this approximation, the globalization of equation (2) giveswhere and are the coefficients obtained by developing, respectively, the global system state and the global reference model output over the shifted Legendre basis.
Let us denote
Exploiting the property (see Appendix), the global criterion to be minimised is expressed as follows:where and with the cross product matrix presented in the previous section.
The expression of in (26) depends on and will be replaced by the following relation:where matrices , , and define the global reference model.
3.2. Dynamic Constraint Expansion over the Orthogonal Basis
The development of time-dependent matrices in (21), over shifted Legendre basis, yieldswhere and .
Similarly, one may state
Now, the system expansion over the SLP base is given bywith being the initial state projection over the considered basis.
Applying the operator to (30) gives
Hence, (31) becomeswhere
3.3. Optimal Open-Loop Control
3.4. Suboptimal State Feedback Integral Synthesis
We are interested now, based on open-loop optimal results , to synthesize a suboptimal control of type (19).
It is possible now to capture, for each subsystem, optimal state and input coefficients from the optimal global system ones.
On the other hand, expansion of the decentralized state feedback integral control over SLP basis yields
Simplifying the basis and applying the operator with optimal coefficients, the synthesis of control parameters could be done by solving the following least-square problem:withwhere and
4. Closed-Loop Stability Analysis
Consider the following augmented state space submodel:where . Hence, each controlled subsystems with input (19) may be written aswhere is the augmented state for each subsystem and
The closed-loop global system may be constructed as follows:where and , for .
As a consequence, the linear time-varying model defined by equation (43) can be expressed in the following polytopic form such as belongs to a polytope of matrices defined by where , the set of all barycentric coordinates:
5. Application to Coupled Inverted Pendulums
The considered benchmark [1, 37] consists of two identical pendulums which are coupled through a moving spring and move in a plane (Figure 1). We assume that the pivot position of the moving spring is a function of time which can change along the full length of the pendulums.
The objective of the decentralized controller is to control each pendulum with mass independently, such that each pendulum will follow its own desired (reference) trajectory, while the connected spring is moving. The linearized dynamic equations of the two pendulum systems (for small displacements about the equilibrium) arewhere and , and are the spring and gravity constants, and and are the torque inputs applied at the pivot points.
It is clear that , then we know that the displacement of the pendulums and the connected spring is bounded, so the constant bounds of matrices characterising the two subsystems can be obtained.
For simulations, we set the time-varying function and choose , , and let and .
The reference model (18) for each pendulum is chosen as
The reference trajectories used in simulation were chosen as
Optimal open-loop trajectories for both subsystems 1 and 2 are depicted, respectively, in Figures 2 and 3. Optimal tracking results are obtained for the horizon time and which is the shifted Legendre basis dimension. The tracking is ensured by minimising the quadratic criterion with and .
The feedback approach applied to the interconnected pendulums leads to the following decentralized state feedback integral actions:
The asymptotic stability with an disturbance attenuation of the closed-loop system is verified by the feasible solution of the formulated LMI. The obtained LMI variables are
In this paper, a new suboptimal decentralized control technique is designed by using orthogonal functions as an interesting tool of dynamical system approximation, more specifically shifted Legendre polynomials with operational matrices of integration and Kronecker product are exploited.
The main advantage of the proposed technique is its applicability to the class of time-varying interconnected systems. Hence, the suboptimal decentralized state feedback integral controller parameters are adjusted such that each subsystem has a specific desired performance of a chosen reference model by solving a time-independent least-square problem.
In the future work, we intend to extend the actual study to the synthesis of the optimal tracking control for interconnected nonlinear time-varying systems.
Kronecker Product and Function Property
For any matrices X, Y, and Z having appropriate dimensions, the following property of the Kronecker product is given :where denotes the vectorization operator of a matrix  and stands for the Kronecker product.
Let , and be matrices with appropriate dimensions, and we recall the following property :
System parameters used for simulation in the paper are given in the manuscript.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
D. Belogalzov, V. Finaev, I. Shapovalov, V. Soloviev, and M. Medvedev, “Decentralized control of a group of robots using fuzzy logic,” Journal of Engineering and Applied Sciences, vol. 12, no. 9, pp. 2492–2498, 2017.View at: Google Scholar
T. N. Pham, S. Nahavandi, H. Trinh, and L. V. Hien, “Decentralized bounded input bounded output stabilization of perturbed interconnected time-delay power systems with energy storages,” International Journal of Electrical Power & Energy Systems, vol. 93, pp. 51–64, 2017.View at: Publisher Site | Google Scholar
H. Rtibi, S. Elloumi, and N. Benhadj Braiek, “Development of a decentralized nonlinear controller for a class of uncertain polynomial interconnected systems: application for a large scale power system,” Transactions of the Institute of Measurement and Control, vol. 41, no. 8, pp. 2236–2249, 2019.View at: Publisher Site | Google Scholar
A. Feydi, S. Elloumi, C. Jammazi, and N. Benhadj Braiek, “Decentralized finite-horizon suboptimal control for nonlinear interconnected dynamic systems using SDRE approach,” Transactions of the Institute of Measurement and Control, vol. 41, no. 11, pp. 3264–3275, 2019.View at: Publisher Site | Google Scholar
M. S. Mahmoud, M. F. Hassan, and M. G. Darwish, Large Scale Control Systems, Theories and Techniques, Marcel Dekker, New York, NY, USA, 1985.
S. Stankovic and D. Siljak, “Robust stabilization of nonlinear interconnected systems by decentralized dynamic output feedback,” System and Control Letters, vol. 58, pp. 271–275, 2009.View at: Google Scholar
M. Mortezaee and A. Nazemi, “Solving infinite horizon optimal control problems of nonlinear interconnected large-scale dynamic systems via aHaar wavelet collocation scheme,” Iranian Journal of Operations Research, vol. 6, no. 2, pp. 19–35, 2015.View at: Google Scholar
M. Naghnaeian, P. G. Voulgaris, and N. Elia, “A unified framework for decentralized control synthesis,” in Proceedings of the 2018 European Control Conference (ECC), Limassol, Cyprus, 2018.View at: Google Scholar
W. Qian, W. Qiangde, Z. W. Zhengqiang, and Z. Zhang, “Decentralized adaptive tracking control for high-order interconnected stochastic nonlinear time-varying delay systems with stochastic input-to-state stable inverse dynamics by neural networks,” Transactions of the Institute of Measurement and Control, vol. 41, no. 13, pp. 3612–3625, 2019.View at: Publisher Site | Google Scholar
K. B. Datta and B. M. Mohan, Orthogonal Functions in Systems and Control, World Scientific Publishing, Singapore, 1995.
M. Dadkhah, M. H. Farahi, and A. Heydari, “Optimal control of a class of non-linear time-delay systems via hybrid functions,” IMA Journal of Mathematical Control and Information, vol. 34, no. 1, pp. 255–270, 2017.View at: Google Scholar
I. S. Gradshteyn and I. M. Ryzhik, Tables of Integrals, Academic Press, Cambridge, MA, USA, 1979.
J. Bosche and A. El Hajjaji, An Output Feedback Controller Design for Lateral Vehicle Dynamic, The International Federation of Automatic Control, Seoul, Korea, 2008.
D. Boyd, L. El Ghaoui, E. Peron, and V. Bala-krishnan, Linear Matrix Inequalities in System and Control Theory, SIAM Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 1994.
S. K. Singh and L. Shi, “Robust adaptive controllers for interconnected mechanical systems: influence of types of interconnections on time-invariant and time-varying systems,” Journal of Dynamic Systems, Measurement, and Control, vol. 116, no. 3, pp. 456–473, 1994.View at: Publisher Site | Google Scholar