Simplification of logical functions with application to circuits
From MaRDI portal
Publication:2700268
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
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