Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Belta, C., Yordanov, B., Aydin Gol, E. (2017). Parameter Synthesis. In: Formal Methods for Discrete-Time Dynamical Systems. Studies in Systems, Decision and Control, vol 89. Springer, Cham. https://doi.org/10.1007/978-3-319-50763-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-50763-7_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-50762-0
Online ISBN: 978-3-319-50763-7
eBook Packages: EngineeringEngineering (R0)