Results 251 to 260 of about 173,664,564 (290)

Updated formulas for semi-tensor product of matrices

2017 36th Chinese Control Conference (CCC), 2017
Some main formulas about semi-tensor product (STP) of matrices are presented in their mostly updated forms. The formulas consist of (i) fundamental formulas about STP; (ii) swap and permutation related formulas; (iii) formulas for the application of STP to logical systems; (iv) the relationship of STP with Kronecker products; (v) formulas for the ...
Yaqi Hao, Xiao Zhang, Daizhan Cheng
openaire   +1 more source

Matching Algorithms of Minimum Input Selection for Structural Controllability Based on Semi-Tensor Product of Matrices

Journal of Systems Science and Complexity, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Naqi Fan, Lijun Zhang 0004, Shenggui Zhang, Jiuqiang Liu   +3 more
openaire   +1 more source

Semi-tensor Product of Matrices

2011
This chapter provides a basic introduction to the semi-tensor product of matrices. We will emphasize concepts, geometric interpretations, and some fundamental properties. All proofs are omitted as we refer to Cheng and Qi (Semi-tensor Product of Matrices—Theory and Applications, Science Press, Beijing, 2007) for them.
Daizhan Cheng, Hongsheng Qi, Zhiqiang Li
openaire   +1 more source

Solving quaternion linear system $$AXB=E$$ based on semi-tensor product of quaternion matrices

Banach Journal of Mathematical Analysis, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fan, Xueling, Li, Ying, Sun, Jianhua, Zhao, Jianli   +3 more
openaire   +2 more sources

Modelling combined automata via semi-tensor product of matrices

Proceedings of the 33rd Chinese Control Conference, 2014
Using semi-tensor product of matrices (STP), a new matrix analysis tool, this paper investigates the problem of modelling combined automata, which are constructed in three ways: parallel, serial and feedback. By representing the states, input and output symbols in vector forms, the transition and output functions are expressed as algebraic equations of
Yongyi Yan, Zengqiang Chen, Zhongxin Liu
openaire   +1 more source

Algebraic method of simplifying Boolean networks using semi‐tensor product of Matrices

Asian Journal of Control, 2019
AbstractThe huge state space of large Boolean networks makes analysis and synthesis difficult. This paper, using a new matrix analysis tool called semi‐tensor product of matrices, to explain a simplification method of Boolean networks in a mathematical manner. The idea consists of two steps.
Yongyi Yan, Jumei Yue, Zengqiang Chen
openaire   +2 more sources

Modeling and analysis of colored petri net based on the semi-tensor product of matrices

Science China Information Sciences, 2017
This paper applies the model petri net method based on the semi-tensor product of matrices to colored petri net. Firstly, we establish the marking evolution equation for colored petri net by using the semi-tensor product of matrices. Then we define the concept of controllability and the control-marking adjacency matrix for colored petri net.
Jiantao Zhao, Zengqiang Chen 0001, Zhongxin Liu 0001   +2 more
openaire   +2 more sources

An Introduction to Semi-Tensor Product of Matrices and Its Applications

2011
Multi-Dimensional Data Semi-Tensor Product of Matrices Multilinear Mappings Among Vector Spaces Right and General Semi-Tensor Products Rank, Pseudo-Inverse, and Positivity of STP Matrix Expression of Logic Mix-Valued Logic Logical Matrix, Fuzzy Set and Fuzzy Logic Fuzzy Relational Equation Fuzzy Control with Coupled Fuzzy Relations Boolean Function ...
Daizhan Cheng, Hongsheng Qi, Yin Zhao
openaire   +1 more source

Language acceptability of finite automata based on theory of semi‐tensor product of matrices

Asian Journal of Control, 2019
AbstractUsing the theories of many‐valued logic and semi‐tensor product of matrices (STP), this paper investigates how to mathematically determine whether or not a regular language is recognized by finite automata (FA). To this end, the dynamic behaviour of FA is first formulated as bilinear dynamic equations, which provides a uniform model for ...
Jumei Yue, Yongyi Yan, Zengqiang Chen
openaire   +1 more source

Observability analysis of combined finite automata based upon semi-tensor product of matrices approach

Transactions of the Institute of Measurement and Control, 2020
As a fundamental subject, the state estimation of deterministic finite automata has received considerable attention. Especially, it is increasingly necessary to study various problems based on more complex systems. In this paper, the observability of three kinds of combining automata, structured in parallel, serial and feedback manners, are ...
Zengqiang Chen 0001, Yingrui Zhou, Zhipeng Zhang, Zhongxin Liu 0001   +3 more
openaire   +2 more sources