Please wait a minute...
Front. Inform. Technol. Electron. Eng.  2012, Vol. 13 Issue (10): 781-792    DOI: 10.1631/jzus.C1200074
    
A computing capability test for a switched system control design using the Haris-Rogers method
Mohd Amin At-Tasneem, Sallehuddin Mohamed Haris, Zulkifli Mohd Nopiah
Faculty of Mechanical Engineering, University Malaysia Pahang, Pekan 26600, Malaysia; Department of Mechanical and Materials Engineering, Faculty of Engineering and the Built Environment, Universiti Kebangsaan Malaysia, UKM Bangi 43600, Malaysia; Unit of Fundamental Engineering Studies, Faculty of Engineering and the Built Environment, Universiti Kebangsaan Malaysia, UKM Bangi 43600, Malaysia
Download:   PDF(0KB)
Export: BibTeX | EndNote (RIS)      

Abstract  The problem of finding stabilizing controllers for switched systems is an area of much research interest as conventional concepts from continuous time and discrete event dynamics do not hold true for these systems. Many solutions have been proposed, most of which are based on finding the existence of a common Lyapunov function (CLF) or a multiple Lyapunov function (MLF) where the key is to formulate the problem into a set of linear matrix inequalities (LMIs). An alternative method for finding the existence of a CLF by solving two sets of linear inequalities (LIs) has previously been presented. This method is seen to be less computationally taxing compared to methods based on solving LMIs. To substantiate this, the computational ability of three numerical computational solvers, LMI solver, cvx, and Yalmip, as well as the symbolic computational program Maple were tested. A specific switched system comprising four second-order subsystems was used as a test case. From the obtained solutions, the validity of the controllers and the corresponding CLF was verified. It was found that all tested solvers were able to correctly solve the LIs. The issue of rounding-off error in numerical computation based software is discussed in detail. The test revealed that the guarantee of stability became uncertain when the rounding off was at a different decimal precision. The use of different external solvers led to the same conclusion in terms of the stability of switched systems. As a result, a shift from using a conventional numerical computation based program to using computer algebra is suggested.

Key wordsLinear inequalities      Hybrid systems      Stability      Common quadratic Lyapunov function      Numerical computation      Symbolic computation     
Received: 19 March 2012      Published: 01 October 2012
CLC:  TP273  
Cite this article:

Mohd Amin At-Tasneem, Sallehuddin Mohamed Haris, Zulkifli Mohd Nopiah. A computing capability test for a switched system control design using the Haris-Rogers method. Front. Inform. Technol. Electron. Eng., 2012, 13(10): 781-792.

URL:

http://www.zjujournals.com/xueshu/fitee/10.1631/jzus.C1200074     OR     http://www.zjujournals.com/xueshu/fitee/Y2012/V13/I10/781


A computing capability test for a switched system control design using the Haris-Rogers method

The problem of finding stabilizing controllers for switched systems is an area of much research interest as conventional concepts from continuous time and discrete event dynamics do not hold true for these systems. Many solutions have been proposed, most of which are based on finding the existence of a common Lyapunov function (CLF) or a multiple Lyapunov function (MLF) where the key is to formulate the problem into a set of linear matrix inequalities (LMIs). An alternative method for finding the existence of a CLF by solving two sets of linear inequalities (LIs) has previously been presented. This method is seen to be less computationally taxing compared to methods based on solving LMIs. To substantiate this, the computational ability of three numerical computational solvers, LMI solver, cvx, and Yalmip, as well as the symbolic computational program Maple were tested. A specific switched system comprising four second-order subsystems was used as a test case. From the obtained solutions, the validity of the controllers and the corresponding CLF was verified. It was found that all tested solvers were able to correctly solve the LIs. The issue of rounding-off error in numerical computation based software is discussed in detail. The test revealed that the guarantee of stability became uncertain when the rounding off was at a different decimal precision. The use of different external solvers led to the same conclusion in terms of the stability of switched systems. As a result, a shift from using a conventional numerical computation based program to using computer algebra is suggested.

关键词: Linear inequalities,  Hybrid systems,  Stability,  Common quadratic Lyapunov function,  Numerical computation,  Symbolic computation 
[1] Ali Darvish Falehi, Ali Mosallanejad. Dynamic stability enhancement of interconnected multi-source power systems using hierarchical ANFIS controller-TCSC based on multi-objective PSO[J]. Front. Inform. Technol. Electron. Eng., 2017, 18(3): 394-409.
[2] Kyong-il Kim, Hsin Guan, Bo Wang, Rui Guo, Fan Liang. Active steering control strategy for articulated vehicles[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(6): 576-586.
[3] Jun-feng Xie, Ren-chao Xie, Tao Huang, Jiang Liu, F. Richard Yu, Yun-jie Liu. Caching resource sharing in radio access networks: a game theoretic approach[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(12): 1253-1265.
[4] Xiao-dong Tan, Jian-lu Luo, Qing Li, Bing Lu, Jing Qiu. Fault evolution-test dependency modeling for mechanical systems[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(10): 848-857.
[5] Shan Cheng, Min-you Chen, Rong-jong Wai, Fang-zong Wang. Optimal placement of distributed generation units in distribution systems via an enhanced multi-objective particle swarm optimization algorithm[J]. Front. Inform. Technol. Electron. Eng., 2014, 15(4): 300-311.
[6] Xiao-li Zhang, An-hui Lin, Jian-ping Zeng. Exponential stability of nonlinear impulsive switched systems with stable and unstable subsystems[J]. Front. Inform. Technol. Electron. Eng., 2014, 15(1): 31-42.
[7] Shuang-shuang Fan, Can-jun Yang, Shi-lin Peng, Kai-hu Li, Yu Xie, Shao-yong Zhang. Underwater glider design based on dynamic model analysis and prototype development[J]. Front. Inform. Technol. Electron. Eng., 2013, 14(8): 583-599.
[8] Jian Xu, Jian-xun Li, Sheng Xu. Quantized innovations Kalman filter: stability and modification with scaling quantization[J]. Front. Inform. Technol. Electron. Eng., 2012, 13(2): 118-130.
[9] Alireza Rezazadeh, Mostafa Sedighizadeh, Ahmad Hasaninia. Coordination of PSS and TCSC controller using modified particle swarm optimization algorithm to improve power system dynamic performance[J]. Front. Inform. Technol. Electron. Eng., 2010, 11(8): 645-653.
[10] Behrooz REZAIE, Mohammad-Reza JAHED MOTLAGH, Siavash KHORSANDI, Morteza ANALOUI. Global stability analysis of computer networks with arbitrary topology and time-varying delays[J]. Front. Inform. Technol. Electron. Eng., 2010, 11(3): 214-226.