Exact system relationships

Paulo Tabuada ()
Additional contact information
Paulo Tabuada: University of California, Los Angeles, Department of Electrical Engineering

Chapter 4 in Verification and Control of Hybrid Systems, 2009, pp 29-42 from Springer

Abstract: 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.

Keywords: Equivalence Class; Equivalence Relation; Safety Problem; Reachable State; Combine Game (search for similar items in EconPapers)
Date: 2009
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4419-0224-5_4

Ordering information: This item can be ordered from
http://www.springer.com/9781441902245

DOI: 10.1007/978-1-4419-0224-5_4

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().