Abstract:Many discrete models of biological networks rely exclusively on Boolean variables and many tools and theorems are available for analysis of strictly Boolean models. However, multilevel variables are often required to account for threshold effects, in which knowledge of the Boolean case does not generalise straightforwardly. This motivated the development of conversion methods for multilevel to Boolean models. In particular, Van Ham's method has been shown to yield a one-to-one, neighbour and regulation preserving dynamics, making it the de facto standard approach to the problem. However, Van Ham's method has several drawbacks: most notably, it introduces vast regions of "non-admissible" states that have no counterpart in the multilevel, original model. This raises special difficulties for the analysis of interaction between variables and circuit functionality, which is believed to be central to the understanding of dynamic properties of logical models. Here, we propose a new multilevel to Boolean conversion method, with software implementation. Contrary to Van Ham's, our method doesn't yield a one-to-one transposition of multilevel trajectories, however, it maps each and every Boolean state to a specific multilevel state, thus getting rid of the non-admissible regions and, at the expense of (apparently) more complicated, "parallel" trajectories. One of the prominent features of our method is that it preserves dynamics and interaction of variables in a certain manner. As a demonstration of the usability of our method, we apply it to construct a new Boolean counter-example to the well-known conjecture that a local negative circuit is necessary to generate sustained oscillations. This result illustrates the general relevance of our method for the study of multilevel logical models.

Applications of Combined Karnaugh Map in Analysis of Logic Circuits

Applications of Combined Karnaugh Map in Design of Sequential Logic Circuits

Multivalued Logic and Fuzzy Logic--Their Relationship, Minimization, and Application to Fault Diagnosis

Normalized Cascade Structures And Logic Control

Combinational Equivalence Checking Based on Circuit Topology Analysis

Karnaugh Map Method for Memristive and Spintronic Asymmetric Basis Logic Functions

A New Method of Circuit Reduction Based on Logic State of Transistor

Reliability Analysis of a Multi-State Truly-Threshold System Using a Multi-Valued Karnaugh Map

Graphic method of detecting special logic function with arbitrary term

HIGH-SPEED ECL CIRCUIT FOR LOOKING UP FUZZY CONTROL TABLE BASED ON MULTIVALUED LOGIC

Study of a Circle Map Circuit and Its Symbolic Dynamics

Electro-Optical Logic Application Of Multimode Interference Coupler By Multivalued Controlling

A Novel Logic Detection Algorithm for Logic Circuits

Method for simplifying logic functions

Implementing Boolean Functions with switching lattice networks

Easily Cascaded Memristor-CMOS Hybrid Circuit for High-Efficiency Boolean Logic Implementation

Possibility Of Combined Use Of Neuron-Mos And Rtd In Multi-Valued Logic Circuits

The use of elements of negative logic in the construction of an energy-efficient combinational device

Latch mapping algorithm for equivalence checking

Technology Mapping of FSM Oriented to LUT-Based FPGA

A circuit-preserving mapping from multilevel to Boolean dynamics