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

Mohammad Khajenejad, Sze Zheng Yong. Tight Remainder-Form Decomposition Functions With Applications to Constrained Reachability and Guaranteed State Estimation. IEEE Trans. Automat. Contr., 68(12):7057-7072, December 2023. [doi]

Abstract

Abstract is missing.