TY - RPRT TI - Finite Bisimulations for Switched Linear Systems AU - Ebru Aydin Gol AU - Xuchu Ding AU - Mircea Lazar AU - Calin Belta PY - 2012 UR - https://arxiv.org/abs/1208.5471 ID - 1208.5471 ER -