State space analysis using MapleV | IEEE Conference Publication | IEEE Xplore