A monotone self-mapping of the nonnegative orthant induces a monotone discrete-time dynamical system which evolves on the same orthant. If with respect to this system the origin is attractive then there must exists points whose image under the monotone map is strictly smaller than the original point, in the component-wise partial ordering. Here it...

Stability verification for monotone systems using homotopy algorithms