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

226
views

0
downloads

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

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.