High-level control of FES-assisted walking using path expressions