State models for simulation of an inertial guidance and control system