Controller design for multiple simultaneous specifications with applications to robotic systems | IEEE Conference Publication | IEEE Xplore