The controllability of a double inverted pendulum by symbolic algebra analysis | IEEE Conference Publication | IEEE Xplore