Efficient pruning of search trees in LQR control of switched linear systems | IEEE Conference Publication | IEEE Xplore