Abstract
This chapter continues the generalization from exact to approximate similarity, now in the context of symbolic models for control. We discuss approximate feedback composition and refinement, and show how the techniques developed in Chapter 10 can be suitably extended to control systems and switched affine systems. Nonlinear extensions of these results are presented as special topics.
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
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer-Verlag US
About this chapter
Cite this chapter
Tabuada, P. (2009). Approximate symbolic models for control. In: Verification and Control of Hybrid Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-0224-5_11
Download citation
DOI: https://doi.org/10.1007/978-1-4419-0224-5_11
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-0223-8
Online ISBN: 978-1-4419-0224-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)