Embedded control synthesis using one-step methods in discrete mechanics | IEEE Conference Publication | IEEE Xplore