Safety controller synthesis for switched systems using multi-scale symbolic models | IEEE Conference Publication | IEEE Xplore