Antoine Girard Gregor Gößler Sebti Mouelhi Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. 1537-1549 2016 61 IEEE Trans. Autom. Control. 6 https://doi.org/10.1109/TAC.2015.2478131 db/journals/tac/tac61.html#GirardGM16