Time Series Learning using Monotonic Logical Properties

We propose a new paradigm for time-series learning where users implicitly specify families of signal shapes by choosing monotonic parameterized signal predicates. These families of predicates (also called specifications) can be seen as infinite Boolean feature vectors, that are able to leverage a user's domain expertise and have the property that as the parameter values increase, the specification becomes easier to satisfy. In the presence of multiple parameters, monotonic specifications admit trade-off curves in the parameter space, akin to Pareto fronts in multi-objective optimization, that separate the specifications that are satisfied from those that are not satisfied. Viewing monotonic specifications (and their trade-off curves) as "features" for time-series data, we develop a principled way to bestow a distance measure between signals through the lens of a monotonic specification. A unique feature of this approach is that, a simple Boolean predicate based on the monotonic specification can be used to explain why any two traces (or sets of traces) have a given distance. Given a simple enough specification, this enables relaying at a high level "why" two signals have a certain distance and what kind of signals lie between them. We conclude by demonstrating our technique with two case studies that illustrate how simple monotonic specifications can be used to craft desirable distance measures.

READ FULL TEXT

page 2

page 3

page 6

page 8

research
03/12/2019

Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications

We present a new average-based robustness score for Signal Temporal Logi...
research
10/18/2022

Universal hidden monotonic trend estimation with contrastive learning

In this paper, we describe a universal method for extracting the underly...
research
07/24/2019

Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques

Cyber-physical system applications such as autonomous vehicles, wearable...
research
06/12/2020

Pointer Data Structure Synthesis from Answer Set Programming Specifications

We develop an inductive proof-technique to generate imperative programs ...
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/28/2022

Toward Reliable Neural Specifications

Having reliable specifications is an unavoidable challenge in achieving ...
research
09/24/2021

Mining Shape Expressions with ShapeIt

We present ShapeIt, a tool for mining specifications of cyber-physical s...

Please sign up or login with your details

Forgot password? Click here to reset