52 citations · 65 across the 11 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…