In this chapter, we we study autonomous PWA systems with uncertain parameters. The parameters of the system are allowed to vary in predefined polytopic ranges. In this chapter we assume that those ranges can be restricted further. In other words, we treat the parameter ranges not as an uncertainty inherent in the system, but rather as allowed ranges in which the system parameters must be tuned. Our goal is to find subsets of the allowed parameters for each region, such that the satisfaction of a specification can be guaranteed.