Event-triggered variance-constrained finite-horizon state estimation for discrete-time systems with redundant channels | IEEE Conference Publication | IEEE Xplore