Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas: Robust safety controller synthesis using tubes. CDC 2017: 535-541