Previous Article in Journal
Machine Learning-Based Cardiac Arrest Prediction for Early Warning System

Article

# The Dual Characterization of Structured and Skewed Structured Singular Values

by 1,2,†, 3,4,†, 6,* and
1
Department of Mathematics, Akfa University, Tashkent 111221, Uzbekistan
2
Department of Mathematics, Sukkur IBA University, Sukkur 65200, Pakistan
3
Deparment of Mathematics and General Sciences, Prince Sultan University, Riyadh 11586, Saudi Arabia
4
Department of Industrial Engineering, OSTİM Technical University, 06374 Ankara, Turkey
5
Department of Applied Mathematics, Arab American University, Jenin 44862, Palestine
6
Research Group of Theoretical and Computation in Applied Science, Department of Mathematics, Faculty of Science, Burapha University, Chonburi 20131, Thailand
7
Department of Statistics, Faculty of Science, Ramkhamhaeng University, Bangkok 10240, Thailand
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2022, 10(12), 2050; https://doi.org/10.3390/math10122050
Received: 15 April 2022 / Revised: 15 May 2022 / Accepted: 6 June 2022 / Published: 13 June 2022
(This article belongs to the Special Issue Modeling and Simulation in Engineering II)

## Abstract

The structured singular values and skewed structured singular values are the well-known mathematical quantities and bridge the gap between linear algebra and system theory. It is well-known fact that an exact computation of these quantities is NP-hard. The NP-hard nature of structured singular values and skewed structured singular values allow us to provide an estimations of lower and upper bounds which guarantee the stability and instability of feedback systems in control. In this paper, we present new results on the dual characterization of structured singular values and skewed structured singular values. The results on the estimation of upper bounds for these two quantities are also computed.

## 1. Introduction

The structured singular value (SSV) was first introduced by J. C. Doyel [1] and Safonov [2] as a mathematical tool, which is widely used to investigate the robustness, performance and stability of linear feedback systems in control. In control system analysis, the problem associated with the determination of stability and robustness in the presence of uncertainties is among the most fundamental issue in control and it has attracted a reasonable amount of researchers in the last three decades. Much of the research work has been done in robustness analysis for two different class of problems from system theory which involves the uncertainties. For this purpose, two different kinds of approaches has been developed.
One of the approach is based upon the frequency-based robust stability conditions in the form of the small gain condition. The small gain condition is most useful for analyzing those problems from system theory which are associated with the norm bounded unstructured or complex structured uncertainties. An example of such an approach is based upon the structured singular values introduced in [1,3].
An another approach is largely inspired by Kharitonov work [4]. The main aim of the work by Kharitonov is to determine the stability robustness with a finite number of conditions. This approach also aims to study the problems in control when real parametric uncertainties consisting of real-valued uncertain parameters are involved, for a more details see, e.g., [5,6,7].
In principle, both types of methodologies can be modified to deal with real and complex parametric uncertainties. Indeed, the early developments in structured singular values deals with the uncertainties which are only pure complex. However, the extensions have been made so that the real-valued uncertainties can also be considered [8,9]. The Kharitonov type approaches deal with the $μ$-value problems while considering the real-valued uncertainties [10,11,12].
The exact computation of SSV is impenetrable which makes it NP-hard [13]. The NP-hard nature of SSV broach to foster methods for approximation of its lower and upper bounds. However, the SSV lower bounds are computed using the generalization of power method [14,15]. Moreover, the balanced AMI technique developed by [16] is the utilization of bounds introduced by [17] and is particularized in a preeminent style in [16]. The given matrix, under consideration, is first balanced while imploging a variation of Osborne’s [18] generalized to crank the repeated real/complex scalars and the number of full blocks. Further, Perron approach is a determination for balancing the given matrix. The Perron eigenvector methodology is established on the idea apt by Safonov [2].
The D-Scaling upper bound presented in [1] is the most extensively used paper for the approximation of the upper bound of structured singular values. The D-Scaling for complex structures acquiring full complex blocks is close to the original SSV. For more details, we suggest the reader to consult [19] and the reference therein. Meanwhile, for non-trivial complex structures, the D-Scaling upper bound turns out to be more flexible [1,19].
The SSV theory for mixed real/complex cases is an extension of SSV that acquiesce the structure to consist of real and complex parts. The computation of upper bounds for the mixed SSV presented by [17] is also known as $( D , q )$-Scaling upper bound of skewed structured singular values $ν$, and is quite apart from actual mixed SSV [20].
The investigation for the non-fragile asynchronous $H ∞$ control while considering the stochastic memory systems with Bernoulli distribution has been recently studied by [21]. An efficient algorithm for the computation of budget allocation procedure for the selection of top candidate solution for objective performance measure has been extensively studied by [22].
In this article, we give an analytical treatment for the dual characterization of structured singular values and skewed structured singular values. We present some new results for the computation of an upper bounds of these quantities.
The rest of the paper is organized as: In Section 2, we provide the preliminaries of our article. In particular, we give the Definitions of the block diagonal structure, structured singular values and skewed structured singular values for a set of block diagonal matrices and subset of positive definite matrices. In Section 3, we present new results on the computation of the dual characterization of structured singular values and skewed structured singular values. The computation of upper bounds of skewed structured singular values are also presented in Section 3 of our article. Finally, Section 4 is about the conclusion of our presented work.

## 2. Preliminaries

Before we proceed, we give some essential definitions that will act as prerequisites for the subsequent results.
Definition 1
([23]). The set of block diagonal matrices X is defined as
$X : = d i a g ( α i I i ; β j I j ; C t ) : α i ∈ R , β j ∈ C , C t ∈ C m t × m t ,$
where $α i I i$, $β j I j$, and $C t$ denote the number of repeated real scalar blocks with different sizes for all $i = 1 , ⋯ , r$, the number of complex scalar blocks with different sizes for all $j = 1 , ⋯ , c$ and the number of full complex blocks with different sizes for all $t = 1 , ⋯ , k$, respectively.
Definition 2
([1]). For a given n-dimensional complex valued matrix $M ∈ C n × n ,$ the structured singular value with respect to X is defined as
$μ X ( M ) : = 0 , i f d e t ( I − M Δ ) ≠ 0 , ∀ Δ ∈ X 1 m i n Δ { ∥ Δ ∥ 2 : Δ ∈ X , d e t ( I − M Δ ) = 0 } , e l s e .$
The matrix valued function Δ is an uncertainty that occurs in the linear feedback system.
Definition 3
([23]). The sets $D X$ and $G X$
$D X : = d i a g ( P 1 , … , P r ; P 1 , … , P c ; P 1 , … , P t )$
and
$G X : = d i a g ( H 1 , … , H r ; O 1 , … , O c ; O 1 , … , O t$
contains positive definite matrices $P i$ for all $i = 1 , ⋯ , r$, $P j$ for all $j = 1 , ⋯ , c$ and $P t$ for all $t = 1 , ⋯ , k$ and Hermitian matrices $H i$ for all $i = 1 , ⋯ , r$, and repeated null complex scalar blocks $O j$ for all $j = 1 , ⋯ , c$ and number of null full complex blocks $O t$ for all $t = 1 , ⋯ , k$, respectively.
Definition 4
([23]). For a given n dimensional complex valued square matrix $M ∈ C n × n$ and $β ∈ R$, the matrix-value function $f β ( D , G )$ is defined as
$f β ( D , G ) : = M H D M + i ( G M − M H G ) − β 2 D ,$
where matrices $D , G$ belongs to $D X$ and $G X$, receptively.
Definition 5
([23]). The upper bound of $μ X ( M )$ is denoted by $ν X ( M )$ and is defined as
$ν X ( M ) : = i n f β > 0 β : ∃ D ∈ D X and G ∈ G X s . t . f β ( D , G ) < 0 .$
Let $M ∈ C m × n$ be a given matrix and $( m r , m c , m C )$ represent an m-tuples of positive integers and let
$K = ( k 1 , … , k m r , k m r + 1 , … , k m r + m c , k m r + m c + 1 , … , k m C ) ,$
where $∑ i = 1 m k i = n$.
Definition 6
([23]). The set of block diagonal matrices is defined as
$X K : = Δ = d i a g δ 1 I 1 , … , δ r I r , δ 1 I 1 , … , δ c I c , Δ 1 , … , Δ t .$
In Definition 6, $δ i ∈ R ∀ i = 1 , ⋯ , r , δ j ∈ C ∀ j = 1 , ⋯ , c , Δ t ∈ C t × t ∀ t = 1 , ⋯ , k .$ The set $X K$ is pure real if $δ j = 0$ and pure complex if $δ i = 0$, otherwise it is with mixed real and complex block perturbation. For $Δ t ∈ C t × t$, the set $X K$ turns out to be a set of full complex blocks perturbation.
Definition 7
([1]). For given matrix $M ∈ C m × n$ and $X K$, the structured singular value; denoted by $μ X K ( M )$ and is defined as
$μ X K ( M ) : = 0 , i f d e t ( I − M Δ ) ≠ 0 , Δ ∈ X K 1 m i n Δ ∈ X K { ∥ Δ ∥ 2 : d e t ( I − M Δ ) = 0 } , e l s e ,$
where $∥ Δ ∥ 2$ denotes the largest singular value of Δ.
Definition 8
([23]). The set $Y K$ of block diagonal structure is defined as
$Y K : Δ ν = d i a g δ 1 I 1 , … , δ r I r , δ 1 I 1 , … , δ c I c ; δ 1 I 1 , … , δ c I c ; Δ 1 , … , Δ t .$
In Definition 8, $δ i ∈ R ∀ i = 1 , ⋯ , r , δ j ∈ C ∀ j = 1 , ⋯ , c , Δ t ∈ C t × t ∀ t = 1 , ⋯ , k .$
Definition 9
([23]). The secondary set $Z K ^$ of block diagonal structure is defined as
$Z K ^ : Δ ν = d i a g δ 1 I 1 , … , δ r I r , δ 1 I 1 , … , δ c I c ; Δ 1 , … , Δ t .$
In Definition 9, $δ i ∈ R ∀ i = 1 , ⋯ , r , δ j ∈ C ∀ j = 1 , ⋯ , c , Δ t ∈ C t × t ∀ t = 1 , ⋯ , k .$
Definition 10
([23]). The set $Z K$ is restricted to the unit ball and is defined as
$B Z Z ^ = Δ f ∈ Z K ^ : ∥ Δ f ∥ 2 ≤ 1 .$
Definition 11
([23]). The block structure $W K , K ^$ is defined as
$W K , K ^ = Δ = d i a g ( Δ f , Δ ν ) ,$
or
$Δ = Δ f 0 0 Δ ν .$
Definition 12
([23]). For given matrix $M ∈ C m × n$ and $Z K ^$, the skewed structured singular value is denoted by $μ Z K ^ ( M )$ and is defined as
$μ Z K ^ ( M ) : = 0 , i f d e t ( I − M Δ ) ≠ 0 , Δ ∈ W K , K ^ 1 m i n Δ ∈ W K , K ^ { ∥ Δ ν ∥ 2 : d e t ( I − M Δ ) = 0 } , e l s e .$

## 3. The Main Results

In the section, we present some new results on the computation of structured singular values and skewed structured singular value.

#### 3.1. Dual Characterization of $μ X ( M )$ and $ν X ( M )$

We give a dual characterization of $μ X ( M )$ and $ν X ( M )$. The characterization is the dual in the sense that they act as an application for duality argument in convex sets. The following result given by Boyed [24] is considered as a standard result for the separation of the hyper-planes.
Lemma 1
([24]). Let $P ( E ) ∈ C m × m$ and P depends affinely on $E ∈ C n × n .$ Let γ be the some convex subset of $C n × n .$ Then, there exists no $E ∈ γ$ such that the Hermitian part of $P ( E )$ becomes negative, that is,
$H e ( P ( E ) ) < 0$
if and only if there is some non-zero matrix W, that is, $W = W H$ and is non-negative such that
$R e T r W P ( E ) ≥ 0 .$
We make use of the following assumptions to prove our main result for dual characterization of $ν X ( M )$.
Assumption 1.
The matrix $E ∈ C n × n$ in $D X + G X$ is Hermitian, that is $E = E H .$
Assumption 2.
The matrices $( M − β I ) , ( M H + β I )$ are Hermitian, that is,
$( M − β I ) = ( M + β I ) H$
and
$( M H + β I ) = ( M H + β I ) H .$
Theorem 1.
(Dual Characterization of $ν x ( M )$). Let $M ∈ C n × n$ and X be the set of block diagonal matrices, as defined above. The quantity $β ∈ R$ is lower bound of an upper bound of $μ X ( M )$
$β ≤ ν X ( M ) ⇔ ∃ W = W H ≥ 0$
such that
$η i [ ( M − β I ) W ( M H + β I ) E ] ≥ 0 , ∀ E ∈ D X + i G X .$
Proof.
The matrices $( M − β I ) , ( M H + β I ) , W$ and E are Hermitian. The unitary diagonalization of the matrix $( ( M − β I ) W ( M H + β I ) E )$ implies that
$( M − β I ) W ( M H + β I ) E = Q Λ Q *$
or
$Λ = d i a g ( λ 1 , … , λ z , λ z + 1 , … , λ n ) = Q * ( ( M − β I ) W ( M H + β I ) E ) Q$
We construct matrices $M 0 , M +$, which pack $λ 1 , ⋯$, $λ z$ as zero eigen-values and $λ z + 1 , ⋯$, $λ n$ as strictly positive eigen-values.
$M 0 = 1 0 ⋱ 0 1 ∈ C n z × n z ,$
and
$M + = 1 λ z + 1 1 / 2 0 ⋱ 0 1 λ n 1 / 2 ∈ C n p × n p ,$
and then assemble all eigen-values into matrix $B$ as
$B = M 0 0 0 M + .$
A simple calculation shows that
$( Q B ) * ( ( M − β I ) W ( M H + β I ) E ) ( Q B ) = B * Λ B = O z 0 0 I p .$
In Equation (8), $O z$ and $I p$ are of dimensions $n z$ and $n p$.
Suppose that there exists an Hermitian matrix $H ^$, which is a similar matrix to $( ( M − β I ) W ( M H + β I ) E )$ such that
$Q ( M − β I ) W ( M H + β I ) E , B ( M − β I ) W ( M H + β I ) E = ( M − β I ) W ( M H + β I ) E ,$
and
$Q H ^ , B H ^ = H ^ .$
In a similar manner,
$( Q ( M − β I ) W ( M H + β I ) E B ( M − β I ) W ( M H + β I ) E ) * [ ( M − β I ) W ( M H + β I ) E ] ( Q ( M − β I ) W ( M H + β I ) E B ( M − β I ) W ( M H + β I ) E ) = O z 0 0 I p = ( Q H ^ B H ^ ) * H ^ ( Q H ^ B H ^ ) .$
In turn, the quantity $( M − β I ) W ( M H + β I ) E$ implies that,
$( Q ( M − β I ) W ( M H + β I ) E B ( M − β I ) W ( M H + β I ) E ) − 1 = ( Q H ^ B H ^ ) * H ^ ( Q H ^ B H ^ ) ( Q H ^ B H ^ ) − 1 .$
Thus, finally we obtain the following expression for the quantity $( M − β I ) W ( M H + β I ) E ,$ that is,
$( M − β I ) W ( M H + β I ) E = T V .$
Here the matrix $T = ( Q H ^ B H ^ B ( M − β I ) W ( M H + β I ) E − 1 Q ( M − β I ) W ( M H + β I ) E − 1 ) *$, and the matrix $V = H ^ ( Q H ^ B H ^ B ( M − β I ) W ( M H + β I ) E − 1 Q ( M − β I ) W ( M H + β I ) E − 1 ) .$ The result in above equation implies the existence of some invertible matrix Z such that
$( M − β I ) W ( M H + β I ) E = Z * H ^ Z .$
Reduce $( M − β I ) W ( M H + β I ) E$ and $H ^$ to the form of Equation (8) as:
$( Υ Ω ) * ( ( M − β I ) W ( M H + β I ) E ) ( Υ Ω ) = O z 0 0 I p ,$
where $Υ = Q ( M − β I ) W ( M H + β I ) E$ and $Ω = B ( M − β I ) W ( M H + β I ) E$ and hence, we have that,
$( Q H ^ B H ^ ) * H ^ ( Q H ^ B H ^ ) = O z ^ 0 0 I p ^ .$
Next, we intend to show that $z = z ^$ and $p = p ^$. However, since, $( M − β I ) W ( M H + β I ) E = Z * H ^ Z$ and from Equation (12), we get
$( Z Υ Ω ) * H ^ ( Z Υ Ω ) = O z 0 0 I p .$
Equations (12) and (13) have two similar transformations for $H ^$. We write these as
$Y * H ^ Y = O z 0 0 I p ; Y ^ * H ^ Y ^ = O z ^ 0 0 I p ^$
where matrices Y and $Y ^ *$ are invertible. We show $z = z ^$ and skip to show $p = p ^$ to avoid redundancy in working rules.
Let
$W = N ( Y * H ^ Y ) , dim ( W ) = z .$
Take $w ∈ W$, then we get $Y * H ^ Y w = 0$. As the matrix Y is invertible, so $Y * H ^ w = 0$. For $Y ^ − 1 Y w ∈ Y ^ − 1 Y W$, then we have
$Y ^ * H ^ Y ^ x = Y ^ * H ^ Y ^ w .$
Furthermore, $Y ^ − 1 Y W ⊂ N ( Y ^ * H ^ Y )$ and by making use of the fact that Y and $Y ^$ are invertible,
$z ^ = d i m ( N ( Y ^ * B Y ) ) ≥ d i m ( Y ^ − 1 Y W ) = d i m ( W ) = d i m ( N ( Y * H ^ Y ) ) = z .$
Finally, by switching the roles of $Y * H ^ Y$ and $( Y ^ * H ^ Y ^ )$, it follows that $z ≥ z *$, so, $z = z * .$
Assumption 3.
For $t ∈ C n × 1 ,$ the matrix $t t H = W$ with $W = W H ≥ 0 .$
Theorem 2.
(Dual Characterization of $μ X ( M )$). Let X be any set of block diagonal matrices as defined in (8). Then, $μ X ( M ) ≥ β$ if and only if there exists $t ∈ C n × 1$ such that
$R e t r [ ( M − β I ) t t H ( M H + α I ) E ] ≥ 0 , ∀ E ∈ D x + i G x .$
Proof.
The proof is similar to that of Theorem 1 by making use of Assumption 3. □
Theorem 3.
For $W ∈ C m × n , W = W H ≥ 0$ there exists $B ≥ 0$ s.t. $W 1 / 2 = B .$
Proof.
The proof is followed from spectral decomposition Theorem. Indeed, we do have $W = Q D Q *$ with $Q Q * = I = Q * Q$ and
$D = d i a g ( λ 1 , λ 2 , … , λ n ) , ∀ i = 1 , ⋯ , n .$
For all $i ∈ [ 1 , ⋯ , n ] , λ i ( W ) ≥ 0 .$ Set $B : = Q D ˜ Q *$ with $D ˜ = d i a g ( λ 1 1 / 2 , λ 2 1 / 2 , … , λ n 1 / 2 ) .$ In turn, this implies that
$W 1 / 2 = B , o r , B 2 = W .$
The proof is done. □
Lemma 2.
If $M ∈ C m × n$ has rank one, then $μ X ( M ) = ν X ( M )$.
Proof.
It is sufficient to show $ν X ( M ) ≥ β$ implies that $μ X ( M ) ≥ β$ for $β ∈ [ 0 , ∞ )$. For this purpose, consider that $ν x ( M ) ≥ β$, then from Theorem 3.1, there is a nonzero non-negative definite matrix W such that $W = W H ≥ 0$, which satisfies matrix inequality
$( M − β I ) W ( M H + β I ) E ≥ 0 , ∀ E ∈ D X + i G X .$
Next, we pick the largest rank-1 piece of M, that is, $σ 1 u 1 θ 1 H$
$M = u 1 σ 1 0 0 0 θ 1 H , σ 1 > 0 , u 1 , θ 1 ∈ C n × 1$
Factorize W as
$W = t t H + W ^ .$
In Equation (15), $W ^$ is chosen such that $W ^ θ 1 = 0 , W ^ = W ^ H ≥ 0 , t ∈ C n × 1$. If $B θ 1 = 0 ,$ then $W = W ^$ for $t = 0$. The PSD-matrix B is defined in Theorem 3. If $B θ 1 ≠ 0 ,$ then take $t = 1 ( θ 1 H W θ 1 ) 1 / 2 W θ 1 , W ^ = W − 1 ( θ 1 H W θ 1 ) 1 / 2 W θ 1 θ 1 H W .$ This shows that
$( M − β I ) t t H ( M H + β I ) = ( σ 1 u 1 θ 1 H − β I ) ( W − W ^ ) ( θ 1 u 1 H + β I ) = ( M − β I ) W ( M H + β I ) + β 2 W ^ .$
Since, by Theorem 3, we have that
$( M − β I ) W ( M H + β I ) E ≥ 0 , ∀ E ∈ D X + i G X ,$
then so does
$( M − β I ) t t H ( M H + β I ) E$
as the factor $β 2 W ^$ is non-negative. □

#### 3.2. Computing Upper Bound of Skewed Structured Singular Value

In this section, we present some new results on the computation of the upper bounds of structured singular values, that is, $μ s ( · )$.
Theorem 4.
For a given matrix $M ∈ C m × n$ and block diagonal structure
$S = I f 0 0 ν I ν .$
The inequality holds true, that is, $μ s ( M s ( ν ) ) ≤ σ 1 ( M s ( ν ) )$ with
$M s ( ν ) : = S − 1 M = M 11 M 12 1 ν M 21 1 ν M 22 .$
Proof.
For given matrix $M ∈ C m × n ,$ there exists unitary matrices $U ∈ C m × n , V ∈ C m × n$ such that
$M = U σ 1 0 0 T V H .$
Take $σ 1$ and $θ 1 ∈ C n × 1$ such that $σ 1 = ∥ M θ 1 ∥ 2 = ∥ M ∥ 2$ and $∥ θ 1 ∥ 2 = 1$. Let $u 1 = M θ 1 σ 1$, then $∥ u 1 ∥ 2 = ∥ M θ 1 ∥ 2 σ 1 = ∥ M θ 1 ∥ 2 ∥ M ∥ 2 = 1 .$ Take $U 2 ∈ C m × m − 1 , V 2 ∈ C n × n − 1$ so that, U and V become $U = ( u 1 | U 2 )$ and $V = ( v 1 | V 2 )$ with $U , V$ being unitary matrices. Then, the product of matrices $U H M V$ takes the form as:
$( u 1 | U 2 ) M ( v 1 | V 2 ) = u 1 H M θ 1 u 1 H M V 2 U 2 M θ 1 U 2 H M V 2 = σ 1 u 1 H u 1 u 1 H M V 2 σ 1 U 2 H u 1 U 2 H M V 2 = σ 1 w H 0 B ,$
with $u 1 H u 1 = 1 , U 2 H u 1 = 0 , w = V 2 H M H u 1$, and $B = U 2 H M V 2$.
By taking $w = 0$, we have that
$σ 1 2 = ∥ M ∥ 2 2 = ∥ U H M V ∥ 2 2 = m a x x ≠ 0 ∥ U H M V x ∥ 2 2 ∥ x ∥ 2 2 = m a x x ≠ 0 ∥ σ 1 u H 0 B x ∥ 2 2 ∥ x ∥ 2 2 .$
Replace $x ⟶ w ,$ we get
$σ 1 2 ≥ ( σ 1 2 + w H w ) 2 ( σ 1 2 + w H w ) = σ 1 2 + w H w .$
In turn, this implies that $w = 0$ and
$U H M V = σ 1 0 0 B or M = U σ 1 0 0 B V H .$
To see the fact that $μ s ( M s ) ≤ σ 1 ( M s )$, we have
$M s ( ν ) : = S − 1 M = M 11 M 12 1 ν M 21 1 ν M 22$
The largest singular value $σ 1 ( M s )$ depends upon $ν$. Furthermore,
$I M s ( ν ) M s H ( ν ) I > 0 ⟺ I − M s ( ν ) I − 1 M s H ( ν ) ≥ 0 .$
It follows that
$λ i ( I − M s ( ν ) M s H ( ν ) ) ≥ 0 , ∀ i$
or
$1 − λ i ( M s ( ν ) M s H ( ν ) ) ≥ 0 , ∀ i$
or
$λ i ( M s ( ν ) M s H ( ν ) ) ≤ 1 , ∀ i .$
Finally, we have
$σ 1 ( M s ( ν ) ) ≤ 1 .$
The proof is done. □

## 4. Conclusions

We have introduced some new results for upper bounds of structured singular values and skewed structured singular values along with their dual characterizations. The characterization is defined in the sense that they act as an application for some duality argument in the given convex sets. The accomplished results on the dual characterization of structured and skewed structured singular values can be used to obtain the new direction for the computation of lower bounds of both of these quantities. The numerical treatment on the dual characterization of both structured and skewed structured singular values is our future work. The interested researchers may use this opportunity to carry out their research while making use of this contribution.

## Author Contributions

Conceptualization, M.-U.R., J.A. and T.A.; methodology, M.-U.R., J.A. and T.A.; software, M.-U.R., J.A. and T.A.; validation, M.-U.R., J.A. and T.A.; formal analysis, M.-U.R., J.A., T.A., J.K. and W.S.; investigation, M.-U.R., J.A. and T.A.; resources, M.-U.R., J.A. and T.A.; data curation, M.-U.R., J.A. and T.A.; writing—original draft preparation, M.-U.R., J.A. and T.A.; writing—review and editing, M.-U.R., J.A., T.A., J.K. and W.S.; visualization, M.-U.R., J.A. and T.A.; supervision, J.A.; project administration, M.-U.R., J.A. and T.A.; funding acquisition, J.K. and J.A. All authors have read and agreed to the published version of the manuscript.

## Funding

This work was financially supported by the Faculty of Science, Burapha University, Thailand (Grant no. SC06/2564).

Not applicable.

Not applicable.

Not applicable.

## Acknowledgments

Alzabut is thankful and grateful to Prince Sultan University and OSTİM Technical University for their endless support. J. Kongson would like to gratefully acknowledge Burapha University and the Center of Excellence in Mathematics (CEM), CHE, Sri Ayutthaya Rd., Bangkok, 10400, Thailand, for supporting this research.

## Conflicts of Interest

The authors have stated that they have no competing interest.

## References

1. Doyle, J. Analysis of feedback systems with structured uncertainties. IEE Proc. D-Control Theory Appl. 1982, 129, 242–250. [Google Scholar] [CrossRef]
2. Safonov, M.G. Stability margins of diagonally perturbed multivariable feedback systems. IEE Proc. D (Control Theory Appl.) 1982, 129, 251–256. [Google Scholar] [CrossRef]
3. Hinrichsen, D.; Pritchard, A.J. Real and complex stability radii: A survey. In Control of Uncertain Systems; Birkhäuser: Basel, Switzerland, 1990; pp. 119–162. [Google Scholar]
4. Kharitonov, V.L. Asymptotic stability of an equilibrium position of a family of systems of linear differential equations. Differ. Uraveniya 1978, 14, 1483–1485. [Google Scholar]
5. Barmish, B.R. New tools for robustness analysis. In Proceedings of the 27th IEEE Conference on Decision Control, Austin, TX, USA, 7–9 December 1988. [Google Scholar]
6. Polls, M.P.; Olbrot, W.; Fu, M. An overview of recent results on the parametric approach to robust stability. In Proceedings of the 28th IEEE Conference on Decision Control, Tampa, FL, USA, 13–15 December 1989. [Google Scholar]
7. Siljak, D.D. Parameter space methods for robust control design: A guided tour. IEEE Trans. Autom. Control 1989, 34, 674–688. [Google Scholar] [CrossRef]
8. de Gaston, R.R.E.; Safonov, M.G. Exact calculation of the multiloop stability margin. IEEE Trans. Autom. Control 1988, 33, 156–171. [Google Scholar] [CrossRef]
9. Fan, M.K.H.; Tits, A.L.; Doyle, J.C. Robustness in the presence of mixed parametric uncertainty and unmodeled dynamics. IEEE Trans. Autom. Control 1991, 36, 25–38. [Google Scholar] [CrossRef]
10. Barmish, B.R.; Khargonekar, P.P. Robust stability of feedback control systems with uncertain parameters and unmodeled dynamics. Math. Control Signals Syst. 1990, 3, 197–210. [Google Scholar] [CrossRef]
11. Chapellat, H.; Dahleh, M.; Bhattacharyya, S.P. Robust stability under structured and unstructured perturbations. IEEE Trans. Autom. Control 1990, 35, 1100–1108. [Google Scholar] [CrossRef]
12. Hollot, C.V.; Looze, D.P.; Bartlett, A.C. Unmodeled dynamics: Performance and stability via parameter space methods. In Proceedings of the 26th IEEE Conference on Decision and Control, Los Angeles, CA, USA, 9–11 December 1987. [Google Scholar]
13. Braatz, R.P.; Young, P.M.; Doyle, J.C.; Morari, M. Computational complexity of μ calculation. IEEE Trans. Autom. Control 1994, 39, 1000–1002. [Google Scholar] [CrossRef]
14. Packard, A.; Fan, M.K.; Doyle, J.C. A Power Method for the Structured Singular Value; 1988. [Google Scholar]
15. Young, P.M.; Doyle, J.C. Computation of mu with real and complex uncertainties. In Proceedings of the 29th IEEE Conference on Decision and Control, Honolulu, HI, USA, 5–7 December 1990; pp. 1230–1235. [Google Scholar]
16. Young, P.M.; Newlin, M.P.; Doyle, J.C. Practical computation of the mixed μ problem. In Proceedings of the 1992 American Control Conference, Chicago, IL, USA, 24–26 June 1992. [Google Scholar]
17. Fan, M.K.; Tits, A.L.; Doyle, J.C. Robustness in the presence of joint parametric uncertainty and unmodeled dynamics. In Proceedings of the 1988 American Control Conference, Atlanta, GA, USA, 15–17 June 1988. [Google Scholar]
18. Osborne, E.E. On pre-conditioning of matrices. J. ACM (JACM) 1960, 7, 338–345. [Google Scholar] [CrossRef]
19. Packard, A.; Doyle, J. The complex structured singular value. Automatica 1993, 29, 71–109. [Google Scholar] [CrossRef]
20. Young, P.M.; Newlin, M.P.; Doyle, J.C. Let’s get real. In Robust Control Theory; Springer: New York, NY, USA, 1995; pp. 143–173. [Google Scholar]
21. Luo, J.; Tian, W.; Zhong, S.; Shi, K.; Chen, H.; Gu, X.M.; Wang, W. Non-fragile asynchronous H control for uncertain stochastic memory systems with Bernoulli distribution. Appl. Math. Comput. 2017, 312, 109–128. [Google Scholar] [CrossRef]
22. Kou, G.; Xiao, H.; Cao, M.; Lee, L.H. Optimal computing budget allocation for the vector evaluated genetic algorithm in multi-objective simulation optimization. Automatica 2021, 129, 109599. [Google Scholar] [CrossRef]
23. Meinsma, G.; Shrivastava, Y.; Fu, M. A dual formulation of mixed/spl mu/and on the losslessness of (D, G) scaling. IEEE Trans. Autom. Control 1997, 42, 1032–1036. [Google Scholar] [CrossRef]
24. Boyd, S.; El Ghaoui, L.; Feron, E.; Balakrishnan, V. Linear Matrix Inequalities in System and Control Theory; SIAMIn: Philadelphia, PA, USA, 1994. [Google Scholar]
 Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.