  We state necessary and sufficient conditions to uniquely identify (modulo
state isomorphism) a linear time-invariant minimal input-state-output system
from finite input-output data and upper- and lower bounds on lag and state
space dimension.
