Control systems with saturating inputs: Analysis tools and advanced design