Results 241 to 250 of about 74,615 (275)
Some of the next articles are maybe not open access.
Asian Journal of Control, 2018
AbstractIn this paper, we present a comprehensive modeling technique for bounded Petri net systems (BPNSs) in the framework of the semi‐tensor product (STP) of matrices. The two dynamic properties of BPNSs, namely, reachability and controllability, are investigated systematacially.
Xiaoguang Han +4 more
openaire +1 more source
AbstractIn this paper, we present a comprehensive modeling technique for bounded Petri net systems (BPNSs) in the framework of the semi‐tensor product (STP) of matrices. The two dynamic properties of BPNSs, namely, reachability and controllability, are investigated systematacially.
Xiaoguang Han +4 more
openaire +1 more source
An Introduction to Semi-Tensor Product of Matrices and Its Applications
2011Multi-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
Semi-tensor product of matrices and its application to Morgen’s problem
Science in China Series F Information Sciences, 2001This paper proposes a new matrix product, namely, semi-tensor product. It is a generalization of the conventional matrix product. Meanwhile, it is also closely related to Kronecker (tensor) product of matrices. The purpose of introducing this product is twofold: (i) treat multi-dimensional data; (ii) treat nonlinear problems in a linear way.
openaire +1 more source
From semi-tensor product of matrices to logical control systems
SCIENTIA SINICA Mathematica, 2016The logical control system theory (LCST) based on semi-tensor product (STP) of matrices has become a new direction in control field. The purpose of this paper is to give a comprehensive introduction to the logical control system, from the basic mathematical tools and analysis methods to the main results.
openaire +1 more source
Modeling and analysis of colored petri net based on the semi-tensor product of matrices
Science China Information Sciences, 2017This 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 +2 more
openaire +1 more source
Modeling and reachability analysis of a class of Petri nets via semi-tensor product of matrices
2015 34th Chinese Control Conference (CCC), 2015This paper investigates the matrix expression of state equation and reachability of a class of Petri nets (PNs) by using the semi-tensor product of matrices (STP). First, we get the formula for the number of states of the PNs based on the combinatorial mathematics method. The states and transitions of the PNs are expressed as vector forms, respectively,
Han Xiaoguang +4 more
openaire +1 more source
2017 36th Chinese Control Conference (CCC), 2017
This paper investigates the leader-follower consensus problem of multi-agent systems with time-delay over finite fields by using the semi-tensor product of matrices. Firstly, the dynamics of leader-follower multi-agent systems with time-delay is converted into an equivalent algebraic form.
Li Yalu, Li Haitao, Ding Xueying
openaire +1 more source
This paper investigates the leader-follower consensus problem of multi-agent systems with time-delay over finite fields by using the semi-tensor product of matrices. Firstly, the dynamics of leader-follower multi-agent systems with time-delay is converted into an equivalent algebraic form.
Li Yalu, Li Haitao, Ding Xueying
openaire +1 more source
Future Generation Computer Systems, 2018
Abstract This paper investigates the model matching problem of input/output asynchronous sequential machines (ASMs) based on the semi-tensor product (STP) of matrices. The controller of the model matching problem is separated to an observer B and a control unit F .
Jingjing Wang +3 more
openaire +1 more source
Abstract This paper investigates the model matching problem of input/output asynchronous sequential machines (ASMs) based on the semi-tensor product (STP) of matrices. The controller of the model matching problem is separated to an observer B and a control unit F .
Jingjing Wang +3 more
openaire +1 more source
Frontiers of Computer Science, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yan, Yongyi +2 more
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yan, Yongyi +2 more
openaire +1 more source
SCIENTIA SINICA Informationis, 2016
In this paper, we investigate the problems of stability and stabilization for bounded Petri net systems (BPNSs) by using the semi-tensor product (STP) of matrices. First, a new matrix equation, under the framework of Boolean algebra, is established, and is based on our previous results presented on the marking evolution equation of BPNSs. This equation
Xiaoguang HAN +3 more
openaire +1 more source
In this paper, we investigate the problems of stability and stabilization for bounded Petri net systems (BPNSs) by using the semi-tensor product (STP) of matrices. First, a new matrix equation, under the framework of Boolean algebra, is established, and is based on our previous results presented on the marking evolution equation of BPNSs. This equation
Xiaoguang HAN +3 more
openaire +1 more source