白雪0001 王秋叶 詹乃军（Naijun Zhan） 马丁·弗伦泽 状态约束摄动多项式系统的鲁棒不变集生成。 128-137 2019 高速列车控制中心 https://doi.org/10.1145/3302504.3311810 conf/混合/2019 db/conf/hschc2019.html#0001WZF19