Boolean asynchronous systems vs. Daizhan Cheng's theory

Boolean asynchronous systems vs. Daizhan Cheng's theory, Acta et Commentationes, Exact and Natural Sciences, nr. 2(12), pp. 132-142, 2021

download

Mathematical Subject Classification (2010): 94C10, 06E30, 95C05

Keywords and phrases : Boolean function, Boolean asynchronous system, structure matrix, semi-tensor product, theory of Daizhan Cheng

The theory of Daizhan Cheng replaces B={0,1} with D={(1,0)^T,(0,1)^T}, and Boolean functions with logical matrices. Interesting and very important algebraical opportunities result, which can be used in systems theory. Our purpose is to give a hint on the theory of Cheng and its application to asynchronicity.