Results 261 to 270 of about 173,664,564 (290)

Matrix approach to simplification of finite state machines using semi‐tensor product of matrices

Asian Journal of Control, 2019
AbstractIn this paper, we use a new mathematical tool, semi‐tensor product of matrices, to investigate the problem of simplification of finite state machines (FSMs) in a mathematical manner. First, based on the dynamic equations of state transition and output behavior which are developed recently, an algebraic criterion of k‐difference states is ...
Jumei Yue, Yongyi Yan, Zengqiang Chen
openaire   +1 more source

Modeling, Reachability and Controllability of Bounded Petri Nets Based on Semi‐Tensor Product of Matrices

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, Zengqiang Chen, Kuize Zhang, Zhongxin Liu, Qing Zhang   +4 more
openaire   +2 more sources

Semi-Tensor Product of Matrices Approach to the Problem of Fault Detection for Discrete Event Systems (DESs)

IEEE Transactions on Circuits and Systems II: Express Briefs, 2020
This brief focuses on presenting a state-based matrix approach to the problem of fault detection for discrete event systems (DESs). Firstly, the given system is modeled as a finite state machine and converted into algebraic structure with the help of semi-tensor product of matrices. Assuming that the faults influence only the state transition and can’t
Zengqiang Chen 0001, Yingrui Zhou, Zhipeng Zhang, Zhongxin Liu 0001   +3 more
openaire   +1 more source

Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition

Frontiers of Computer Science, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yongyi Yan, Zengqiang Chen 0001, Zhongxin Liu 0001   +2 more
openaire   +2 more sources

Verification analysis of self-verifying automata via semi-tensor product of matrices

The Journal of China Universities of Posts and Telecommunications, 2014
Abstract The semi-tensor product (STP) of matrices was used in the article, as a new matrix analysis tool, to investigate the problem of verification of self-verifying automata (SVA). SVA is a special variant of finite automata which is essential to nondeterministic communication with a limited number of advice bits.
Yong-yi YAN, Zeng-qiang CHEN, Zhong-xin LIU   +2 more
openaire   +1 more source

Calculating basis siphons of Petri nets based on semi-tensor product of matrices

2016 35th Chinese Control Conference (CCC), 2016
In this paper, we address the problem of calculating basis siphons in Petri nets (PNs) by resorting to the semi-tensor product (STP) of matrices. The proposed appraoch is based on our previous results on the calculation of siphons and minimal siphons in PNs, whose key notion is that of the siphon equation (SE) of PNs.
Xiaoguang Han, Zengqiang Chen, Zhongxin Liu, Qing Zhang   +3 more
openaire   +1 more source

Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices

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, Xiaoguang Han 0002, Zengqiang Chen 0001, Qing Zhang 0005   +3 more
openaire   +2 more sources

From semi-tensor product of matrices to logical control systems

SCIENTIA SINICA Mathematica, 2016
The 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 reachability analysis of a class of Petri nets via semi-tensor product of matrices

2015 34th Chinese Control Conference (CCC), 2015
This 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, Chen Zengqiang, Zhang Kuize, Liu Zhongxin, Zhang Qing   +4 more
openaire   +1 more source

Solving type-2 fuzzy relation equations via semi-tensor product of matrices

Control Theory and Technology, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yan, Yongyi, Chen, Zengqiang, Liu, Zhongxin   +2 more
openaire   +1 more source