Eigenvalue assignment for LTIC systems

Consider an LTIC system x˙(t)=Ax(t)+Bu(t)x(0)=x0\begin{align*} \dot{x}(t)&=Ax(t)+Bu(t)\\ x(0)&=x_{0} \end{align*}where the input is chosen to be u(t)=Fx(t)u(t)=Fx(t), where FF is m×nm\times n then x˙(t)=(A+BF)x(t)x(0)=x0\begin{align*} \dot{x}(t)&=(A+BF)x(t)\\ x(0)&=x_{0} \end{align*}The solution to this is given by x(t)=e(A+BF)tx0t0x(t)=e^{(A+BF)t}x_{0}\quad t\ge0We wish to know when it is possible to choose FF s.t. A+BFA+BF is Hurwitz. We see if A+BFA+BF is Hurwitz then x(t)0x(t)\to 0 as tt\to \infty x0Rn\forall x_{0}\in\mathbb{R}^{n}.