Partition-Based Solutions of Static Logical Networks With Applications.

Qiao, Yupeng; Qi, Hongsheng; Cheng, Daizhan · IEEE Trans Neural Netw Learn Syst · 2018

basic_science · Level V

Where this comes from

Abstract

Given a static logical network, partition-based solutions are investigated. Easily verifiable necessary and sufficient conditions are obtained, and the corresponding formulas are presented to provide all types of the partition-based solutions. Then, the results are extended to mix-valued logical networks. Finally, two applications are presented: 1) an implicit function (IF) theorem of logical equations, which provides necessary and sufficient condition for the existence of IF and 2) converting the difference-algebraic network into a standard difference network.