Dead beat controllability of polynomial systems: symbolic computation approaches | IEEE Journals & Magazine | IEEE Xplore