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

Jingjing Wang, Xiaoguang Han, Zengqiang Chen, Qing Zhang. Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices. Future Generation Comp. Syst., 83:468-475, 2018. [doi]

Abstract

Abstract is missing.