The SFL system is well posed if and only if 1+GK≠0, and in this case, the inputs determine the states by
We abbreviate this to X=ΦU. The proof consists of calculating the inverse of the matrix above.