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
An Efficient Formula Synthesis Method with Past Signal Temporal Logic
Date
2019-01-01
Author
Ergurtuna, Mert
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
217
views
0
downloads
Cite This
In this work, we propose a novel method to find temporal properties that lead to the unexpected behaviors from labeled dataset. We express these properties in past time Signal Temporal Logic (ptSTL). First, we present a novel approach for finding parameters of a template ptSTL formula, which extends the results on monotonicity based parameter synthesis. The proposed method optimizes a given monotone criteria while bounding an error. Then, we employ the parameter synthesis method in an iterative unguided formula synthesis framework. In particular, we combine optimized formulas iteratively to describe the causes of the labeled events while bounding the error. We illustrate the proposed framework on two examples.
Subject Keywords
Control and Systems Engineering
URI
https://hdl.handle.net/11511/42817
DOI
https://doi.org/10.1016/j.ifacol.2019.09.116
Collections
Department of Computer Engineering, Conference / Seminar
Suggestions
OpenMETU
Core
An online sequential algorithm for the estimation of transition probabilities forjump Markov linear systems
Orguner, Umut (Elsevier BV, 2006-10-01)
This paper describes a new method to estimate the transition probabilities associated with a jump Markov linear system. The new algorithm uses stochastic approximation type recursions to minimize the Kullback-Leibler divergence between the likelihood function of the transition probabilities and the true likelihood function. Since the calculation of the likelihood function of the transition probabilities is impossible, an incomplete data paradigm, which has been previously applied to a similar problem for hi...
Q-Adaptation of SVD-aided UKF Algorithm for Nanosatellite Attitude Estimation
Hacızade, Cengiz; Söken, Halil Ersin; Guler, Demet Cilden (2017-01-01)
In this study, we propose process noise covariance matrix adaptation (Q-adaptation) for the Singular Value Decomposition (SVD) aided Unscented Kalman Filter (UKF) algorithm. The main aim is to make the algorithm adaptive against the changes in the process noise covariance. The SVD-aided Adaptive UKF (SaAUKF) estimates the attitude and attitude rate of a nano satellite. We implement the SVD method in the algorithm's first phase using magnetometer and sun sensor measurements. It estimates the attitude of the ...
A method in model updating using Miscorrelation Index sensitivity
Kozak, Mustafa Tuğrul; Öztürk, Murat; Özgüven, Hasan Nevzat (Elsevier BV, 2009-08-01)
This paper presents a new model updating method based on minimization of an index called Miscorrelation Index (MCI), which is introduced to localize the coordinates carrying error in a finite element (FE) model. MCI can be calculated from measured frequency response functions (FRFs) and dynamic stiffness matrix of the FE model for each coordinate as a function of frequency. Nonzero numerical values for MCI of a coordinate indicate errors in one or more elements of the system matrices corresponding to this c...
Quantitative measure of observability for linear stochastic systems
Subasi, Yuksel; Demirekler, Mübeccel (Elsevier BV, 2014-06-01)
In this study we define a new observability measure for stochastic systems: the mutual information between the state sequence and the corresponding measurement sequence for a given time horizon. Although the definition is given for a general system representation, the paper focuses on the linear time invariant Gaussian case. Some basic analytical results are derived for this special case. The measure is extended to the observability of a subspace of the state space, specifically an individual state and/or t...
An indexing technique for similarity-based fuzzy object-oriented data model
Yazıcı, Adnan; Koyuncu, M (2004-01-01)
Fuzzy object-oriented data model is a fuzzy logic-based extension to object-oriented database model, which permits uncertain data to be explicitly represented. One of the proposed fuzzy object-oriented database models based on similarity relations is the FOOD model. Several kinds of fuzziness are dealt with in the FOOD model, including fuzziness between object/class and class/superclass relations. The traditional index structures are inappropriate for the FOOD model for an efficient access to the objects wi...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
M. Ergurtuna and E. Aydın Göl, “An Efficient Formula Synthesis Method with Past Signal Temporal Logic,” 2019, vol. 52, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/42817.