10 Appendix 10.1 Proof of Lemma 2 Proof. We wish to show Au

By definition, its roots (those t where p( t) = 0) are the eigenvalues of A . Furthermore, the SISO LDS are almost surely reachable, and share the same canonical form matrix. Now we verify that the SISO LDS are almost surely reachable, assuming the MISO LDS is reachable. We briefly review their method, showing how it gives rise to a multiplicative variant of LDStack. We begin by viewing the RNN as an Euler discretization of a continuous-time dynamical system (e.g. The SDC factorization can be derived in a straightforward manner.