bounded peak value; aircraft collision avoidance; model predictive control