BCI based on lower-limb motor imagery and a state machine for walking on a treadmill | IEEE Conference Publication | IEEE Xplore