Ebru Aydin Gol

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 32

Top Topics

Top Venues

IEEE Trans. Control. Netw. Syst.

Publications

Ilker Isik, Ebru Aydin Gol, Ramazan Gokberk Cinbis
Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba. CoRR (2024)
Ilker Isik, Ebru Aydin Gol
Field Teams Coordination for Earthquake-Damaged Distribution System Energization. CoRR (2024)
Ilker Isik, Onur Yigit Arpali, Ebru Aydin Gol
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration. CoRR (2024)
Ilker Isik, Ebru Aydin Gol
Field teams coordination for earthquake-damaged distribution system energization. Reliab. Eng. Syst. Saf. 245 (2024)
Fatih Acun, Sinan Kalkan, Ebru Aydin Gol
Traffic Prediction with Peak-Aware Temporal Graph Convolutional Networks. SIU (2022)
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
Timed Automata Robustness Analysis via Model Checking. Log. Methods Comput. Sci. 18 (3) (2022)
Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
An automated system repair framework with signal temporal logic. Acta Informatica 59 (2-3) (2022)
Ebru Aydin Gol
Control Synthesis for Parametric Timed Automata under Unavoidability Specifications. CoRR (2021)
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
Timed Automata Relaxation for Reachability. TACAS (1) (2021)
Ebru Aydin Gol
Control Synthesis for Parametric Timed Automata under Unavoidability Specifications. ECC (2021)
Ilker Isik, Onur Yigit Arpali, Ebru Aydin Gol
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration. ADHS (2021)
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
Timed Automata Robustness Analysis via Model Checking. CoRR (2021)
Fatih Acun, Ebru Aydin Gol
Traffic Prediction on Large Scale Traffic Networks Using ARIMA and K-Means. SIU (2021)
Ahmet Ketenci, Ebru Aydin Gol
Learning Parameters of ptSTL Formulas with Backpropagation. SIU (2020)
Irmak Saglam, Ebru Aydin Gol
Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas. CoRR (2020)
Sertaç Kagan Aydin, Ebru Aydin Gol
Synthesis of Monitoring Rules with STL. J. Circuits Syst. Comput. 29 (11) (2020)
Irmak Saglam, Ebru Aydin Gol
Synthesis of Controllable ptSTL Formulas. SIU (2020)
Mert Ergürtuna, Ebru Aydin Gol
Classification of Time-Series Data using ptSTL. SIU (2020)
Irmak Saglam, Ebru Aydin Gol
Cause Mining and Controller Synthesis with STL. CoRR (2019)
Beyazit Yalcinkaya, Ebru Aydin Gol
ATAC: A Tool for Automating Timed Automata Construction. CoRR (2019)
Irmak Saglam, Ebru Aydin Gol
Cause Mining and Controller Synthesis with STL. CDC (2019)
Ahmet Ketenci, Ebru Aydin Gol
Synthesis of Monitoring Rules via Data Mining. ACC (2019)
Ebru Aydin Gol, Burcu Güldür Erkal, Murat Göl
A Novel MDP Based Decision Support Framework to Restore Earthquake Damaged Distribution Systems. ISGT Europe (2019)
Mert Ergurtuna, Ebru Aydin Gol
An Efficient Formula Synthesis Method with Past Signal Temporal Logic. CoRR (2019)
Ebru Aydin Gol, Burcu Güldür Erkal, Murat Göl
A Novel MDP Based Decision Support Framework to Restore Earthquake Damaged Distribution Systems. CoRR (2019)
Beyazit Yalcinkaya, Ebru Aydin Gol
Clock reduction in timed automata while preserving design parameters. FormaliSE@ICSE (2019)
Kemal Cagri Bardakci, Ebru Aydin Gol
Formal Control of Traffic Systems via Network Decomposition. ACC (2018)
Sertaç Kagan Aydin, Ebru Aydin Gol
On the use of genetic algorithms for synthesis of signal temporal logic formulas. SIU (2018)
Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. IEEE Trans. Control. Netw. Syst. 5 (1) (2018)
Ebru Aydin Gol
Efficient Online Monitoring and Formula Synthesis with Past STL. CoDIT (2018)
Kemal Cagri Bardakci, Ebru Aydin Gol
Synthesis of formal control strategies for traffic networks via partitioning. SIU (2017)
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta
Traffic Network Control From Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. 3 (2) (2016)
Ebru Aydin Gol, Mircea Lazar, Calin Belta
Temporal logic model predictive control. Autom. 56 (2015)
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta
Controlling a network of signalized intersections from temporal logical specifications. ACC (2015)
Ebru Aydin Gol, Mircea Lazar, Calin Belta
Language-Guided Controller Synthesis for Linear Systems. IEEE Trans. Autom. Control. 59 (5) (2014)
Ebru Aydin Gol, Ezio Bartocci, Calin Belta
A formal methods approach to pattern synthesis in reaction diffusion systems. CDC (2014)
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta
Temporal logic inference for classification and prediction from data. HSCC (2014)
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta
Traffic Network Control from Temporal Logic Specifications. CoRR (2014)
Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta
Finite Bisimulations for Switched Linear Systems. IEEE Trans. Autom. Control. 59 (12) (2014)
Ebru Aydin Gol, Ezio Bartocci, Calin Belta
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. CoRR (2014)
Ebru Aydin Gol, Calin Belta
An additive cost approach to optimal Temporal Logic control. ACC (2014)
Ebru Aydin Gol, Mircea Lazar
Temporal logic model predictive control for discrete-time systems. HSCC (2013)
Ebru Aydin Gol, Douglas Densmore, Calin Belta
Data-driven verification of synthetic gene networks. CDC (2013)
Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore
Experimentally driven verification of synthetic biological circuits. DATE (2012)
Ebru Aydin Gol, Calin Belta
Time-Constrained Temporal Logic Control of Multi-Affine Systems. ADHS (2012)
Ebru Aydin Gol, Mircea Lazar, Calin Belta
Language-guided controller synthesis for discrete-time linear systems. HSCC (2012)
Ebru Aydin Gol, Calin Belta
Time-Constrained Temporal Logic Control of Multi-Affine Systems CoRR (2012)
Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta
Finite Bisimulations for Switched Linear Systems CoRR (2012)
Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta
Finite bisimulations for switched linear systems. CDC (2012)
Soha Pouya, Ebru Aydin Gol, Rico Möckel, Auke Jan Ijspeert
Locomotion Gait Optimization For Modular Robots; Coevolving Morphology and Control. FET (2011)