Event-Based State Estimation: A Stochastic Perspective (Studies in Systems, Decision and Control, Band 41)