Parameter Synthesis

  • Calin BeltaEmail author
  • Boyan Yordanov
  • Ebru Aydin Gol
Part of the Studies in Systems, Decision and Control book series (SSDC, volume 89)


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.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Mechanical Engineering, Electrical and Computer Engineering, and Systems EngineeringBoston UniversityBostonUSA
  2. 2.Biological Computation GroupMicrosoft Research LtdCambridgeUK
  3. 3.Department of Computer EngineeringMiddle East Technical UniversityCankayaTurkey

Personalised recommendations