马哈茂德·哈立德；马吉德·扎马尼 OmegaThreads：常规目标的符号控制器设计。 （英语） Zbl 07807698号 第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19日至21日。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Khaled}和\textit{M.Zamani}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021；Zbl 07807698） 全文： 内政部
李依南；刘军 ROCS：用于非线性动力系统的鲁棒完整控制综合工具。 （英语） Zbl 1417.93122号 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。130-135 (2018).MSC公司：93B35型 93亿B50 93立方厘米 93-04 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Li｝和\textit｛J.Liu｝，在：第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11日至13日。纽约州纽约市：计算机协会（ACM）。130-135（2018；Zbl 1417.93122） 全文： 内政部 链接
埃里克·S·金。；穆拉特·阿卡克；Sanjit A.Seshia。 有向规范单调系统的符号控制设计。 （英语） Zbl 1373.93119号 Automatica公司 2017年10月19日，第83页.MSC公司：93亿B50 93亿B51 90B20型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Kim}等人，Automatica 83，10--19（2017；Zbl 1373.93119） 全文： 内政部 链接
刘军；内克米耶·奥扎伊 基于时序逻辑的控制综合的具有鲁棒裕度的有限抽象。 （英语） Zbl 1344.93046号 非线性分析。，混合系统。 22, 1-15 (2016).MSC公司：93亿B50 93B35型 93C57 93立方厘米 93C40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和\textit{N.Ozay}，非线性分析。，混合系统。22、1-15（2016；Zbl 1344.93046） 全文： 内政部