52 citations · 65 across the 11 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2021
Control Synthesis for Parametric Timed Automata under Unavoidability Specifications
Ebru Aydin Gol
Timed automata (TA) is used for modeling systems with timing aspects. A TA extends a finite automaton with a set of real valued variables called clocks, that measure the time and c…
cs.FL2020
Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas
Irmak Saglam, Ebru Aydin Gol
In this work, we develop an approach to anomaly detection and prevention problem using Signal Temporal Logic (STL). This approach consists of two steps: detection of the causes of…
cs.FL2019
ATAC: A Tool for Automating Timed Automata Construction
Beyazit Yalcinkaya, Ebru Aydin Gol
In this paper, we focus on the design and verification of timed automata (TA). We introduce a new method for assisting construction and verification of TA models along with a tool…