Tensor product model transformation: Difference between revisions

Content deleted Content added
Nusi15 (talk | contribs)
Definitions: | Altered journal. | Use this tool. Report bugs. | #UCB_Gadget
 
(17 intermediate revisions by 11 users not shown)
Line 1:
{{Short description|Key concept in higher-order singular value decomposition of functions}}
In mathematics, the '''[[tensor product]] (TP) model transformation''' was proposed by Baranyi and Yam
In mathematics, the '''[[tensor product]]''' ('''TP''') '''model transformation''' was proposed by Baranyi and Yam<ref name=Baranyi04>{{cite journal
|author = P. Baranyi
|title = TP model transformation as a way to LMI based controller design
Line 7:
|volume = 51
|number = 2
 
|pages = 387&ndash;400
|doi=10.1109/tie.2003.822037
|s2cid = 7957799
}}</ref><ref name="springer.com">P. Baranyi (2016). "TP-Model Transformation-Based-Control Design Frameworks". P. Baranyi: „TP-Model Transformation-Based-Control Design Frameworks”, Springer International, Publishing Switzerland,p. 258. (eBook 978-3-319-19605-3, 978-3-319-19604-6, doi: 10.1007/978-3-319-19605-3, https://www.springer.com/gp/book/9783319196046)</ref><ref name="P. Baranyi 2014, pp. 934-948">P. Baranyi: „The Generalized TP Model Transformation for TS Fuzzy Model Manipulation and Generalized Stability Verification” in IEEE Trans. on Fuzzy Systems, August 2014, Vol. 22, No. 4, pp. 934-948. (1063- 6706, doi: 10.1109/TFUZZ.2013.2278982)</ref>
}}</ref><ref name="springer.com">{{cite book |doi=10.1007/978-3-319-19605-3|title=TP-Model Transformation-Based-Control Design Frameworks|year=2016|last1=Baranyi|first1=Péter|isbn=978-3-319-19604-6}}</ref><ref name="P. Baranyi 2014, pp. 934-948">{{cite journal |doi=10.1109/TFUZZ.2013.2278982|title=The Generalized TP Model Transformation for T–S Fuzzy Model Manipulation and Generalized Stability Verification|journal=IEEE Transactions on Fuzzy Systems|volume=22|issue=4|pages=934–948|year=2014|last1=Baranyi|first1=Peter|doi-access=free}}</ref><ref name=compind>{{cite journal
<ref name=compind>{{cite journal
|authorauthor1 = P. Baranyi and D. Tikk and Y. Yam and R. J. Patton
|author2 = D. Tikk
|author3 = Y. Yam
|author4 = R. J. Patton
|title = From Differential Equations to PDC Controller Design via Numerical Transformation
|journal = Computers in Industry
|year = 2003
|volume = 51
|issue = 3
|pages = 281&ndash;297
|doi=10.1016/s0166-3615(03)00058-7
}}</ref><ref name=ykc00>{{cite journalbook
|author1=P. Baranyi, |author2=Y. Yam |author2author3=P. Várlaki
|lastauthorampname-list-style=yesamp |title = Tensor Product model transformation in polytopic model-based control
|journal publisher= Taylor & Francis, |___location=Boca Raton FL
|year = 2013
|pages = 240
|isbn = 978-1-43-981816-9
}}</ref> as key concept for [[higher -order singular value decomposition]] of functions. It transforms a function (which can be given via [[Closed-form expression|closed formulas]] or [[neural network]]s, [[fuzzy logic]], etc.) into TP function form if such a transformation is possible. If an exact transformation is not possible, then the method determines a TP function that is an approximation of the given function. Hence, the TP model transformation can provide a trade-off between approximation accuracy and complexity.<ref name=ykc01>{{cite journal
|authorauthor1 = D. Tikk, P.Baranyi, R. J. Patton
|author2 = P. Baranyi
|author3 = R. J. Patton
|title = Approximation Properties of TP Model Forms and its Consequences to TPDC Design Framework
|journal = Asian Journal of Control
Line 35 ⟶ 40:
|pages = 221–331
|doi=10.1111/j.1934-6093.2007.tb00410.x
|s2cid = 121716136
}}</ref>
 
A free [[MATLAB]] implementation of the TP model transformation can be downloaded at [https://drive.google.com/filedrive/dfolders/19NkG4m7Fwo6HXM4vVPh4srscbbq1In3S2ebT-eSbc/viewknwDqWaS4dLFarKITqjcBqq?usp=drive_link] or an old version of the toolbox is aviableavailable at [[MATLAB]] Central [http://www.mathworks.com/matlabcentral/fileexchange/25514-tp-tool]. A key underpinning of the transformation is the [[higher-order singular value decomposition]].<ref name=Lath00 />
 
Besides being a transformation of functions, the TP model transformation is also a new concept in qLPV based control which plays a central role in the providing a valuable means of bridging between identification and polytopic systems theories. The TP model transformation is uniquely effective in manipulating the convex hull of polytopic forms, and, as a result has revealed and proved the fact that convex hull manipulation is a necessary and crucial step in achieving optimal solutions and decreasing conservativeness<ref>A.Szollosi, and Baranyi, P. (2016). Influence of the Tensor Product model representation of qLPV models on the feasibility of Linear Matrix Inequality. Asian Journal of Control, 18(4), 1328-1342</ref><ref>A. Szöllősi and P. Baranyi: „Improved control performance of the 3‐DoF aeroelastic wing section: a TP model based 2D parametric control performance optimization.” in Asian Journal of Control, 19(2), 450-466. / 2017</ref><ref name="springer.com"/> in modern LMI based control theory. Thus, although it is a transformation in a mathematical sense, it has established a conceptually new direction in control theory and has laid the ground for further new approaches towards optimality. Further details on the control theoretical aspects of the TP model transformation can be found here: [[TP model transformation in control theory]].
 
The TP model transformation motivated the definition of the "HOSVD canonical form of TP functions",<ref name=canon1>{{cite bookconference
|authorauthor1 = P. Baranyi and L. Szeidl and P. Várlaki and Y. Yam
|author2 = L. Szeidl
|author3 = P. Várlaki
|author4 = Y. Yam
|title = Definition of the HOSVD-based canonical form of polytopic dynamic models
|booktitleconference = 3rd International Conference on Mechatronics (ICM 2006)
|date=July 3–5, 2006
|pages = 660–665
Line 50 ⟶ 59:
}}</ref> on which further information can be found [[HOSVD based canonical form of TP functions and qLPV models|here]]. It has been proved that the TP model transformation is capable of numerically reconstructing this [[HOSVD]] based canonical form.<ref name=canon3 /> Thus, the TP model transformation can be viewed as a numerical method to compute the [[HOSVD]] of functions, which provides exact results if the given function has a TP function structure and approximative results otherwise.
 
The TP model transformation has recently been extended in order to derive various types of convex TP functions and to manipulate them.<ref name="P. Baranyi 2014, pp. 934-948"/> This feature has led to new optimization approaches in qLPV system analysis and design, as described here:at [[TP model transformation in control theory]].
 
==Definitions==
Line 58 ⟶ 67:
 
that is, using compact tensor notation (using the [[tensor product]] operation <math>\otimes</math> of <ref name=Lath00>{{cite journal
|authorauthor1 = Lieven De Lathauwer and Bart De Moor and Joos Vandewalle
|author2 = Bart De Moor
|author3 = Joos Vandewalle
|title = A Multilinear Singular Value Decomposition
|journal = SIAM Journal on Matrix Analysis and Applications
|year = 2000
|volume = 21
Line 79 ⟶ 90:
Here <math>\mathcal{Y}=\mathcal{F}({\mathbf{x}})</math> is a tensor as <math>\mathcal{Y}\in \mathcal{R}^{L_1\times L_2\times \ldots L_O}</math>, thus the size of the core tensor is <math>\mathcal{S}\in \mathcal{R}^{I_1\times I_2\times \ldots \times I_N \times L_1\times L_2\times ... \times L_O}</math>. The product operator <math> \boxtimes </math> has the same role as <math> \otimes </math>, but expresses the fact that the tensor product is applied on the <math> L_1\times L_2\times ... \times L_O</math> sized tensor elements of the core tensor <math>\mathcal{S}</math>. Vector <math>\mathbf{x} </math> is an element of the closed hypercube <math>\Omega=[a_1,b_1]\times[a_2,b_2]\times ... \times[a_N,b_N]\subset R^N</math>.
 
;Finite element convex TP function or model: A TP function or model is convex if the wightingweighting functions hold:
 
:: <math> \forall n : \sum_{i_n=1}^{I_n} w_{n,i_n}(x_n) = 1 </math> and <math>w_{n,i_n}(x_n) \in [0,1] .</math>
Line 105 ⟶ 116:
* It generates the HOSVD-based canonical form of TP functions,<ref name=canon1 /> which is a unique representation. It was proven by Szeidl <ref name=canon3>{{cite journal
|author1=L. Szeidl |author2=P. Várlaki
|lastauthorampname-list-style=yesamp |title = HOSVD Based Canonical Form for Polytopic Models of Dynamic Systems
|journal = Journal of Advanced Computational Intelligence and Intelligent Informatics
|year = 2009
Line 111 ⟶ 122:
|number = 1
|pages = 52–60
|doi=10.20965/jaciii.2009.p0052
}}</ref> that the TP model transformation numerically reconstructs the [[HOSVD]] of functions. This form extracts the unique structure of a given TP function in the same sense as the [[HOSVD]] does for tensors and matrices, in a way such that:
|doi-access =free
}}</ref> that the TP model transformation numerically reconstructs the [[HOSVD]] of functions. This form extracts the unique structure of a given TP function in the same sense as the [[HOSVD]] does for tensors and matrices, in a way such that:
:* the number of weighting functions are minimized per dimensions (hence the size of the core tensor);
:* the weighting functions are one variable functions of the parameter vector in an orthonormed system for each parameter (singular functions);
Line 128 ⟶ 141:
 
==External links==
* [https://drive.google.com/drive/folders/1f4yZsIVv2_QLJg9o898ehzqa7j3EQ68j?usp=sharing TPtoolBoxMATLAB]
* [https://web.archive.org/web/20120229061018/http://tptool.sztaki.hu/ TP Tool – home page]
 
[[Category:Control theory]]