Identifiability of state space models, with applications to transformation systems | lit.salon