Abstract
The verification problem for a system S a and a model of desired behavior S b , asks the fundamental question of whether S a is either equivalent to the desired system \((S_a \cong S_b)\) or contained in the desired system \((S_a \preceq S_b)\). The answer to such questions will always depend on what we mean by system equivalence and system containment. In this chapter, we give various precise de_nitions for such relationships between two systems.
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). Exact system relationships. In: Verification and Control of Hybrid Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-0224-5_4
Download citation
DOI: https://doi.org/10.1007/978-1-4419-0224-5_4
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)