Constraining Martian dust devil vortex and regolith parameters from combined seismic and meteorological measurements

Prior to landing on Mars it was predicted that the seismic signal generated by dust devil vortices would be visible on the InSight seismometers. Here we present a method for modelling dust devil vortices, and we demonstrate how this model can be used in combination with InSight observations of dust devil encounters, to determine the vortex trajectory azimuths while simultaneously providing constraints on the Martian ground properties and key dust devil parameters.