Abstract
Whenever a system S a fails to conform to its specification S b , in the sense that \(S_a \npreceq S_b\), we may ask if there exists another system S c , the controller, such that \(S_c \times_I S_b \preceq\) or even \(S_c \times_I S_a \cong S_b\). In this chapter we discuss these control problems in the behavioral and similarity contexts. We show how to reduce controller synthesis problems from the behavioral context to the similarity context and we solve the later by computing _xed-points of suitably de_ned operators. In addition to these general control problems we also present _xed-point solutions specialized for safety and reachability control problems that frequently arise in applications.
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). Control. In: Verification and Control of Hybrid Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-0224-5_6
Download citation
DOI: https://doi.org/10.1007/978-1-4419-0224-5_6
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)