Books about P-functions and Boolean Matrix Factorization

Books about P-Functions and Boolean Matrix Factorization

Proposes a generalization of Conventional Matrix Product (CMP), called the Semi-Tensor Product (STP). This book offers a comprehensive introduction to the theory of STP and its various applications, including logical function, fuzzy control, Boolean networks, analysis and control of nonlinear systems, amongst others.

Books about Mathematical Methods of Specification and Synthesis of Software Systems '85

From the reviews: "..., the book must be of great help for a researcher who already has some idea of Lie theory, wants to employ it in his everyday research and/or teaching, and needs a source for customary reference on the subject. From my viewpoint, the volume is perfectly fit