李依南;刘军 ROCS:用于非线性动力系统的鲁棒完整控制综合工具。 (英语) Zbl 1417.93122号 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。130-135 (2018). 引用于6文件 MSC公司: 93B35型 灵敏度(稳健性) 93亿B50 合成问题 93立方厘米10 控制理论中的非线性系统 93-04 系统和控制理论相关问题的软件、源代码等 关键词:控制综合;区间法;非线性系统;时序逻辑 软件:PESSOA公司;d到达;科西马;斯科特;ROCS公司;TuLiP公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{J.Liu},在:第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11日至13日。纽约州纽约市:计算机协会(ACM)。130-135(2018;Zbl 1417.93122) 全文: 内政部 链接