Tensor-Product Representation for Switched Linear Systems

This paper presents the method for the construction of tensor-product representation for multivariate switched linear systems, based on a suitable tensor-product representation of vectors and matrices. We obtain a representation theorem for multivariate switched linear systems. The stability properties of the tensor-product representation are investigated in depth, achieving the important result that any stable switched systems can be constructed into a stable tensor-product representation of finite dimension. It is shown that the tensor-product representation provides a high level framework for describing the dynamic behavior. The interpretation of expressions within the tensor-product representation framework leads to enhanced conceptual and physical understanding of switched linear systems dynamic behavior.


Introduction
Switched systems as an important class of hybrid systems [1] have drawn considerable attention in recent years.This is mainly due to the switched and hybrid nature of many physical processes and the growing use of computers in the control of physical plants [2] [3].And, many dynamical systems encountered in engineering practice exhibit switching between several subsystems that is dependent on various environmental factors, for example, sampled-data control systems [4]- [9], Markov jump systems [10]- [12], and references therein.The extensive engineering applications of switched systems are also motivated by the better performance that can be achieved using a controller switching strategy [13] [14].Currently, there is enormous growth in the literature in the study of switched systems [15]- [17].These dynamical systems combine behaviors that are typical of continuous-time dynamical systems with behaviors that are typical of discrete-time dynamical systems.Hybrid systems [1], in which continuous dynamics and discrete events coexist, are considered to be a natural modeling framework for switched systems.Thus, a switched system is a dynamical system that consists of a finite number of subsystems described by differential or difference equations and a logical rule that orchestrates switching between these subsystems [2] [15] [16] [18]- [20].
On the other hand, switched systems cannot be represented in the framework of linear operators due to the logical switching space.For multivariate systems, the relationship between the rows vectors of the matrix space and that between the column vectors might be important for finding a projection to represent the systems operator.Motivated by this idea, switched systems may be represented in the framework of multi-linear algebra.Multilinear algebra, the algebra of higher-order tensors, may be applied for analyzing the multi-factor structure of switched systems, including input space and logical switching space.Based on the considerations of multi-linear algebra, tensor-product representation is used to investigate the switched systems expression.From the theoretical point of view, this approach extended the subspace method using matrix technique to the multivariate switched systems.The multilinear algebra, the algebra of higher-order tensors (also being a multidimensional or Nway array), which are the higher-order equivalents of vectors (first order) and matrices (second order), i.e., quantities of which the elements are addressed by more than two indices, may be applied for analyzing the multifactor structure of multivariate switched systems or such class of nonlinear systems.
In this paper, we investigated the more general problem of tensor-product representations for multivariate switched linear systems.We obtain the tensor-product representation theorem for globally table or globally asymptotically stable multivariate switched linear systems which are only defined on subspaces of algebras.This generalization allows us to obtain a Hahn-Banach extension theorem for such maps, which leads to further results on the Haagerup tensor-product norm applied into more general class of nonlinear systems.The stability properties of the tensor-product representation are investigated in depth, which any stable switched system admits a stable tensor-product representation of finite dimension.It is shown that the tensor-product representation provides a high level framework for describing the dynamic behavior of switched systems.The interpretation of expressions within the tensor-product representation framework leads to enhanced conceptual and physical understanding of switched linear systems dynamic behavior.
The main contribution of this paper is to obtain a general expression of tensor-product representation for multivariate switched systems, and the tensor-product representation is conceptually simple and relatively easy to express on the Haagerup tensor-product norm for multivariate switched systems.We focus on the correspondence between completely bounded multilinear maps and completely bounded linear maps on tensor products endowed with the Haagerup norm [21]- [23].An abstract characterization of operator systems allows us to embed these tensor product spaces into C * -algebras, after which the techniques developed in [24] lead to the extension and representation theorem.The idea of matrix multiplication spread from the definition of a completely bounded multilinear operator to the Haagerup tensor product and matricial operator spaces has implemented, see [25] [26] for a detailed discussion of completely bounded linear operators, and [22] [27] for the multilinear case.And more details can be founded in related review paper [28].
The rest of this work is organized as follows.Section 2 contains the preliminaries on the tensor-product of vectors and matrices and the basic algebraic tools are provided.Section 3 gives the problem formulation for multivariate switched linear systems expression and its relation with bilinear algebra expression.In Section 4, the tensor-product representation for multivariate switched linear systems are investigated, and the stability properties of the tensor-product representation based on the proposed methods are also investigated, which is followed by concluding conclusion in Section 5.
Notations: The notations throughout this paper are standard.R n denotes the n dimensional Euclidean space.R n×m is the set of all n × m real matrices.G denotes the systems function.I is the identity matrix with appropriate dimensions, , ⋅ ⋅ is the inner product, and h ⋅ is the Haagerup norm.The symbol ⊕ denotes the direct sum of vectors or spaces, as well as  and ⊗ denote the matching elementwise Kronecker product and Kronecker product, respectively.And, tensors are written as calligraphic letters ( ) , ,   .

Preliminaries
In this section, we give some necessary preliminaries on the tensor-product of vectors and matrices, mainly concerning with basic algebraic tools on definitions and the correspondence between completely bounded bilinear maps and completely bounded linear maps on Haagerup tensor products norm, which will be used in this paper.And, the C * -algebraic technique is used to investigate the tensor-product representation of multivariate switched linear systems.
Let A and B denote unital C * algebras and E and F will denote subspaces.E * and F * will denote the subspaces consisting of the adjoints of elements in E and F, respectively.The Haagerup norm on the algebraic tensor product ⊗ E F is defined as follows, { } where the infimum is taken over all possible representations F is a matrix normed space in the sense of the re- ference [29].Let

( )
n M A denote the C * -algebra of n × n matrices over the field of complex numbers.If V is a vector space then the space M + V with x and y in the diagonal blocks (in that order) and zero in the off-diagonal blocks.
Definition 1 [30] Let It is valuable to note that if L is a matrix of scalars, then ( ) ( )  .If X and Y are matrix normed spaces then we define the Haagerup matrix norm on ⊗ X Y by setting for where the infimum is taken over all such expressions for U with k A in ( ) Proposition 1 [28] Let ( ) , n ⋅ V be a matricial normed space.Then V is completely isometrically isomorphic to a matricial operator space if and only if . Any bilinear map ( ) where the ( ) , r s entry of ( ) ( ) ( ) It is easiest to visualize this as formal matrix multiplication of ( ) ij e and ( ) ij f .If sup n n V is finite then we say that V is completely bounded and cb V will denote this supremum.These definitions were first given in [27].

Problem Formulation
We consider a collection of discrete-time linear systems described by the equations with parametric uncertainties of process transfer functions and disturbance transfer functions with a class of piecewise constant functions, : S σ + → R , which serves as the switching signal between the collection of discrete-time systems (6) given as ( ) ( ) where R is a family of discrete pro- cess transfer functions that is parametrized by some index set S, q t a ∈ R is the Gaussian distributed external disturbance that is a zero mean white noise satisfying, { } where ρ is a positive defi- nite diagonal matrix, ( ) R is a family of disturbance transfer functions that also is parametrized by some index set S. And σ denotes the switching signal taking value from the finite index set , and s represents the integer of the all finite switched subsystems of switched systems and S is the set of positive integers.Furthermore, the switching signal is assumed to be generated by where : m S δ →

R
. In other words, the discrete mode is determined by a form of static output feedback, and the parametric uncertainty is assumed to be piecewise constant time-varying.The logical switching signal σ may be determined by the systems output signals.
It is assumed that the multivariate switched linear systems is globally table or globally asymptotically stable.This assumption essentially is to guarantee the entire switched systems are completely bounded, which is the very key condition for our study here.For this assumption, an interesting question is: under what conditions it is possible to transform the switched linear system in ( 6) into descriptive multilinear systems framework and further develop the tensor-product representation theorem.It is also desirable that the tensor-product representation property should promote efficiently numerical computation with respect to the multidimensional time series data analysis for estimating the controller performance of multivariate switched linear systems.The main goal of this paper is to obtain a necessary and sufficient condition for the existence of tensor-product representation for (6) based on such multilinear algebra framework.The problem can be formulated as follows.
Problem 1 Given the switched linear system described in (6), derive necessary and sufficient conditions for tensor-product representation of systems operators, which show that the algebraic structure of switched linear systems can abstractly represented in tensor space.
In order to let the developed results focus on the tensor-product representation framework of multivariate switched linear systems in this paper, we consider the simplified systems description form with neglecting the effects of disturbances a t in the following, ( ) Then, we can obtain the switched linear systems operator G σ , and the equivalent bilinear expression V is given as where U and Y represent the inputs space and outputs space of subsystems, respectively, and the L represents the logical switching space.And the logic switching signals function δ in ( 7) can be expressed as : T → Y L (10) where T denotes the logical operators with the same meaning in (7).From the expression (10), we can see that there exists a map from the switched linear systems outputs to the switching signals.Obviously, the expression (9) exactly describes the map of multivariate switched linear systems from bilinear algebra framework.The systems operator description in (8) can be interpreted as dynamical systems behavior in the physical processes, and the equivalent bilinear form in ( 9) is expressed from the point of view of algebra structure, which is suitable for the technical development of tensor-product representation approach for controller performance measure of multivariate switched linear systems or such more complex class of multivariate nonlinear systems.

Tensor-Product Representations
In this section, we discuss the tensor-product representation of multivariate switched linear systems from the point of view of systems operator by employing the theory of multilinear algebra.We first give a representation theorem for complete bounded linear operator on h ⊗ E F .Theorem 3 [22] If ( ) E F B H is completely bounded then there exist representations ( ) ρ → B B H , isometries :  : where is a completely bounded bilinear map then there exist representations ( ) ρ → B B H , and contractions : : Proof.Combine Proposition 2 with Theorem 3, the result is followed.Now, we focus on studying the tensor-product representation of completely bounded bilinear operators from Let f and g be linear functional from A into ( ) B H and B into ( ) B H , respectively.We define a linear function ( ) Then we can define a linear operator ( ) For a linear operator ( The linear operator F is completely bounded if and only if each ij f is a completely bounded linear functional on A B H be a completely bounded linear operator and G = F * .For all ( ) ) , , ) B B H be the linear oper- ators.If the linear operators F and G are completely bounded, then the corresponding linear operator Proof.First of all, we define completely bounded maps ( ) .
For completely bounded operators, from Theorem 3 we can obtain , , .
And more details can be found in Theorem 4. If F and G are completely bounded, we have where ( ) Proof.By Proposition 2, φ is completely bounded, and so we may apply Theorem 3. The result now follows by setting ( ) B H are bounded then there is a linear map ( ) This map need not be bounded unless both φ and ψ are completely bounded.
Consider the simplified form of multivariate switched linear systems described in (9), we give the result of the representation theorem as in the following.
Theorem 4 Consider the multivariate switched systems described in (9), the associated linear map is completely bounded if and only if there are completely bounded linear functionals 1 2 , , , ( ) ( ) The proof can be found in the Appendix.Remark 1 There can be no extension theorem for general bilinear maps.If P is another completely bounded linear operator from Suppose that ( ) ( ) , we may assume that 1 0 f ≠ and 1 0 g ≠ .Then there is an element , .
If we let ( ) ( ) , then we get ( ) ( ) , then 1 λ = .Proposition 5 Consider multivariate switched linear systems described in (9) and (10) with the associated linear map:  ) ( ) ( ) where , u l ∈ ∈ U L. Proof.Applying Theorem 3, the result is followed.From the expressions (11) in Theorem 3 and (23) in Proposition 5, it is shown that the bilinear systems and switched linear systems are the same with the linear systems representation form.However, from (7) of the switched linear systems description in previous section, it can be found that systems outputs determine the logical switching signals described in (10), which shows the contraction T in Proposition 5 is determined in the operator itself (or switched linear systems itself).Furthermore, the logical functions outputs values are the logical values 0 or 1, so the logical functions outputs values are determined for the entire dynamical systems, of course, for the active subsystem, the logical value is 1.More details will be shown in the proof of Theorem 7.
Theorem 6 [22] Let H be a fixed infinite dimensional separable Hilbert space.The norm in ( ) where the supremum is taken over all complete contractions ( ) Consider multivariate switched linear systems described in (9) and (10).Let ( ) ( ) U Y be the linear functional and ( ) ( ) L L be the logical functional.Then, if the linear functional F is completely bounded and the logical functional G is nonzero projection with completely bounded.In this case, we have Proof.Applying Theorem 6, the result is followed.A necessary and sufficient conditions for tensor-product representation of multivariate switched linear systems can now be presented, under the assumption that the open or closed-loop switched linear systems is globally stable or globally asymptotically stable.
Theorem 7 Consider multivariate switched linear systems described in (9) and (10), the tensor-product representation ( ) ( ) ( ) ( ) the linear function ( ) ( ) Y is completely bounded, and The proof can be found in the Appendix.
It is noted that the F in Theorem 4 is defined to be taken over all representations for the linear operators, but the F in Theorem 7 is defined to be taken over all representations of the subsystems operators for multivariate switched linear systems.This difference naturally lead to the different tensor-product representations for the general bilinear systems and the multivariate switched linear systems, and the n in M n can be interpreted as the integer of the all finite switched subsystems of multivariate switched linear systems.More details can be found in the Examples 1 and 2.
Remark 2 Theorem 7 mainly considers the logic switching space, which exactly describes the tensor-product algebra representation for multivariate switched linear systems, which can extend into the scenario of the timevarying disturbance dynamics.And Theorem 4 just considers the tensor-product algebra representation structure for general bilinear systems operators, which can also extend into more general class of multivariate linear systems in Theorem 10 in this paper.In addition, Theorem 4 shows the tensor-product representation structure for general bilinear operator and Theorem 7 shows the tensor-product representation structure for multivariate switched linear systems in the framework of bilinear algebra.Furthermore, multivariate switched linear systems essentially can be interpreted as the special class of general bilinear operator with logical linear operator substituting the general linear operators.
Next, we give an example (including operator description and unfolding form) of tensor-product representation for multivariate switched linear systems from the perspective of the structured systems models subject to the explicitly bounded disturbance which guarantees the entire systems are completely bounded.
Example 1 Let the k-th subsystem transfer function k σ G be given as For the dynamical systems, the tensor-product representation for the operator systems can be obtained as where 1, the logical switching space is [ ] For the entire switched linear systems, the tensor-product representation for the operator systems is given as where Here, we assume that each subsystem just performs only once for the entire dynamical systems.Consequently, the tensor-product representation for the input space can be obtained as U L  and the corresponding output space is Y L  . Intuitively, the systems description can be interpreted as considering a linear combination of the linear operators of the original switched linear system that evolves in an asymptotically stable manner in a subspace.The tensor-product representation algebra system evolves in a higher dimensional space to which the original system can be projected under the stability condition of the entire multivariate switched linear systems.From Example 1, we can see that the multivariate switched dynamical systems can be expressed in the form of tensor-product extending the matrix description of multivariate linear systems.

Remark 3
For the entire switched linear systems, the tensor-product representation φ can be interpreted as the linear systems form expressed as F G  .Therefore, under the stability conditions of the systems, the con- trol systems performance measure is attainable.It is shown that the multivariate switched linear systems can be transformed into the linear systems expression form via tensor-product representation technique, which is convenient to develop the controller performance assessment methods for such class of nonlinear systems. : be multi-linear maps and let φ be its associated linear map, then the cb cb V φ = .Proof.The proof follows that of Proposition 2.

A
, and let ( ) be completely bounded multilinear map.Then there exist Hilbert spaces , 1 The construction of efficient representations to multivariate functions and related operators plays a crucial role in the numerical analysis of higher dimensional problems arising in a wide range of modern applications.We generalize our results in Theorem 4 to the k-linear operators.
Theorem 10 : , , , The i-th linear operator F i is completely bounded with The proof can be found in the Appendix.Remark 4 It is difficult to describe the multivariate nonlinear systems in practical industrial applications.The analytic methods developed in [31] [32] for tensor-product approximations to multidimensional integral operators play an important role in the nonlinear control systems performance assessment.For the case of collocation schemes it focuses on the construction of tensor decompositions which are exponentially convergent in the separation rank.Separable approximation of functions and tensors can be derived by using a corresponding separable expansion of the generating function, including a separable approximation of multivariate functions, and the tensor-product approximation of some analytic matrix-valued functions.In practical applications, the general error estimation should mainly consider in the tensor-product approximations for multivariate switched linear systems.In the near future, we will apply analytically-based representation methods, which are efficient for a special class of function-related operators/tensors.The key observation is that there is a natural duality between separable approximation of the multivariate generating function and the tensor-product decomposition of the related multidimensional array which is suitable for geometric quantization for control systems performance assessment. is attained.Proof.From the Theorem 9 and Theorem 10, the results is followed.Next, we extend the multivariate switched linear systems to the case of time varying disturbance scenario.We also assume that disturbance dynamics are piecewise linear time varying.This type of time varying disturbances are reflected as different output trajectories in different subprocess, each subprocess having the same linear time invariant disturbance models.In other words, it is assumed that the disturbance models are the same within each subprocess, and it is required that the switching sequence of disturbance models is also the same within each subprocess.We will give the tensor-product algebraic representation from the point of view of operator theory in the following.
Theorem 11 Consider multivariate switched linear systems described in (9) and (10) with time varying disturbance dynamics, the tensor-product representation From the Lemma 4 and Theorem 9, the results is followed.Now, we will give an example of tensor-product representation for multivariate switched linear systems with time-varying disturbance dynamics.The representation results is constructive for practical industrial process systems modeling framework.
Example 2 A possible tensor expression of system (6) can be described for all the K MIMO subsystems in the tensor-product representation form.And, the j-th disturbance transfer function j δ H is given as For the dynamical systems, the tensor-product representation for the operator systems can be obtained as where 1, , and the disturbance logic switching space is 0 0 For the entire switched systems, the tensor-product representation for the operator systems is given as and the disturbance switching sequence Here, we assume that each subsystem just performs only once for the entire dynamical systems.Consequently, the tensor-product representation for the input space can be obtained as U L D   and the corresponding output space is Y L D   .The tensor space expres- sion form for multivariate switched linear systems with time-varying disturbance dynamics is given as , , , is the three-order tensor, and ∈ R  are the four-order tensors.

Conclusion
A new tensor-product representation for describing the dynamic behavior of switched linear systems has been presented.The tensor-product representation makes it easy to see the relationship between abstractly algebraic expressions that propagate spatial quantities from subsystem-to-subsystem. dynamic equations arising from a hybrid systems analysis, can be reinterpreted as equivalent operator-formulated equations.This algebra expression can model the behavior of the switched linear systems by the use of a tensor-product representation, which shows that the algebraic structure can simplify switched linear systems expression.The proposed technique is well suited for real and complex systems, and is capable of providing the tensor-product representation of the class of stable nonlinear system.Furthermore, the interpretation of expressions within the tensor-product representation framework can be enhanced conceptual and physical understanding of switched linear systems, or more general of multivariate nonlinear systems, dynamic behavior expression.
where ( ) ( )   π U H is a dense subspace of H , there is a unique norm preserving linear extension of f  from ( ) 1

V
π U H to the whole Hilbert space

A.3. Proof of Theorem 10
Proof.We first consider the case 3 n = .By Proposition 1, 2 3 h ⊗ E E is completely isometrically isomorphic to a subspace F of some C * -algebra φ.The linear map ( ) ρ ϕ → B H isometries ( ) ( ) From Lemma 2, we can obtain .When 3 n > , the results can be directly derived as the same line of this idea.
and a contraction H, if the open or closed-loop switched linear systems is globally stable or globally asymptotically stable, then there exist representations and a contraction : T → Y L such that on elementary tensors

(
still denoted by f  .It is shown that F G φ = the sufficiency proof. completely bounded, which corresponds to a trilinear map V from Proposition 2. We identify is completely bounded.Thus, by the bilinear case there exist Hilbert spaces ( ) Applying the representation theorem 4 for completely bounded bilinear maps to the map ψ and substituting this expression into the formula for Hence φ is completely bounded with Then φ is completely bounded if and only if there are com- pletely bounded linear functionals 1 2 is globally stable or globally asymptotically stable if and only if there are completely bounded linear functionals , it follows that f  and g  are well-defined and we have