Minimal realizations

In this module we show that a state space realization is minimal (minimal in the sense of the number of state variables needed) if and only the system is both controllable and observable.