Approximate Bisimulation for Hybrid Systems Based on Transition Relations

Abstract

It is known that computation of bisimulaion for hybrid systems does not always terminate. In this paper, we propose a new notion of approximate bisimulations, called here “transition-approximation bisimulations”, for hybrid systems. Transition-approximation bisimulations are defined as bisimulations for approximate transition systems, and can be computed within finite steps. Also, we show a kind of optimality of obtained bisimulations. The effectiveness of the proposed approach is shown by a numerical example.