Model-based approach to rover health assessment for increased productivity | IEEE Conference Publication | IEEE Xplore