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 |
- 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.