A vertical gyro model based on particle filters