Enhancing positioning in GNSS denied environments based on an extended Kalman filter using past GNSS measurements and IMU | IPNL — Intelligent Positioning and Navigation Laboratory