Convex programming approach to real-time trajectory optimization for mars aerocapture | IEEE Conference Publication | IEEE Xplore