ROCS公司 swMATH ID: 28114 软件作者： 李一南；刘军 描述： ROCS：用于非线性动力系统的鲁棒完整控制综合工具。本文介绍了一种用于非线性动力系统的算法控制综合工具ROCS。与其他形式化的控制综合工具不同，它保证针对非线性系统的鲁棒可实现规范生成控制策略。ROCS的核心是区间分枝定界方案，其精确控制参数反映了规范可实现性的鲁棒性。它还支持多个可变精度控制参数，以实现更高的效率。 主页： https://dl.acm.org/citation.cfm？doid=3178126.3178153 关键词： 控制综合;区间法;非线性系统;时序逻辑 相关软件： 斯科特;科西马;PESSOA公司;p面;AROC公司;TuLiP公司;Solace公司;干VR;OMPL公司;控制工具箱;防抱死制动系统;GRK标签;长期平均价格;相思树+;OmegaThreads公司;条纹;CPA检查器;爆炸;SENSE（感知）;BDD2机具 引用于： 8文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 ROCS：用于非线性动力系统的鲁棒完整控制综合工具。 Zbl 1417.93122号李依南;刘军 2018 全部的 前5名18位作者引用 三 刘军 2 马哈茂德·哈立德 2 李依南 2 马吉德·扎马尼 1 马蒂亚斯·阿尔霍夫 1 陈瑞娟 1 维克托·加曼 1 费利克斯·格鲁伯 1 徐凯尔 1 莫里茨·克利沙特 1 尼古拉斯·科奇杜普尔 1 伊利赛·马科维奇克（Elisei Macoveiciuc） 1 鲁帕克·马朱姆达尔 1 考希·马利克 1 Reißig、Gunther 1 安妮·凯瑟琳·施穆克 1 巴斯蒂安·舒尔曼 1 亚历山大·韦伯 连载1篇 1 富兰克林学院学报 在2个字段中引用 7 系统论；控制（93至XX） 5 计算机科学（68至XX） 按年份列出的引文