MathAggregation of Finite-Valued Networks Based on Bisimulation
1 Backgrounds The finite-valued networks are important models in complex system engineering. These systems are characterized as multi-agent dynamics with nodes taking values in finite sets endowed with operators. The study of finite-valued functions and systems can be traced back to finite automata [6], encryption-decryption in cryptography [1], and Boolean networks in theoretical biology […] 1 Backgrounds The finite-valued networks are important models in complex system engineering. These systems are characterized as multi-agent dynamics with nodes taking values in finite sets endowed with operators. The study of finite-valued functions and systems can be traced back to finite automata [6], encryption-decryption in cryptography [1], and Boolean networks in theoretical biology […]
