Minimal unknown-input functional observers for multi-input multi-output LTI systems. (November 2015)