Loading...
Please wait, while we are loading the content...
Similar Documents
Discrete conservative approximations of hybrid systems (1993).
| Content Provider | CiteSeerX |
|---|---|
| Author | Carl-Johan, Andrew Martin Martin, Andrew K. Seger, Carl-Johan H. |
| Abstract | Systems that are modeled using both continuous and discrete mathematics are commonly called hybrid systems. Although much work has been done to develop frameworks in which both types of systems can be handled at the same time, this is often a very difficult task. Verifying that desired properties hold in such hybrid models is even more daunting. In this paper we attack the problem from a different direction. First we make a distinction between two models of the system. A detailed model is developed as accurately as possible. Ultimately, one must trust in its correctness. An abstract model, which is typically less detailed, is actually used to verify properties of the system. The detailed model is typically defined in terms of both continuous and discrete mathematics, whereas the abstract one is typically discrete. We formally define the concept of conservative approximation, a relationship between models, that holds with respect to a translation between the questions that ca... |
| File Format | |
| Publisher Date | 1993-01-01 |
| Access Restriction | Open |
| Subject Keyword | Hybrid System Discrete Conservative Approximation Discrete Mathematics Detailed Model Hybrid Model Conservative Approximation Difficult Task Different Direction Abstract Model Much Work |
| Content Type | Text |
| Resource Type | Article |
