萨拉·穆罕默德内贾德;Jyotirmoy V.德斯穆赫。;阿尼鲁德·G·普兰克(Aniruddh G.Puranic)。;马塞尔·瓦兹奎兹·香拉特;亚历山大·唐泽 使用高效枚举技术对时间序列数据进行可解释的分类。 (英语) Zbl 07300850号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第9条,第10页(2020年)。 引用于4文件 MSC公司: 65年第68季度 形式语言和自动机 第68季度第60季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:网络物理系统;形式化方法;可解释性;机器学习;信号时序逻辑;时间序列数据 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohammadinejad}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第9条,第10页(2020;Zbl 07300850) 全文: 内政部 arXiv公司