Spacecraft dynamics, navigation tools