Derivative-free distributed filtering for integrity monitoring of AGV navigation sensors | IEEE Conference Publication | IEEE Xplore