6 papers
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…
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…
A Novel MDP Based Decision Support Framework to Restore Earthquake Damaged Distribution Systems
Ebru Aydin Gol, Burcu Güldür Erkal, Murat Göl
Electric power network expanded rapidly in recent decades due of the excessive need of electricity in every aspect of life, including critical infrastructures such as medical servi…
An Efficient Formula Synthesis Method with Past Signal Temporal Logic
Mert Ergurtuna, Ebru Aydin Gol
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 Temp…
Cause Mining and Controller Synthesis with STL
Irmak Saglam, Ebru Aydin Gol
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the forma…
Finite Bisimulations for Switched Linear Systems
Ebru Aydin Gol, Xuchu Ding, Mircea Lazar +1
In this paper, we consider the problem of constructing a finite bisimulation quotient for a discrete-time switched linear system in a bounded subset of its state space. Given a set…