Edge State Kalman Filtering for Distributed Formation Control Systems