Conversion between Logic and Algebraic Expressions of Boolean Control Networks
Source abstract
Abstract
The conversion between logic and algebraic expressions of Boolean control networks plays a worthy role in the analysis and design of digital circuits. In this paper, for a single Boolean function, a direct conversion between the minterm canonical form and the structure matrix is provided. For a Boolean control network consisting of systems of Boolean functions, two algorithms are developed to achieve the mutual conversion between the logic and algebraic expressions. The presented algorithms decrease exponentially the complexity of the semi-tensor product based method. Some numerical examples are given to demonstrate the algorithms and to compare our method with the existing ones.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Embedded Systems Design Techniques · Gene Regulatory Network Analysis · Radiation Effects in Electronics
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
School of Automation, Beijing Institute of Technology, Beijing 100081, China
School of Artificial Intelligence, Hebei University of Technology, Tianjin 300130, China
Funding
National Natural Science Foundation of China · China Postdoctoral Science Foundation
References (29)
Show source-provided references
1. Metabolic stability and epigenesis in randomly constructed genetic nets10.1016/0022-5193(69)90015-0 ↗
2. A VLSI majority-logic device based on spin transfer torque mechanism for brain-inspired computing architecture10.1109/TVLSI.2020.2997369 ↗
3. Karnaugh maps of logical systems and applications in digital circuit design10.1007/s00034-019-01214-x ↗
4. Design and synthesis of improved reversible circuits using AIG- and MIG-based graph data structures10.1049/iet-cdt.2017.0097 ↗
5. Digital circuit design utilizing equation solving over ‘big’ Boolean algebras
6. Roth, C.H., and Kinney, L.L. (2010). Fundamentals of Logic Design, CENGAGE Learning.
7. Schneeweiss, W.G. (1989). Boolean Functions with Engineering Applications and Computer Programs, Springer-Verlag.10.1007/978-3-642-45638-1 ↗
8. Boolean differential calculus10.1007/978-3-031-79892-4 ↗
9. Importance analysis by logical differential calculus10.1134/S000511791302001X ↗
10. A short Boolean derivation of mean failure frequency for any (also non-coherent) system10.1016/j.ress.2008.12.001 ↗
11. A linear representation of dynamics of Boolean networks10.1109/TAC.2010.2043294 ↗
12. A tutorial exposition of semi-tensor products of matrices with a stress on their representation of Boolean functions
13. Observability, reconstructibility and state observers of Boolean control networks10.1109/TAC.2012.2231592 ↗
14. Observability of Boolean networks: A graph-theoretic approach10.1016/j.automatica.2013.04.038 ↗
15. Controllability of Boolean control networks via the Perron-Frobenius theory10.1016/j.automatica.2012.03.022 ↗
16. Controllability and observability of Boolean control networks10.1016/j.automatica.2009.03.006 ↗
17. Guo, Y., Shen, Y., and Gui, W. (2020). Asymptotical stability of logic dynamical systems with random impulsive disturbances. IEEE Trans. Autom.10.1109/TAC.2020.2985302 ↗
18. Feedback stabilization control design for switched Boolean control networks10.1016/j.automatica.2020.108934 ↗
19. Design of probabilistic Boolean networks based on network structure and steady- state probabilities10.1109/TNNLS.2016.2572063 ↗
20. The influence of canalization on the robustness of Boolean networks10.1016/j.physd.2017.05.002 ↗
21. Output feedback stabilization of Boolean control networks10.1016/j.automatica.2015.03.032 ↗
22. On the periodic trajectories of Boolean control networks10.1016/j.automatica.2013.02.027 ↗
23. Optimal control of Boolean control networks10.1109/TAC.2013.2294821 ↗
24. Minimum-time control of Boolean networks10.1137/110844660 ↗
25. Identifying a probabilistic Boolean threshold network from samples10.1109/TNNLS.2017.2648039 ↗
26. Sarda, K., Yerudkar, A., and Del Vecchio, C. (2020). Disturbance decoupling control design for Boolean control networks: A Boolean algebra approach. IET Control. Theory Appl.10.1049/iet-cta.2019.1144 ↗
27. Sarda, K., Yerudkar, A., Del Vecchio, C., Glielmo, L., and Singh, N. (2019, January 1–4). Subspace and coordinate transformation for Boolean control networks using binary logic. Proceedings of the 27th Mediterranean Conference on Control and Automation (MED), Akko, Israel.10.1109/MED.2019.8798562 ↗
28. Solutions to some functional equations and their applications to characterization of probability distributions
29. Cheng, D., and Qi, H. (2005, January 12–15). Matrix expression of logic and fuzzy control. Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain.