马蒂亚斯·伦格;马吉德·扎马尼 SCOTS:用于合成符号控制器的工具。 (英语) Zbl 1364.93267号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。99-104 (2016). 引用于27文件 MSC公司: 93亿B50 合成问题 93立方厘米 控制理论中的非线性系统 93B40码 系统理论中的计算方法(MSC2010) 关键词:C++/Matlab工具箱;离散抽象;反馈细化关系;符号模型 软件:斯科特;TuLiP公司;科西马;PESSOA公司;Matlab公司;CUDD公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Rungger}和\textit{M.Zamani},in:第19届ACM混合系统国际会议论文集:计算和控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。99-104(2016年;Zbl 1364.93267) 全文: 内政部 参考文献: 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。