Ebru Aydin Gol

According to our database, Ebru Aydin Gol authored at least 45 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cycle encoding-based parameter synthesis for timed automata safety.

Burkay Sucu, Ebru Aydin Gol

Acta Informatica, December, 2024

Field teams coordination for earthquake-damaged distribution system energization.

Ilker Isik, Ebru Aydin Gol

Reliab. Eng. Syst. Saf., 2024

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence.

Ilker Isik, Ramazan Gokberk Cinbis, Ebru Aydin Gol

CoRR, 2024

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba.

Ilker Isik, Ebru Aydin Gol, Ramazan Gokberk Cinbis

CoRR, 2024

2022

Timed Automata Robustness Analysis via Model Checking.

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná

Log. Methods Comput. Sci., 2022

An automated system repair framework with signal temporal logic.

Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol

Acta Informatica, 2022

Traffic Prediction with Peak-Aware Temporal Graph Convolutional Networks.

Fatih Acun, Sinan Kalkan, Ebru Aydin Gol

Proceedings of the 30th Signal Processing and Communications Applications Conference, 2022

2021

Control synthesis for parametric timed automata under reachability.

Ebru Aydin Göl

Turkish J. Electr. Eng. Comput. Sci., May, 2021

Timed Automata Relaxation for Reachability.

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Traffic Prediction on Large Scale Traffic Networks Using ARIMA and K-Means.

Fatih Acun, Ebru Aydin Gol

Proceedings of the 29th Signal Processing and Communications Applications Conference, 2021

Control Synthesis for Parametric Timed Automata under Unavoidability Specifications.

Ebru Aydin Gol

Proceedings of the 2021 European Control Conference, 2021

Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration.

Ilker Isik, Onur Yigit Arpali, Ebru Aydin Gol

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Synthesis of Monitoring Rules with STL.

Sertaç Kagan Aydin, Ebru Aydin Gol

J. Circuits Syst. Comput., 2020

Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas.

Irmak Saglam, Ebru Aydin Gol

CoRR, 2020

Synthesis of Controllable ptSTL Formulas.

Irmak Saglam, Ebru Aydin Gol

Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

Learning Parameters of ptSTL Formulas with Backpropagation.

Ahmet Ketenci, Ebru Aydin Gol

Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

Classification of Time-Series Data using ptSTL.

Mert Ergürtuna, Ebru Aydin Gol

Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

2019

MDP based Decision Support for Earthquake Damaged Distribution System Restoration.

Onur Yigit Arpali, Ugur Can Yilmaz, Ebru Aydin Göl, Burcu Güldür Erkal, Murat Gol

CoRR, 2019

ATAC: A Tool for Automating Timed Automata Construction.

Beyazit Yalcinkaya, Ebru Aydin Gol

CoRR, 2019

An Efficient Formula Synthesis Method with Past Signal Temporal Logic.

Mert Ergurtuna, Ebru Aydin Gol

CoRR, 2019

Optimizing Parameters of Signal Temporal Logic Formulas with Local Search.

Sertaç Kagan Aydin, Ebru Aydin Göl

Proceedings of the 27th Signal Processing and Communications Applications Conference, 2019

A Novel MDP Based Decision Support Framework to Restore Earthquake Damaged Distribution Systems.

Ebru Aydin Gol, Burcu Güldür Erkal, Murat Göl

Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019

Clock reduction in timed automata while preserving design parameters.

Beyazit Yalcinkaya, Ebru Aydin Gol

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Cause Mining and Controller Synthesis with STL.

Irmak Saglam, Ebru Aydin Gol

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Synthesis of Monitoring Rules via Data Mining.

Ahmet Ketenci, Ebru Aydin Gol

Proceedings of the 2019 American Control Conference, 2019

2018

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.

Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta

IEEE Trans. Control. Netw. Syst., 2018

On the use of genetic algorithms for synthesis of signal temporal logic formulas.

Sertaç Kagan Aydin, Ebru Aydin Gol

Proceedings of the 26th Signal Processing and Communications Applications Conference, 2018

Efficient Online Monitoring and Formula Synthesis with Past STL.

Ebru Aydin Gol

Proceedings of the 5th International Conference on Control, 2018

Formal Control of Traffic Systems via Network Decomposition.

Kemal Cagri Bardakci, Ebru Aydin Gol

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Synthesis of formal control strategies for traffic networks via partitioning.

Kemal Cagri Bardakci, Ebru Aydin Gol

Proceedings of the 25th Signal Processing and Communications Applications Conference, 2017

2016

Traffic Network Control From Temporal Logic Specifications.

Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta

IEEE Trans. Control. Netw. Syst., 2016

2015

Temporal logic model predictive control.

Ebru Aydin Gol, Mircea Lazar, Calin Belta

Autom., 2015

Controlling a network of signalized intersections from temporal logical specifications.

Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta

Proceedings of the American Control Conference, 2015

2014

Language-Guided Controller Synthesis for Linear Systems.

Ebru Aydin Gol, Mircea Lazar, Calin Belta

IEEE Trans. Autom. Control., 2014

Finite Bisimulations for Switched Linear Systems.

Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta

IEEE Trans. Autom. Control., 2014

Temporal logic inference for classification and prediction from data.

Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

A formal methods approach to pattern synthesis in reaction diffusion systems.

Ebru Aydin Gol, Ezio Bartocci, Calin Belta

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

An additive cost approach to optimal Temporal Logic control.

Ebru Aydin Gol, Calin Belta

Proceedings of the American Control Conference, 2014

2013

Temporal logic model predictive control for discrete-time systems.

Ebru Aydin Gol, Mircea Lazar

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Data-driven verification of synthetic gene networks.

Ebru Aydin Gol, Douglas Densmore, Calin Belta

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Language-guided controller synthesis for discrete-time linear systems.

Ebru Aydin Gol, Mircea Lazar, Calin Belta

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Experimentally driven verification of synthetic biological circuits.

Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Time-Constrained Temporal Logic Control of Multi-Affine Systems.

Ebru Aydin Gol, Calin Belta

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Locomotion Gait Optimization For Modular Robots; Coevolving Morphology and Control.

Soha Pouya, Ebru Aydin Gol, Rico Möckel, Auke Jan Ijspeert

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

2010

A Plume Tracking Algorithm Based on Crosswind Formations.

Thomas Lochmatter, Ebru Aydin Göl, Iñaki Navarro, Alcherio Martinoli

Proceedings of the Distributed Autonomous Robotic Systems, 2010