A LOCAL CHARACTERIZATION OF OBSERVABILITY

We consider time-dependent linear systems of the form (x) over dot = A x + Bu, y = Ct with state x is an element of R-n, control (input) u is an element of R-m, and output y is an element of R-p. The main result s are local characterizations of observability and strong observabilit y (or observability with unknown inputs) of (A, C) and (A, B, C). Thes e criteria are pointwise rank conditions on a certain matrix, which is explicitly built up from the first n - 2 derivatives of A and B and t he first n - 1 derivatives of C. The results generalize well-known the orems for time-invariant systems. The proofs lead also to observers (w ith and without the input), and the main tool is a generalized product rule for the differentiation of a product of matrices, where only one factor and the product itself are known to be differentiable. (C) 199 8 Elsevier Science Inc.