Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Guaranteed State Estimation

Mohammad Khajenejad, Sze Zheng Yong

This paper proposes a tractable family of remainder-form mixed-monotone decomposition functions that are useful for over-approximating the image set of nonlinear mappings in reacha…