Approximate bisimulation: a bridge between computer science and control theory