%0 Conference Proceedings
%F CamaraGirardGoessler2011b
%A C\'amara, J.
%A Girard, A.
%A Gössler, Gregor
%T Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models
%B CDC-ECC
%D 2011