Mixed Logic Dynamical Modeling and On Line Optimal Control of Biped Robot | IEEE Conference Publication | IEEE Xplore