普拉纳夫·阿肖克;马蒂亚斯·杰克米耶;普什巴克·贾格塔普;简·Křetínsk;马克西米利安·威宁格;马吉德·扎马尼 dtControl:用于控制器表示的决策树学习算法。 (英语) Zbl 07300871号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第30条,第2页(2020年)。 引用于2文件 MSC公司: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:控制器表示;决策树;可解释性;机器学习;非均匀量化器;符号控制 软件:dt控制 PDF格式BibTeX公司 XML格式引用 \textit{P.Ashok}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第30条,第2页(2020;Zbl 07300871) 全文: 内政部