Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
Optimizing Parameters of Signal Temporal Logic Formulas with Local Search
Date
2019-08-22
Author
Aydin, Sertac Kagan
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
190
views
0
downloads
Cite This
Signal temporal logic (STL) is a formal language for expressing temporal and real-time properties of real valued signals. In this paper, we study the problem of generating an STL formula from a labeled dataset. We propose a local search algorithm to synthesize parameters of a template formula. Starting from a random initial point, the parameter space is explored in the directions improving the formula evaluation. In addition, the local search method is integrated to the genetic algorithms developed for formula synthesis as the adaptation step. The findings of the paper are shown on a case study and compared with the previous results, which shows that the adaptation step improves the convergence.
Subject Keywords
Formal methods
,
STL
,
Requirement mining
,
Random search
,
Genetic algorithms
,
Adaptation
URI
https://hdl.handle.net/11511/42543
DOI
https://doi.org/10.1109/siu.2019.8806568
Collections
Department of Computer Engineering, Conference / Seminar
Suggestions
OpenMETU
Core
Synthesis of signal temporal logic formulas with genetic algorithms
Aydın, Sertaç Kağan; Aydın Göl, Ebru; Department of Computer Engineering (2019)
Signal Temporal Logic (STL) is used to reason about the behavior of continuous signals. Due to its expressivity and algorithms to generate signal monitors, it is used to define monitoring rules for hardware and software systems. However, it is a hard task to define an STL formula that describes the system behavior. An expert of the monitored system should write the formula and optimize its parameters to minimize the monitoring errors (false alarms and missed alarms). To simplify and disseminate the use of f...
Synthesis of past time signal temporal logic formulas using monotonicity properties
Ergürtuna, Mert.; Aydın Göl, Ebru; Department of Computer Engineering (2020)
Due to its expressivity and efficient algorithms, Signal Temporal Logic (STL) is widely used in runtime verification, formal control and analysis of time series data. While it is relatively easy to define an STL formula, simulate the system and mark the unexpected behaviors according to the formula as in the testing process, finding an STL formula that would detect the underlying cause of the errors is a complicated process. The main motivation of this thesis is to find a method that would explain the event...
On the use of genetic algorithms for synthesis of signal temporal logic formulas
Aydin, Sertac Kagan; Aydın Göl, Ebru (2018-07-09)
In this work, we studied use of genetic algorithms to synthesize Signal Temporal Logic formulas from a labeled data set. In the synthesis problem, the goal is to generate the best STL formula representing the labeled signals in the set. To use genetic algoritms in this domain, the basic genetic algoritm processes are defined for STL formulas. The developed synthesis method produces a formula from the data set efficiently in a fully automated way. In particular, the proposed approach does not require an expe...
Efficient and Accurate Electromagnetic Optimizations Based on Approximate Forms of the Multilevel Fast Multipole Algorithm
Onol, Can; Karaosmanoglu, Bariscan; Ergül, Özgür Salih (2016-01-01)
We present electromagnetic optimizations by heuristic algorithms supported by approximate forms of the multilevel fast multipole algorithm (MLFMA). Optimizations of complex structures, such as antennas, are performed by considering each trial as an electromagnetic problem that can be analyzed via MLFMA and its approximate forms. A dynamic accuracy control is utilized in order to increase the efficiency of optimizations. Specifically, in the proposed scheme, the accuracy is used as a parameter of the optimiz...
Frequency invariant beamforming and its application to wideband direction of arrival estimation
Babataş, Eren; Candan, Çağatay; Department of Electrical and Electronics Engineering (2008)
In this thesis the direction of arrival estimation of wideband signals using frequency invariant beamforming method is examined. The difficulty with the direction of arrival estimation of wideband signals is that it is not possible to obtain a single covariance matrix valid for the whole frequency spectrum of the signal. There are various methods proposed in the literature to overcome this difficulty. The common aim of all the methods is to obtain a composite covariance matrix for the overall band of the si...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
S. K. Aydin and E. Aydın Göl, “Optimizing Parameters of Signal Temporal Logic Formulas with Local Search,” 2019, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/42543.