Text this: 4D Trajectory Estimation for Air Traffic Control Automation System Based on Hybrid System Theory