Simplification of logical functions with application to circuits

DOI10.3934/era.2022168MaRDI QIDQ2700268

Rong Zhao, Yanjun Cui, Jun-E. Feng

Publication date: 20 April 2023

Published in: Electronic Research Archive (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3934/era.2022168

zbMATH Keywords

circuits; logical functions; simplification; semi-tensor product

Mathematics Subject Classification ID

94C30: Applications of design theory to circuits and networks

15A69: Multilinear algebra, tensor calculus

15B99: Special matrices

Cites Work

• Output feedback stabilization of Boolean control networks
• Controllability and observability of Boolean control networks
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Optimal control of Boolean control networks with average cost: a policy iteration approach
• Feedback stabilization control design for switched Boolean control networks
• On adequate sets of multi-valued logic
• Set controllability of Markov jump switching Boolean control networks and its applications
• On detectability of Boolean control networks
• The set stabilization problem for Markovian jump Boolean control networks: an average optimal control approach
• Observability of Boolean networks via matrix equations
• Semi-tensor Product of Matrices and its Applications to Dynamic Systems
• Stabilization of Boolean Control Networks Under Aperiodic Sampled-Data Control
• A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks
• Bisimulations of Boolean Control Networks
• Stability and Stabilization of Boolean Networks with Stochastic Delays
• A Necessary and Sufficient Graphic Condition for the Original Disturbance Decoupling of Boolean Networks
• Minimum-Time and Minimum-Triggering Observability of Stochastic Boolean Networks
• Identification of predictors of Boolean networks from observed attractor states