Modeling, control and navigation of aerospace systems