https://123dok.net/document/oy8o530q-on-state-space-representation-for-linear-discrete-time-systems-in-hilbert-spaces.html