Remark 1 On the flip side, the discrete-time mixed-monotone decomposition functions can also be directly used as inclusion functions; hence, the proposed decomposition functions can also be relatively easily incorporated into existing analysis, estimation and planning algorithms that are based on interval arithmetic, e.g., [1]}, [2]}, [3]}, [4]}, [5]}.

