Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees

Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
Proceedings of The 5th Annual Learning for Dynamics and Control Conference, PMLR 211:547-559, 2023.

Abstract

Real-time and human-interpretable decision-making in autonomous systems is a significant but challenging task, which usually requires predictions of possible future events from limited data. While machine learning techniques have achieved promising results in this field, they lack interpretability and the ability to make online predictions for sequential behaviors. In this paper, we introduce a time-incremental learning framework to predict the labels of time-series signals that are received incrementally over time, referred to as prefix signals. These signals are being observed as they are generated, and their time lengths are shorter than their corresponding time horizons. We present a novel decision tree-based approach to learn a finite number of Signal Temporal Logic (STL) specifications from a given dataset and construct a predictor based on them. Each STL specification serves as a binary classifier of the time-series data and captures a specific part of the dataset’s temporal properties over time. The predictor is built by assigning time-variant weights to the STL formulas, which represent their classification impacts. The weights are learned using neural networks to minimize the misclassification rate of classifying prefix signals with different time lengths. The predictor is then used to predict the labels of prefix signals by computing the weighted sum of their robustnesses with respect to the STL formulas. The effectiveness and classification performance of our algorithm is evaluated on urban-driving and naval-surveillance case studies.

Cite this Paper

BibTeX
@InProceedings{pmlr-v211-aasi23a, title = {Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees}, author = {Aasi, Erfan and Cai, Mingyu and Vasile, Cristian Ioan and Belta, Calin}, booktitle = {Proceedings of The 5th Annual Learning for Dynamics and Control Conference}, pages = {547--559}, year = {2023}, editor = {Matni, Nikolai and Morari, Manfred and Pappas, George J.}, volume = {211}, series = {Proceedings of Machine Learning Research}, month = {15--16 Jun}, publisher = {PMLR}, pdf = {https://proceedings.mlr.press/v211/aasi23a/aasi23a.pdf}, url = {https://proceedings.mlr.press/v211/aasi23a.html}, abstract = {Real-time and human-interpretable decision-making in autonomous systems is a significant but challenging task, which usually requires predictions of possible future events from limited data. While machine learning techniques have achieved promising results in this field, they lack interpretability and the ability to make online predictions for sequential behaviors. In this paper, we introduce a time-incremental learning framework to predict the labels of time-series signals that are received incrementally over time, referred to as prefix signals. These signals are being observed as they are generated, and their time lengths are shorter than their corresponding time horizons. We present a novel decision tree-based approach to learn a finite number of Signal Temporal Logic (STL) specifications from a given dataset and construct a predictor based on them. Each STL specification serves as a binary classifier of the time-series data and captures a specific part of the dataset’s temporal properties over time. The predictor is built by assigning time-variant weights to the STL formulas, which represent their classification impacts. The weights are learned using neural networks to minimize the misclassification rate of classifying prefix signals with different time lengths. The predictor is then used to predict the labels of prefix signals by computing the weighted sum of their robustnesses with respect to the STL formulas. The effectiveness and classification performance of our algorithm is evaluated on urban-driving and naval-surveillance case studies.} }
Endnote
%0 Conference Paper %T Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees %A Erfan Aasi %A Mingyu Cai %A Cristian Ioan Vasile %A Calin Belta %B Proceedings of The 5th Annual Learning for Dynamics and Control Conference %C Proceedings of Machine Learning Research %D 2023 %E Nikolai Matni %E Manfred Morari %E George J. Pappas %F pmlr-v211-aasi23a %I PMLR %P 547--559 %U https://proceedings.mlr.press/v211/aasi23a.html %V 211 %X Real-time and human-interpretable decision-making in autonomous systems is a significant but challenging task, which usually requires predictions of possible future events from limited data. While machine learning techniques have achieved promising results in this field, they lack interpretability and the ability to make online predictions for sequential behaviors. In this paper, we introduce a time-incremental learning framework to predict the labels of time-series signals that are received incrementally over time, referred to as prefix signals. These signals are being observed as they are generated, and their time lengths are shorter than their corresponding time horizons. We present a novel decision tree-based approach to learn a finite number of Signal Temporal Logic (STL) specifications from a given dataset and construct a predictor based on them. Each STL specification serves as a binary classifier of the time-series data and captures a specific part of the dataset’s temporal properties over time. The predictor is built by assigning time-variant weights to the STL formulas, which represent their classification impacts. The weights are learned using neural networks to minimize the misclassification rate of classifying prefix signals with different time lengths. The predictor is then used to predict the labels of prefix signals by computing the weighted sum of their robustnesses with respect to the STL formulas. The effectiveness and classification performance of our algorithm is evaluated on urban-driving and naval-surveillance case studies.
APA
Aasi, E., Cai, M., Vasile, C.I. & Belta, C.. (2023). Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. Proceedings of The 5th Annual Learning for Dynamics and Control Conference, in Proceedings of Machine Learning Research 211:547-559 Available from https://proceedings.mlr.press/v211/aasi23a.html.

Related Material