Fig. 3

General framework of 2D pyramid domain showing increases in domain size concomitant with the increase in state with an increase in the bounds. Bound_lower(1) represents the initial condition, whereas Bound_upper(Z) represents the final domain which carries the explored set of states of the system