Skip to main content

Table 5 Multi-valued models

From: ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra

next state of x2 low x2 medium x2 high x2
x1 absent low x2 medium x2 high x2
x1 present medium x2 high x2 high x2
extension x1 present medium x2 high x2 high x2
  1. Updates for variable x2 in a logical model, where x2 depends on x1 and itself. The states 0 and 1 represent absent and present for the Boolean variable x1; 0, 1, and 2 represent low, medium, and high for the multi-valued variable x2. The last row is introduced in the polynomial dynamical system such that all variables are defined over . The extra states (2, 0), (2, 1), (2, 2) in the state space should be ignored when interpreting the dynamics.
\