Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation.