标题:Bi-decomposition of multi-valued logical functions and its applications
作者:Daizhan Cheng;Xiangru Xu
作者机构:[Cheng, D] School of Control Science and Engineering, Shandong University, Jinan 250061, China, Academy of Mathematics and Systems Science, Chinese Ac 更多
通讯作者地址:[Cheng, DZ]Shandong Univ, Sch Control Sci & Engn, Jinan 250061, Peoples R China.
来源:Automatica
出版年:2013
卷:49
期:7
页码:1979-1985
DOI:10.1016/j.automatica.2013.03.013
关键词:Multi-valued logical function;Bi-decomposition;Implicit function theorem;Dynamic-algebraic Boolean network;Semi-tensor product of matrices
摘要:The bi-decomposition of multi-valued logical (MVL) functions, including disjoint and non-disjoint cases, is considered. Using a semi-tensor product, an MVL function can be expressed in its algebraic form. Based on this form, straightforward verifiable necessary and sufficient conditions are provided for each case, respectively. The constructive proofs also lead to constructing corresponding decompositions. Using these results, the implicit function theorem (IFT) of k-valued functions, as a special bi-decomposition, is obtained. Finally, as an application, the normalization of dynamic-algebraic (D-A) Boolean networks is investigated using IFT of k-valued functions.
收录类别:EI;SCOPUS;SCIE
WOS核心被引频次:26
Scopus被引频次:32
资源类型:期刊论文
原文链接:https://www.scopus.com/inward/record.uri?eid=2-s2.0-84878884479&doi=10.1016%2fj.automatica.2013.03.013&partnerID=40&md5=fbf80a175e2e0d237bdf4565151dcfe1
TOP