Accurate semi-symbolic analysis of large non-ideal switched linear networks | IEEE Conference Publication | IEEE Xplore