OPTIMAL SWITCHING SEQUENCE FOR SWITCHED LINEAR SYSTEMS

被引:9
作者
Wu, Zeyang [1 ]
He, Qie [1 ]
机构
[1] Univ Minnesota, Dept Ind & Syst Engn, Minneapolis, MN 55455 USA
关键词
switched systems; optimal control; integer programming; joint spectral radius; exact algorithm; binary matrices; JOINT SPECTRAL-RADIUS; GLOBAL OPTIMIZATION; COUNTEREXAMPLE; MATRICES; COMPUTATION; STABILITY;
D O I
10.1137/18M1197928
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We study the following optimization problem over a dynamical system that consists of several linear subsystems: Given a finite set of n x n matrices and an n-dimensional vector, find a sequence of K matrices, each chosen from the given set of matrices, to maximize a convex function over the product of the K matrices and the given vector. This simple problem has many applications in operations research and control, yet a moderate-sized instance is challenging to solve to optimality for state-of-the-art optimization software. We propose a simple exact algorithm for this problem. Our algorithm runs in polynomial time when the given set of matrices has the oligo-vertex property, a concept we introduce in this paper for a finite set of matrices. We derive several sufficient conditions for a set of matrices to have the oligo-vertex property. Numerical results demonstrate the clear advantage of our algorithm in solving large-sized instances of the problem over one state-of-the-art global optimization solver. We also propose several open questions on the oligo-vertex property and discuss its potential connection with the finiteness property of a set of matrices, which may be of independent interest.
引用
收藏
页码:1183 / 1206
页数:24
相关论文
共 45 条
[1]   JOINT SPECTRAL RADIUS AND PATH-COMPLETE GRAPH LYAPUNOV FUNCTIONS [J].
Ahmadi, Amir Ali ;
Jungers, Raphael M. ;
Parrilo, Pablo A. ;
Roozbehani, Mardavij .
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2014, 52 (01) :687-717
[2]  
[Anonymous], 2005, THESIS
[3]  
[Anonymous], 2001, Introduction to algorithms
[4]  
[Anonymous], 1970, Princeton mathematical series
[5]  
Antsaklis P.J., 2000, P IEEE, V88, P879
[6]   Linear Quadratic Regulation of Switched Systems Using Informed Policies [J].
Antunes, Duarte ;
Heemels, W. P. Maurice .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (06) :2675-2688
[7]   Computationally efficient approximations of the joint spectral radius [J].
Blondel, VD ;
Nesterov, Y .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2005, 27 (01) :256-272
[8]   When is a pair of matrices mortal? [J].
Blondel, VD ;
Tsitsiklis, JN .
INFORMATION PROCESSING LETTERS, 1997, 63 (05) :283-286
[9]   An elementary counterexample to the finiteness conjecture [J].
Blondel, VD ;
Theys, J ;
Vladimirov, AA .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2003, 24 (04) :963-970
[10]   The mortality problem for matrices of low dimensions [J].
Bournez, O ;
Branicky, M .
THEORY OF COMPUTING SYSTEMS, 2002, 35 (04) :433-448