Complexity of stability and controllability of elementary hybrid systems

被引:147
作者
Blondel, VD
Tsitsiklis, JN
机构
[1] Univ Liege, Inst Math B37, B-4000 Liege, Belgium
[2] MIT, Informat & Decis Syst Lab, Cambridge, MA 02139 USA
关键词
hybrid systems; nonlinear systems; control; decidability; computability; computational complexity; NP-hard;
D O I
10.1016/S0005-1098(98)00175-7
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, we consider simple classes of nonlinear systems and prove that basic questions related to their stability and controllability are either undecidable or computationally intractable (NP-hard). As a special case, we consider a class of hybrid systems in which the stale space is partitioned into two halfspaces, and the dynamics in each halfspace correspond to a different linear system. (C) 1999 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码:479 / 489
页数:11
相关论文
共 25 条
[21]   NON-LINEAR REGULATION - THE PIECEWISE LINEAR-APPROACH [J].
SONTAG, ED .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1981, 26 (02) :346-358
[22]  
SONTAG ED, 1996, HYBRID SYSTEMS, V3, P436
[23]   The Lyapunov exponent and joint spectral radius of pairs of matrices are hard - When not impossible - To compute and to approximate [J].
Tsitsiklis, JN ;
Blondel, VD .
MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 1997, 10 (01) :31-40
[24]   Lyapunov exponents of pairs of matrices, a correction (vol 10, pg 31, 1997) [J].
Tsitsiklis, JN ;
Blondel, VD .
MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 1997, 10 (04) :381-381
[25]  
[No title captured]