Rich time series classification using temporal logic

Publication Type:
Conference Proceeding
Citation:
Robotics: Science and Systems, 2017, 13
Issue Date:
2017-01-01
Metrics:
Full metadata record
Files in This Item:
Filename Description Size
cameraready_chanyeol_RSS2017.pdfPublished version1.48 MB
Adobe PDF
© 2017 MIT Press Journals. All rights reserved. Time series classification is an important task in robotics that is often solved using supervised machine learning. However, classifier models are typically not 'readable' in the sense that humans cannot intuitively learn useful information about the relationship between inputs and outputs. In this paper, we address the problem of rich time series classification where we propose a novel framework for finding a temporal logic classifier specified in a human-readable form. The classifier is represented as a signal temporal logic (STL) formula that is expressive in capturing spatial, temporal and logical relations from a continuous-valued dataset over time. In the framework, we first find a set of representative logical formulas from the raw dataset, and then construct an STL classifier using a treebased clustering algorithm. We show that the framework runs in polynomial time and validate it using simulated examples where our framework is significantly more efficient than the closest existing framework (up to 920 times faster).
Please use this identifier to cite or link to this item: