摘要
In this brief, we first study the normalization of dynamic-algebraic Boolean networks (DABNs). A new expression for the normalized DABNs is obtained. As applications of this result, the solvability and uniqueness of the solution to DABNs are then investigated. Necessary and sufficient conditions for the solvability and the uniqueness are obtained. In addition, pinning control to ensure the solvability and uniqueness of the solution to DABNs is also studied. Numerical examples are given to illustrate the efficiency of the proposed results.