Time-series data classification is central to the analysis and control of autonomous systems, such as robots and self-driving cars. Temporal logic-based learning algorithms have been proposed recently as classifiers of such data. However, current frameworks are either inaccurate for real-world applications, such as autonomous driving, or they generate long and complicated formulae that lack interpretability. To address these limitations, we introduce a novel learning method, called Boosted Concise Decision Trees (BCDTs), to generate binary classifiers that are represented as Signal Temporal Logic (STL) formulae. Our algorithm leverages an ensemble of Concise Decision Trees (CDTs) to improve the classification performance, where each CDT is a decision tree that is empowered by a set of techniques to generate simpler formulae and improve interpretability. The effectiveness and classification performance of our algorithm are evaluated on naval surveillance and urban-driving case studies.
翻译:时间序列数据分类是分析和控制自动系统(如机器人和自行驾驶汽车)的核心。最近有人提议将基于时间逻辑的学习算法作为这些数据的分类器。然而,目前的框架对于现实应用(如自主驾驶)来说是不准确的,或者它们产生无法解释的长而复杂的公式。为了解决这些限制,我们采用了一种新型的学习方法,称为“促进精密决策树”(BCDTs),以产生以信号时空逻辑公式(STL)为代表的二进制分类器。我们的算法利用了一套精密决定树(CDTs)的组合来改进分类性能,其中每个CDT都是决策树,通过一系列技术来产生更简单的公式和改善解释性。我们的算法的有效性和分类性能在海上监视和城市驱动案例研究方面得到了评估。