Robust Simultaneous Stabilization Control Method for Two Port-Controlled Hamiltonian Systems: Controller Parameterization
This paper investigates robust simultaneous stabilization (RSS) control method for two port-controlled Hamiltonian (PCH) systems and proposes results on the design of simultaneous stabilization controller with parameters for such systems. Firstly, two PCH systems are studied. Using the dissipative Hamiltonian structural properties, the systems are combined to generate an augmented PCH system. When there are external disturbances in the systems, a robust controller with parameters is designed for the systems. Secondly, an algorithm for solving parameters of the controller is proposed with symbolic computation. Finally, an illustrative example is presented to show that the RSS controller obtained in this paper works very well.
In recent years, port-controlled Hamiltonian (PCH) systems have been extensively studied in [1–6]. Indeed, the Hamiltonian function in PCH systems is considered as the total energy (sum of potential energy and kinetic energy) in mechanical systems and is good candidate of Lyapunov functions for many physical systems. Due to this and its nice structural properties, PCH systems have drawn a good deal of attention in practical control designs. Up to now, the energy-based approach has been used in various control problems and its applications have been well investigated for a wide range of physical systems, including power systems and robotic systems. Cheng et al.  considered the stabilization of excitation control of power systems and proposed the model of the generalized Hamiltonian systems, which consists of externally supplied energy, dissipation, and internal energy source. Xin and Kaneda [8, 9] presented a necessary and sufficient condition for nonexistence of any singular point in the derived control law and provided a complete analysis of convergence of energy and the motion of the Acrobot.
In practical control designs, due to system’s uncertainty, failure modes, or systems with various modes of operation, the simultaneous stabilization problem has often to be taken into account. The problem is concerned with designing a single controller which can stabilize all the systems simultaneously. In this way, the controller implementation cost will be greatly reduced. So far, many important results have been obtained for the simultaneous stabilization of linear systems [10–14]. In general, it is difficult to design a simultaneous stabilization controller for a class of nonlinear systems, but it is a work worth doing for many researchers [15–20]. Ho-Mock-Qai and Dayawansa  proposed a new method to show that, given any countable family of stabilizable nonlinear systems, there is a continuous state feedback law which simultaneously stabilizes the family. Wang et al.  proposed a number of results on the design of simultaneous stabilization controller for the cases of two PCH systems and more than two PCH systems. Xu et al.  presented sufficient conditions for simultaneous stabilization with and without performance. Sun and Wang  studied simultaneous stabilization of a class of nonlinear descriptor systems via the Hamiltonian function method and proposed two new results for the simultaneous stabilization and robust simultaneous stabilization, respectively. Wei et al.  designed the parallel simultaneous stabilization for a set of multi-input nonlinear PCH systems with actuator saturation. Abdel-Magid et al.  proposed the genetic algorithms for the simultaneous stabilization of multimachine power systems over a wide range of operating conditions via single-setting power system stabilizers.
Controller parameterization is a fundamental problem in the control theory and has aroused considerable attention in recent decades. Lu et al.  and Isidori and Astolfi  proposed a family of nonlinear controllers via output feedback. Astolfi  presented a family of nonlinear state-feedback controllers, in which the system state and the external disturbance are measurable. Yung et al.  extended the state-space formulas and presented a family of state-feedback controllers for -dimensional nonlinear system. Xu and Hou [25, 26] studied the generalized Hamiltonian system and proposed a family of parameterized controllers in control and adaptive control. The controllers [21–26] are intended to solve the control problem for just one system. There are fewer works for RSS control design of two PCH systems.
Therefore, how to find a method for designing controller with parameters to solve RSS problem for two PCH systems is a challenging issue. In this paper, we investigate RSS problem for two PCH systems and present a novel, straightforward, and convenient method to design a controller with parameters to insure that two PCH systems are simultaneous stabilization. The proposed method provides support in theory for the practical application.
The remainder of this paper is organized as follows. In Section 2, the problem of RSS for PCH systems is formulated. The main contribution of this paper is then given in Section 3, in which a controller with parameters and an algorithm for solving parameters are provided, respectively. We present a numerical example for illustrating effectiveness and feasibility of controller in Section 4 and conclusions follow in Section 5.
2. Problem Formulation
Consider the following two dissipative PCH systems: where and are the states vector and outputs of the two systems, respectively; is the controller with parameters; is the disturbance; , , , and are sufficiently smooth functions; is the Hamiltonian function which has a local minimum at the equilibrium , , , .
Given a disturbance attenuation level , choose as the penalty function, where is a weighting matrix with full column rank and satisfies , where denotes the eigenvalue of a matrix. Then, our objective of this section is described as follows.
In the end, we give a definition and a lemma required in next section.
Definition 2 (see ). System (1) is called zero-energy-gradient (ZEG) observable with respect to if and , , implies , ; system (1) is called ZEG detectable with respect to if and , , implies ; system (1) is called generalized ZEG observable (detectable) if , , and , , implies , ().
Lemma 3 (see ). Consider a nonlinear system where is the state vector, is the disturbances, is the penalty. If there exists the function , such that HJI inequality holds, it is implied that the gain of the closed-loop system (2) (from to ) is bounded by (); that is,
3. Main Results
In this section, we propose an controller with parameters for systems (1) and (2) and an algorithm for solving parameters. The parameterization methods suggest a framework to solve the RSS control problem of two PCH systems.
3.1. RSS of Two PCH Systems
Theorem 4. Considering systems (1) and (2), with the penalty function (3) and the given level , assume that systems (1) and (2) are generalized ZEG detectable (when ). If(i)there exists a symmetric matrix , satisfying , such that where , ;(ii)(iii) hold simultaneously, then is an disturbance attenuation controller, such that both R1 and R2 hold simultaneously for systems (1) and (2), where and is an unit matrix.
Proof. Substituting controller (10) into systems (1) and (2), we obtain the following closed-loop systems:
From systems (1) and (2), system (11) and the penalty function (3) can be rewritten as an augmented PCH system (12): where , , ,
Consider the candidate Lyapunov function , where . With Lemma 3 and the conditions of the theorem, we have According to the lemma, the gain of system (12) (from to ) is no more than and R1 holds.
Next, we prove that system (12) is asymptotically stable when . When , it is easy to know from (12) that Thus, the solution of the closed-loop system converges to the largest invariant set contained in From the fact that system (12) is generalized ZEG detectable, we know that , , and , . Hence, the largest invariant set contains only one point; that is, which is the equilibrium point. From LaSalle’s invariance principle, the closed-loop system (12) is asymptotically stable at its equilibrium and R2 holds. This completes the proof.
Remark 5. (1) Conditions (7) and (8) in Theorem 4 are not restrictive and can be easily satisfied in many systems.
(2) is a polynomial vector with parameters. We can obtain the parameters of via solving condition (9).
(3) The proposed parameterization method can be used for a nonlinear control system, and of course the first step in applying the method is to express the nonlinear system as a dissipative Hamiltonian system based on dissipative Hamiltonian realization methods [28, 29].
(4) The current studies of the proposed parameterization method merely remain in theory, but it will be used for practical applications such as multimachine power systems , because of the broad applicability of the method for nonlinear control system.
3.2. Solving Parameters Algorithm (SP)
From condition (7), we can obtain the . Let such that condition (7) holds. Then we propose an algorithm to find parameters ranges of controller (10) via solving the parameters of in condition (9). The SP algorithm now proceeds as follows.(S1)Set and suppose a positive integer , which is the degree of polynomial vector . Write , where , , and is the number of state variable.(S2)Let .(S3)The influence of high order items can be ignored because this paper considers locally asymptotically stable for system. Choose all terms of and from and let the coefficients of these terms be zero. So obtain a set of equations .(S3.1)Observe equations . Let some parameters be zero and substitute them into . Then obtain the simplified equations .(S3.2)Obtain a set of parameters solution via solving by using cylindrical algebraic decomposition (CAD) algorithm .(S3.3)Substitute into and obtain a new polynomial , which is a quadratic form.(S4)Rewrite as coefficient matrix , and all principal minors of must be positive semidefinite . Choose all principal minors of and obtain inequalities .(S4.1)Observe inequalities . Let some parameters be zero and substitute them into . Then obtain the simplified inequalities .(S4.2)Obtain a set of parameters solution via solving by using CAD algorithm.(S5)Let and substitute into controller (7) and thus obtain the polynomial controller with parameters. This completes the algorithm.
Remark 6. (1) The SP algorithm starts from normally.
(2) The CAD algorithm is given by semialgebraic-set-tools of regular-chains in Maple 16.
(3) It is merely to simplify computation that we let some parameters be zero before using CAD algorithm. However, these parameters are not necessarily zero. So the set of parameters solution obtained by SP algorithm is a subset of solutions.
4. Numerical Experiments
Consider the following PCH systems with external disturbances described as
4.1. Controller Design and Solving Parameters
From system (17), it is easy to get So the assumption holds.
Given a disturbance attenuation level , choose
Let , .
Then, , ,
A straightforward computation shows that when
From system (17), we obtain that .
Let , and we have is a quadratic form and can be rewritten as a coefficient matrix (multiply constant 2 for simplifying computation):
All principal minors of must be positive semidefinite. We have inequalities from . From , we can easily obtain that , . Substitute into inequalities to simplify computation; we obtain simplified inequalities . Solving inequalities by using CAD algorithm, we obtain a series of sets. Choose some sets, which satisfy inequalities , and organize them. We have Substitute into controller (23): where .
4.2. Simulations and Results
To illustrate the effectiveness of controller (28), we carry out some numerical simulations with the following choices: , . To test the robustness of the controller with respect to external disturbances, a square disturbance is added to systems in the time duration . The simulation results are shown in Figures 1, 2, and 3, which are the responses of the state and control signal, respectively.
In this paper, we have investigated the RSS problem for two PCH systems and proposed a RSS controller with parameters design method. A controller with parameters has been obtained using Hamiltonian function method and an algorithm for solving parameters of the controller has been proposed with symbolic computation. The study of illustrative example with simulations has shown that the RSS controller obtained in this paper has been efficient in control for two PCH systems.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This work is supported by the National Natural Science Foundation of China nos. 61074189 and 61374001.
A. J. van der Schaft, “Port-controlled Hamiltonian systems: towards a theory for control and design of nonlinear physical systems,” Journal of the Society of Instrument and Control Engineers of Japan, vol. 39, no. 2, pp. 91–98, 2000.View at: Google Scholar
D. Cheng, Z. Xi, Y. Hong, and H. Qin, “Energy-based stabilization of forced hamiltonian systems and its application to power systems,” Control Theory and Applications, vol. 17, no. 6, pp. 798–802, 2000.View at: Google Scholar
X. Xin and M. Kaneda, “New analytical results of the energy based swinging up control of the acrobot,” in Proceedings of the 43rd IEEE Conference on Decision and Control (CDC '04), vol. 1, pp. 704–709, December 2004.View at: Google Scholar
A. Astolfi, “Parameterization of output feedback controller that satisfy an norm bound,” in Proceedings of the 2nd European Control Conference, pp. 74–78, Groningen, The Netherlands, 1993.View at: Google Scholar
B. F. Caviness and J. R. Johnson, Quantifier Elimination and Cylindrical Algebraic Decomposition, Springer, New York, NY, USA, 1998.
K. N. Swamy, “On Sylvesters criterion for positive- semidefinite matrices,” IEEE Transactions on Automatic Control, vol. 18, no. 3, 306 pages, 1973.View at: Google Scholar