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.