title: Partition-Based Solutions of Static Logical Networks With Applications.
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.
authors.forename: Yupeng
authors.initials: Y
authors.lastname: Qiao
authors.forename: Hongsheng
authors.initials: H
authors.lastname: Qi
authors.forename: Daizhan
authors.initials: D
authors.lastname: Cheng