Mining Environment Assumptions for Cyber-Physical System Models

05/18/2020
by   Sara Mohammadinejad, et al.
0

Many complex cyber-physical systems can be modeled as heterogeneous components interacting with each other in real-time. We assume that the correctness of each component can be specified as a requirement satisfied by the output signals produced by the component, and that such an output guarantee is expressed in a real-time temporal logic such as Signal Temporal Logic (STL). In this paper, we hypothesize that a large subset of input signals for which the corresponding output signals satisfy the output requirement can also be compactly described using an STL formula that we call the environment assumption. We propose an algorithm to mine such an environment assumption using a supervised learning technique. Essentially, our algorithm treats the environment assumption as a classifier that labels input signals as good if the corresponding output signal satisfies the output requirement, and as bad otherwise. Our learning method simultaneously learns the structure of the STL formula as well as the values of the numeric constants appearing in the formula. To achieve this, we combine a procedure to systematically enumerate candidate Parametric STL (PSTL) formulas, with a decision-tree based approach to learn parameter values. We demonstrate experimental results on real world data from several domains including transportation and health care.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/28/2021

Time-Incremental Learning from Data Using Temporal Logics

Real-time and human-interpretable decision-making in cyber-physical syst...
research
06/16/2021

Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems

The Internet-of-Things, complex sensor networks, multi-agent cyber-physi...
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...
research
03/08/2018

Towards the Modular Specification and Validation of Cyber-Physical Systems

Cyber-Physical Systems (CPS) are systems controlled by one or more compu...
research
06/01/2018

Signal Convolution Logic

We introduce a new logic called Signal Convolution Logic (SCL) that comb...
research
07/24/2019

Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques

Cyber-physical system applications such as autonomous vehicles, wearable...
research
04/07/2019

Cause Mining and Controller Synthesis with STL

Formal control of cyber-physical systems allows for synthesis of control...

Please sign up or login with your details

Forgot password? Click here to reset