Xiaobin Zhang Yinhao Zhu Hai Lin Performance guaranteed human-robot collaboration through correct-by-design. 6183-6188 2016 ACC https://doi.org/10.1109/ACC.2016.7526641 conf/amcc/2016 db/conf/amcc/acc2016.html#ZhangZL16