🌱
Consider the LTIC system Then the observer-based controller is s.t. the closed-loop system exactly has its eigenvalues at the eigenvalues of and .
Stabilizability of and detectability of suffice to ensure Global Asymptotic Stability i.e. Note that the state feedback and the observer component appear in a decoupled fashion, so they can be designed separately. This property is commonly called the separation principle.
The following result show how and in can be derived >[!thm] > is stabilizable if and only if there exist some and such that Then where !