Validation of simplified formation models at L2

This paper introduces a new method to probabilistically evaluate the validity of dynamics model approximations, and applies the method to simplified models of satellite formation dynamics near the Sun - Earth / Moon L2 libration point. The new method uses a Monte Carlo scheme similar to a Sampling Importance Resampling filter to evolve state probability densities through satellite dynamics models of varying complexity. The evolved densities are fit with a Gaussian mixture model and compared probabilistically to evaluate the validity of the dynamics models over time.