ICONS 2019 Paper Abstract


Paper WeA2FD1.4

Ergurtuna, Mert (Middle East Technical University), Aydin Gol, Ebru (Middle East Technical University)

An Efficient Formula Synthesis Method with past Signal Temporal Logic

Scheduled for presentation during the Regular Session "Fault Detection, Diagnosis and Fault-tolerant Control I" (WeA2FD1), Wednesday, August 21, 2019, 11:50−12:10,

5th IFAC International Conference on Intelligent Control and Automation Sciences, August 21-23, 2019, Queen’s University Belfast, Northern Ireland

This information is tentative and subject to change. Compiled on October 16, 2021

Keywords Diagnosis, fault detection and fault tolerant control, Learning, adaptation and evaluation, Robotics and autonomous systems


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.


Technical Content Copyright © IFAC. All rights reserved.

This site is protected by copyright and trademark laws under US and International law.
All rights reserved. © 2002-2021 PaperCept, Inc.
Page generated 2021-10-16  23:37:26 PST   Terms of use