Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems | IEEE Conference Publication | IEEE Xplore