Existence and design of a functional observer for LTI systems with known bounded input,