Reachability analysis for continuous systems under shared control: Application to user-interface design