On Simulations and Bisimulations of General Flow Systems

摘要

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.