Inferring Temporal Logic Properties from Data using Boosted Decision Trees

05/24/2021
by   Erfan Aasi, et al.
0

Many autonomous systems, such as robots and self-driving cars, involve real-time decision making in complex environments, and require prediction of future outcomes from limited data. Moreover, their decisions are increasingly required to be interpretable to humans for safe and trustworthy co-existence. This paper is a first step towards interpretable learning-based robot control. We introduce a novel learning problem, called incremental formula and predictor learning, to generate binary classifiers with temporal logic structure from time-series data. The classifiers are represented as pairs of Signal Temporal Logic (STL) formulae and predictors for their satisfaction. The incremental property provides prediction of labels for prefix signals that are revealed over time. We propose a boosted decision-tree algorithm that leverages weak, but computationally inexpensive, learners to increase prediction and runtime performance. The effectiveness and classification accuracy of our algorithms are evaluated on autonomous-driving and naval surveillance case studies.

READ FULL TEXT
research
10/01/2021

Classification of Time-Series Data Using Boosted Decision Trees

Time-series data classification is central to the analysis and control o...
research
12/28/2021

Time-Incremental Learning from Data Using Temporal Logics

Real-time and human-interpretable decision-making in cyber-physical syst...
research
10/04/2022

Learning Signal Temporal Logic through Neural Network for Interpretable Classification

Machine learning techniques using neural networks have achieved promisin...
research
05/26/2023

Knowledge Extraction with Interval Temporal Logic Decision Trees

Multivariate temporal, or time, series classification is, in a way, the ...
research
07/24/2019

Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques

Cyber-physical system applications such as autonomous vehicles, wearable...
research
03/10/2021

GRIT: Verifiable Goal Recognition for Autonomous Driving using Decision Trees

It is useful for autonomous vehicles to have the ability to infer the go...
research
11/13/2017

A Robust Genetic Algorithm for Learning Temporal Specifications from Data

We consider the problem of mining signal temporal logical requirements f...

Please sign up or login with your details

Forgot password? Click here to reset