Development, comparison, and preliminary experimental validation of nonlinear dynamic thruster models | Synapse