No label defined (Q4356841)

In this paper the author studies the stability and stability margins for the time-varying discrete interval systems of the form: \[ x(k+1) =A(k)x(k), \quad x(0)= x_0 \tag{1} \] where \(x(k)= [x_i(k)]\) is an \(r\)-dimensional state vector, \(A(k) \in A_I\), \[ A_I= \bigl\{A= [a_{ij}]: a_{ij}\in [b_{ij}, c_{ij}], \quad i,j=1, \dots, r\bigr\} \] and \(b_{ij}\leq c_{ij}\) are given real numbers. First we mention that the system (1) is said to be asymptotically stable if for every \(x (0) =x_0\) and every matrix sequence \(\{A(k)\), \(k=0,1, \dots, A(k) \in A_I\} \lim_{k\to\infty} x(k) =0\) and stable with stability margin \(h\), where \(0\leq h<1\), if there exists a number \(c\geq 0\) (depending on \(x_0)\) such that for an arbitrary matrix sequence \(A(k)\in A_I\) it holds that \(|x_i(k) |\leq c(1-h)^k\), \(i=1, \dots, r\). The author extends a result of Bauer et al. (1993) and also a result of Han and Lee (1994). At the same time he shows that the sufficient condition on stability of (1) presented in Han and Lee (1994) can be easily obtained from the Perron-Frobenius theorem on maximal eigenvalue of a nonnegative matrix. The main result of this paper states that the system (1) is asymptotically stable if there exists a finite \(n_0= 1,2, \dots\) such that \(\rho (|\widehat P(n_0) |)<1\) and moreover \(h=1- (\rho (|\widehat P(n_0) |))^{1/n_0}\) is the stability margin of (1), where \(\widehat P(n_0)= \prod^{n_0-1}_{k=0} \widehat A(k)\), \(\widehat A(k) \in \overline A_I\) is an \(n_0\)-dominating matrix sequence. We mention that \(\overline A_I\) denotes the set of extreme matrices of elements \(a_{ij}= b_{ij}\) or \(a_{ij}= c_{ij}\), on extreme matrix \(\widehat A\in \overline A_I\) is called dominating if \(|\widehat A|\geq |A|\) for any \(A\in \overline A_I\), the symbol \(|A|\) is reserved for the corresponding modulus matrix, i.e. \(|A|= [|a_{ij} |]\), and \(\rho (\cdot)\) denotes the spectral radius. The result above is useful for improving existing stability results on time-invariant systems. The author presents an algorithmic procedure for checking stability of time-varying interval systems. The results are tested on several numerical examples. For the entire collection see [Zbl 0868.00069].