State aggregation approximate dynamic programming for model-based spacecraft autonomy | IEEE Conference Publication | IEEE Xplore