Open AccessCalculating skeleton matrix of asynchronous sequential machines based on the semi‐tensor product of matrices
Author(s) -
Wang Jingjing,
Han Xiaoguang,
Chen Zengqiang,
Zhang Qing
Publication year - 2017
Publication title -
iet control theory and applications
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.059
H-Index - 108
eISSN - 1751-8652
pISSN - 1751-8644
DOI - 10.1049/iet-cta.2016.1668
Subject(s) - skeleton (computer programming) , matrix (chemical analysis) , mathematics , tensor product , algebra over a field , algebraic expression , tensor (intrinsic definition) , reachability , algebraic number , pure mathematics , algorithm , computer science , mathematical analysis , materials science , composite material , programming language
In this study, the problem of calculating the skeleton matrix for asynchronous sequential machine (ASMs) is addressed in the framework of the semi‐tensor product (STP) of matrices. By applying the STP of matrices and Boolean algebra, a new algebraic expression of ASMs is deduced. By utilising the algebraic expression, the skeleton matrix of ASMs can be easily derived, then the notion of generalised skeleton matrix is further defined for the ASMs with infinite cycles or critical races, and an algorithm of calculating the generalised skeleton matrix is also proposed. For the model matching problem of input/output ASMs, a novel approach is proposed to calculate reachability indictor and generalised fused skeleton matrix. Two examples are presented to illustrate the effectiveness of the proposed results.