Computational Questions of Equilibrium Calculation with Application to Nonlinear Aircraft Dynamics

The computation of possible stationary orientations of an aircraft subjected to constraints on actuators is treated using methods from computer algebra. The same techniques are also used to investigate possible turn maneuvers of a missile subjected to actuator constraints. The paper also gives a brief introduction to the utilized algebraic methods, cylindricalalgebraic decomposition and quantifier elimination.