On Simulations and Bisimulations of General Flow Systems

@inproceedings{Davoren2007OnSA,
  title={On Simulations and Bisimulations of General Flow Systems},
  author={Jennifer M. Davoren and Paulo Tabuada},
  booktitle={HSCC},
  year={2007}
}
We introduce a notion of bisimulation equivalence between general flow systems, which include discrete, continuous and hybrid systems, and compare it with similar notions in the literature. The interest in the proposed notion is based on our main result, that the temporal logic GFL – an extension to general flows of the well-known computation tree logic CTL – is semantically preserved by this equivalence. 
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
13 Citations
16 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 13 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Models for dynamics

  • J. Willems
  • Dynamics Reported 2
  • 1989
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…