This paper investigates the observability analysis for linear time systems whose outputs are affected by unknown inputs. Three different definitions of observability are proposed. By introducing the Smith form and comparing the invariant factors, a sufficient condition is deduced for each proposed observability definition. Three examples are given for the purpose of highlighting the effectiveness of the proposed approach. (C) 2014 Elsevier Ltd. All rights reserved.