FaSTrack: Ensuring safe real-time navigation of dynamic systems