Exact system relationships

  • Paulo Tabuada


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.


Equivalence Class Equivalence Relation Safety Problem Reachable State Combine Game 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag US 2009

Authors and Affiliations

  1. 1.Department of Electrical EngineeringUniversity of California, Los AngelesLos AngelesUSA

Personalised recommendations