Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems.