A study on coincidence of symbolic and continuous behavior for symbolic stability analysis | IEEE Conference Publication | IEEE Xplore