D Cheng,
H Qi - IEEE Transactions on Automatic Control, 2010 - ieeexplore.ieee.org
A new matrix product, called semi-tensor product of matrices, is reviewed. Using it, a matrix
expression of logic is proposed, where a logical variable is expressed as a vector, a logical …