Human locomotion analysis: Identifying a dynamic mapping between upper and lower limb joints using the Koopman operator | IEEE Conference Publication | IEEE Xplore