Ebru Aydın Göl

E-mail

ebrugol@metu.edu.tr

Department

Department of Computer Engineering

ORCID

0000-0002-5813-9836

Scopus Author ID

55515138200

Web of Science Researcher ID

N-4741-2017

Field teams coordination for earthquake-damaged distribution system energization Işık, İlker; Aydın Göl, Ebru (2024-05-01) The re-energization of electrical distribution systems in a post-disaster scenario is of grave importance as most modern infrastructure systems rely heavily on the presence of electricity. This paper introduces a method to...
Cycle encoding-based parameter synthesis for timed automata safety Sucu, Burkay; Aydın Göl, Ebru (2024-01-01) Parametric timed automata (PTA) extend timed automata (TA) with parameters instead of fixed timing constraints, providing the flexibility to accommodate uncertainties during the design phase. Once a parametric model is obt...
MDP based real time restoration for earthquake damaged active distribution systems Arpalı, Onur Yigit; Yılmaz, Uğur Can; GÜLDÜR ERKAL, BURCU; Aydın Göl, Ebru; Göl, Murat (2023-05-01) After a disaster, presence of electricity becomes even more crucial compared to its role in daily life. In this paper, an online decision support method is developed to restore medium voltage active distribution systems af...
TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING Bendik, Jaroslav; Sencan, Ahmet; Aydın Göl, Ebru; Cerna, Ivana (2022-01-01) Timed automata (TA) have been widely adopted as a suitable formalism to model time-critical systems. Furthermore, contemporary model-checking tools allow the designer to check whether a TA complies with a system specificat...
Formel Yaklaşımlar ile Sürüm Değerlendirme Aydın Göl, Ebru (2021-06-01) Bu çalışmada sürüm değerlendirme sürecini otomatikleştirmek için formel metotlar kullanılarak bir yöntem geliştirilmiştir. Sürüm değerlendirme sürecinde, bir sunucunun yeni ve eski sürümleri benzer (veya aynı) konfigürasyo...
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration Isik, Ilker; Arpalı, Onur Yigit; Aydın Göl, Ebru (2021-01-01) Motivated by the post-disaster distribution system restoration problem, in this paper, we study the problem of synthesizing the optimal policy for a Markov Decision Process (MDP) from a sequence of goal sets. For each goal...
An automated system repair framework with signal temporal logic Ergurtuna, Mert; Yalcinkaya, Beyazit; Aydın Göl, Ebru (2021-01-01) We present an automated system repair framework for cyber-physical systems. The proposed framework consists of three main steps: (1) system simulation and fault detection to generate a labeled dataset, (2) identification o...
MDP based Decision Support for Earthquake Damaged Distribution System Restoration Arpalı, Onur Yigit; Aydın Göl, Ebru; Göl, Murat (2020-12-16) As the society becomes more dependent on the presence of electricity, the resilience of the power systems gains more importance. This paper develops a decision support method for distribution system operators to restore el...
Synthesis of Monitoring Rules with STL Aydin, Sertac Kagan; Aydın Göl, Ebru (World Scientific Pub Co Pte Lt, 2020-09-01) Online monitoring is essential to enhance the reliability for various systems including cyber-physical systems and Web services. During online monitoring, the system traces are checked against monitoring rules in real time...
Learning Parameters of ptSTL Formulas with Backpropagation Ketenci, Ahmet; Aydın Göl, Ebru (2020-01-01) In this paper, a backpropagation based algorithm is presented to learn parameters of past time Signal Temporal Logic (ptSTL) formulas. A differentiable weight matrix over the parameter values and a loss function based on t...

Citation Formats