Largest Satisfying Region

  • 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 develop a procedure that attempts to find the largest set of initial states from which an autonomous PWA system satisfies an LTL formula over the set labeling the polytopes in its definition. We formulate the problem for the general case of autonomous PWA systems with uncertain parameters, and we show that more efficient solutions can be found for the particular cases of autonomous PWA systems with fixed parameters and additive uncertainties.

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