An integrated health and contingency management case study on an autonomous ground robot | IEEE Conference Publication | IEEE Xplore