白雪0001 马丁·弗伦泽 詹乃军（Naijun Zhan） 多项式连续系统的欠近似到达集。 51-60 2018 高速列车控制中心 https://doi.org/10.1145/3178126.3178133 conf/混合/2018 db/conf/hschc2018.html#0001FZ18