State Estimation in Discrete‐Time Linear Dynamic Systems