An approximate abstraction approach to safety control of differentially flat systems | IEEE Conference Publication | IEEE Xplore