马哈茂德·哈立德；马吉德·扎马尼 OmegaThreads：常规目标的符号控制器设计。 （英语） Zbl 07807706号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第33号论文，第2页（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）。论文编号33，2页（2021；Zbl 07807706） 全文： 内政部
马哈茂德·哈立德；马吉德·扎马尼 OmegaThreads：常规目标的符号控制器设计。 （英语） Zbl 07807698号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛M.Khaled｝和\textit｛M.Zamani｝，在：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021；Zbl 07807698） 全文： 内政部
Kazumune桥本；迪马罗戈纳斯，迪莫斯五世。 时序逻辑规范下的资源软件网络控制系统。 （英语） Zbl 1441.93102号 离散事件动态。系统。 29，第4号，473-499（2019）.MSC公司：93磅70 93元65角 03B44号 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{K.Hashimoto}和\textit{D.V.Dimarogonas}，离散事件动态。系统。29，第4号，473--499（2019；Zbl 1441.93102） 全文： 内政部
李依南；刘军 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） 全文： 内政部 链接
安妮·凯瑟琳·施穆克；鲁帕克·马朱姆达尔；阿德里安·莱瓦 动态分层反应控制器综合。 （英语） Zbl 1379.93048号 离散事件动态。系统。 27，第2期，261-299（2017）.MSC公司：93B40码 93甲15 93甲13 93亿B50 91A65型 93C85号 94C15号机组 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人，离散事件动态。系统。27，第2号，261--299（2017；Zbl 1379.93048） 全文： 内政部 arXiv公司
埃里克·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） 全文： 内政部 链接