Relational Abstractions for Continuous and Hybrid Systems

@inproceedings{Sankaranarayanan2011RelationalAF,
  title={Relational Abstractions for Continuous and Hybrid Systems},
  author={Sriram Sankaranarayanan and Ashish Tiwari},
  booktitle={CAV},
  year={2011}
}
There has been much recent progress on invariant generation techniques for continuous systems whose dynamics are described by Ordinary Differential Equations (ODE). In this paper, we present a simple abstraction scheme for hybrid systems that abstracts continuous dynamics by relating any state of the system to a state that can potentially be reached at some future time instant. Such relations are then interpreted as discrete transitions that model the continuous evolution of states over time… CONTINUE READING
Highly Cited
This paper has 58 citations. REVIEW CITATIONS

4 Figures & Tables

Topics

Statistics

0102020112012201320142015201620172018
Citations per Year

58 Citations

Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.