Theorem
A linear state observer exists for the system (A,B,C,D) if and only if (C,A) is Detectable. Furthermore, this observer is given by w˙(t)x^(t)=(A+LC)w(t)+[−LB+LD][y(t)u(t)]=Iw(t)+[00][y(t)u(t)]or more simply x^˙(t)=Ax^(t)+Bu(t)+L(Cx^(t)+Du(t)−y(t))where L is chosen s.t. A+LC is Hurwitz.