On functional observers for linear systems with unknown inputs and HOSM differentiators

The problem of constructing functional observers for linear systems with unknown inputs is considered. Necessary and sufficient conditions for the existence of a proper observer (without differentiations) are revisited. A simple and explicit form of a functional observer is presented. It is shown that when such observer is not proper, it is still possible to use the High-Order Sliding Mode differentiator to implement it. Nevertheless, in such case, additional conditions on the system and the unknown input are required.