Kalman Filtering Over a Packet-Dropping Network: A Probabilistic Perspective | Synapse