Efficient Online Monitoring and Formula Synthesis with Past STL

Date

2018-06-25

Author

Aydın Göl, Ebru

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

124
views

0
downloads

In online monitoring, it is crucial to detect a deviation from normal behavior as soon as it occurs. During online monitoring, the system traces are checked against monitoring rules in real-time to detect such deviations. In general, the rules are defined as boundary conditions by the experts of the monitored system. In this work, we study the problem of synthesizing online monitoring rules in the form of temporal logic formulas in an automated way. We describe the monitoring rules as past time signal temporal logic (ptSTL) formulas and propose an algorithm to synthesize such formulas from a given set of labeled system traces. The algorithm searches the formula space for a predefined number of operators in an efficient way and produce the best formula representing a monitoring rule. In addition, we improve online STL monitoring algorithm to efficiently compute a quantitative valuation for piecewise-constant signals from ptSTL formulas, thus, reduce the overhead of the the real-time computation.

Subject Keywords

Temporal logic

URI

https://hdl.handle.net/11511/35975

DOI

https://doi.org/10.1109/codit.2018.8394941

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Synthesis of Monitoring Rules via Data Mining Ketenci, Ahmet; Aydın Göl, Ebru (null; 2019-08-29) In online monitoring of critical systems, it is important to detect an abnormal behavior as early as possible. Signal temporal logic (STL) formulas are used to specify these undesired behaviors due to the expressivity and interpretability of the logic and the existence of efficient online monitoring algorithms. In this paper, we present a new method to synthesize formulas that belong to past time fragment of STL from a labeled dataset. In particular, we consider a dataset that includes signals and their lab...
Fully-Automatic Target Detection and Tracking for Real-Time, Airborne Imaging Applications Alkanat, Tunc; Tunali, Emre; Oz, Sinan (2015-03-14) In this study, an efficient, robust algorithm for automatic target detection and tracking is introduced. Procedure starts with a detection phase. Proposed method uses two alternatives for the detection phase, namely maximally stable extremal regions detector and Canny edge detector. After detection, regions of interest are evaluated and eliminated according to their compactness and effective saliency. The detection process is repeated for a predetermined number of pyramid levels where each level processes a...
Effective training set sampling strategy for SVDD anomaly detection in hyperspectral imagery Ergul, Mustafa; Sen, Nigar; Okman, O. Erman (2014-05-07) Anomaly detection (AD) is an important application for target detection in remotely sensed hyperspectral data. Therefore, variety kinds of methods with different advantages and drawbacks have been proposed for past two decades. Recently, the kernelized support vector data description (SVDD) based anomaly detection approaches has become popular as these methods avoid prior assumptions about the distribution of data and provides better generalization to characterize the background. The global SVDD needs a tra...
Optimal data compression for lifetime maximization in wireless sensor networks operating in stealth mode Incebacak, Davut; Zilan, Ruken; TAVLI, BÜLENT; Barcelo-Ordinas, Jose M.; Garcia-Vidal, Jorge (2015-01-01) Contextual privacy in Wireless Sensor Networks (WSNs) is concerned with protecting contextual information such as whether, when, and where the data is collected. In this context, hiding the existence of a WSN from adversaries is a desirable feature. One way to mitigate the sensor nodes' detectability is by limiting the transmission power of the nodes (Le., the network is operating in the stealth mode) so that adversaries cannot detect the existence of the WSN unless they are within the sensing range of the ...
Exploring deep spatio-temporal fusion architectures towards late temporal modeling of human action recognition Kalafoğlu, Muhammet Esat; Alatan, Aydın; Kalkan, Sinan; Department of Electrical and Electronics Engineering (2020-8) Visual action recognition (AR) is the problem of identifying the labels of activities that occur in a video. In this thesis, different spatio-temporal representations are analyzed and the factors making these representations better suited for AR are determined. To be specific, three main concepts are analyzed in this thesis study which are the effects of different architectural selections, the input modalities (RGB, optical flow, human pose), and temporal modeling concepts. Additionally, the joint utiliza...

Citation Formats

E. Aydın Göl, “Efficient Online Monitoring and Formula Synthesis with Past STL,” 2018, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/35975.