×
李依南；刘军

ROCS：用于非线性动力系统的鲁棒完整控制综合工具。 （英语） 兹比尔1417.93122

第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11日至13日。纽约州纽约市：计算机协会（ACM）。130-135 (2018).

引用于6文件

MSC公司：

93B35型 灵敏度（稳健性）
93亿B50 合成问题
93立方厘米 控制理论中的非线性系统
93-04 系统和控制理论相关问题的软件、源代码等

关键词：

控制综合；区间法；非线性系统；时序逻辑

软件：

d到达；PESSOA公司；TuLiP公司；ROCS公司；科西马；斯科特
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}和\textit{J.Liu}，摘自：《第21届ACM混合系统国际会议论文集：计算和控制》，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。130-135（2018；Zbl 1417.93122）
全文： 内政部 链接