Atmospheric Density Modeling and Updating for Autonomous Navigation During Mars Aerocapture | IEEE Conference Publication | IEEE Xplore