1: \begin{abstract}

2: We show that for continuous time dynamical systems described

3: by polynomial differential equations of

4: modest degree (typically equal to three), the following decision

5: problems which arise in numerous areas of systems and control

6: theory cannot have a polynomial time (or even pseudo-polynomial

7: time) algorithm unless P=NP: local attractivity of an equilibrium point, stability of an equilibrium point in the sense of Lyapunov, boundedness of trajectories, convergence of all trajectories in a ball to a given equilibrium point, existence of a quadratic Lyapunov function, invariance of a ball, invariance of a quartic

8: semialgebraic set under linear dynamics, local collision avoidance, and existence of a stabilizing control law. We also extend our earlier NP-hardness proof of testing local asymptotic stability for polynomial vector fields to the case of trigonometric differential equations of degree four.

9: 

10: 

11: \end{abstract}

12: