PSL is Dead. Long Live PSL

05/27/2022
by   Kevin Smith, et al.
2

Property Specification Language (PSL) is a form of temporal logic that has been mainly used in discrete domains (e.g. formal hardware verification). In this paper, we show that by merging machine learning techniques with PSL monitors, we can extend PSL to work on continuous domains. We apply this technique in machine learning-based anomaly detection to analyze scenarios of real-time streaming events from continuous variables in order to detect abnormal behaviors of a system. By using machine learning with formal models, we leverage the strengths of both machine learning methods and formal semantics of time. On one hand, machine learning techniques can produce distributions on continuous variables, where abnormalities can be captured as deviations from the distributions. On the other hand, formal methods can characterize discrete temporal behaviors and relations that cannot be easily learned by machine learning techniques. Interestingly, the anomalies detected by machine learning and the underlying time representation used are discrete events. We implemented a temporal monitoring package (TEF) that operates in conjunction with normal data science packages for anomaly detection machine learning systems, and we show that TEF can be used to perform accurate interpretation of temporal correlation between events.

READ FULL TEXT
research
01/21/2020

Live Anomaly Detection based on Machine Learning Techniques SAD-F: Spark Based Anomaly Detection Framework

Anomaly detection is a crucial step for preventing malicious activities ...
research
08/22/2022

Survey of Machine Learning Techniques To Predict Heartbeat Arrhythmias

Many works in biomedical computer science research use machine learning ...
research
01/07/2021

Who's a Good Boy? Reinforcing Canine Behavior in Real-Time using Machine Learning

In this paper we outline the development methodology for an automatic do...
research
12/21/2020

Privacy Interpretation of Behavioural-based Anomaly Detection Approaches

This paper proposes the notion of 'Privacy-Anomaly Detection' and consid...
research
07/23/2019

CAMLPAD: Cybersecurity Autonomous Machine Learning Platform for Anomaly Detection

As machine learning and cybersecurity continue to explode in the context...
research
03/28/2023

Attention Boosted Autoencoder for Building Energy Anomaly Detection

Leveraging data collected from smart meters in buildings can aid in deve...
research
07/09/2018

Process Monitoring Using Maximum Sequence Divergence

Process Monitoring involves tracking a system's behaviors, evaluating th...

Please sign up or login with your details

Forgot password? Click here to reset