Dr. Öğr. Üyesi EBRU AYDIN GÖL

Yayın Ağı

SCI, SSCI ve AHCI İndekslerine Giren Dergilerde Yayınlanan Makaleler

Cycle encoding-based parameter synthesis for timed automata safety

Sucu B., AYDIN GÖL E.

Acta Informatica , cilt.61, sa.4, ss.333-356, 2024 (SCI-Expanded)

Field teams coordination for earthquake-damaged distribution system energization

IŞIK İ., AYDIN GÖL E.

Reliability Engineering and System Safety , cilt.245, 2024 (SCI-Expanded)

MDP based real time restoration for earthquake damaged active distribution systems

Arpali O. Y., Yilmaz U. C., GÜLDÜR ERKAL B., AYDIN GÖL E., GÖL M.

Electric Power Systems Research , cilt.218, 2023 (SCI-Expanded)

An automated system repair framework with signal temporal logic

Ergurtuna M., Yalcinkaya B., Aydin Göl E.

Acta Informatica , cilt.59, sa.2-3, ss.183-209, 2022 (SCI-Expanded)

TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING

Bendik J., Sencan A., AYDIN GÖL E., Cerna I.

LOGICAL METHODS IN COMPUTER SCIENCE , cilt.18, sa.3, 2022 (SCI-Expanded)

Control synthesis for parametric timed automata under reachability

GOL E.

TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES , cilt.29, sa.3, ss.1751-1764, 2021 (SCI-Expanded)

Synthesis of Monitoring Rules with STL

Aydin S. K., AYDIN GÖL E.

JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS , cilt.29, sa.11, 2020 (SCI-Expanded)

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

Bartocci E., AYDIN GÖL E., Haghighi I., Belta C.

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS , cilt.5, sa.1, ss.308-320, 2018 (SCI-Expanded)

Formal Methods for Discrete-Time Dynamical Systems Background

Belta C., Yordanov B., AYDIN GÖL E.

FORMAL METHODS FOR DISCRETE-TIME DYNAMICAL SYSTEMS , cilt.89, ss.257-271, 2017 (SCI-Expanded)

Traffic Network Control From Temporal Logic Specifications

Coogan S., AYDIN GÖL E., Arcak M., Belta C.

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS , cilt.3, sa.2, ss.162-172, 2016 (SCI-Expanded)

Temporal logic model predictive control

AYDIN GÖL E., Lazar M., Belta C.

AUTOMATICA , cilt.56, ss.78-85, 2015 (SCI-Expanded)

Finite Bisimulations for Switched Linear Systems

AYDIN GÖL E., Ding X., Lazar M., Belta C.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL , cilt.59, sa.12, ss.3122-3134, 2014 (SCI-Expanded)

Language-Guided Controller Synthesis for Linear Systems

AYDIN GÖL E., Lazar M., Belta C.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL , cilt.59, sa.5, ss.1163-1176, 2014 (SCI-Expanded)

Time-constrained temporal logic control of multi-affine systems

AYDIN GÖL E., Belta C.

NONLINEAR ANALYSIS-HYBRID SYSTEMS , cilt.10, ss.21-33, 2013 (SCI-Expanded)

Diğer Dergilerde Yayınlanan Makaleler

Formel Yaklaşımlar ile Sürüm Değerlendirme

AYDIN GÖL E.

Acta Infologica , cilt.5, sa.1, ss.129-140, 2021 (Hakemli Dergi)

Hakemli Kongre / Sempozyum Bildiri Kitaplarında Yer Alan Yayınlar

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

Isik I., ARPALI O. Y., AYDIN GÖL E.

7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Brussels, Belçika, 7 - 09 Temmuz 2021, cilt.54, ss.271-276

MDP based Decision Support for Earthquake Damaged Distribution System Restoration

ARPALI O. Y., YILMAZ U. C., AYDIN GÖL E., GÜLDÜR ERKAL B., GÖL M.

IEEE-PES General Meeting, 2 - 06 Ağustos 2020

Classification of Time-Series Data using ptSTL

Ergurtuna M., Gol E.

28th Signal Processing and Communications Applications Conference (SIU), ELECTR NETWORK, 5 - 07 Ekim 2020

Synthesis of Controllable ptSTL Formulas

Saglam I., Gol E.

28th Signal Processing and Communications Applications Conference (SIU), ELECTR NETWORK, 5 - 07 Ekim 2020

Learning Parameters of ptSTL Formulas with Backpropagation

Ketenci A., Gol E.

28th Signal Processing and Communications Applications Conference (SIU), ELECTR NETWORK, 5 - 07 Ekim 2020

Synthesis of Monitoring Rules via Data Mining

ketenci a., AYDIN GÖL E.

American Control Conference, 10 - 12 Temmuz 2019

Clock Reduction in Timed Automata While Preserving Design Parameters

Yancinkaya B., Aydın Göl E.

2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), Montreal, Kanada, 27 Mayıs 2019

Optimizing Parameters of Signal Temporal Logic Formulas with Local Search

Aydin S. K., AYDIN GÖL E.

27th Signal Processing and Communications Applications Conference (SIU), Sivas, Türkiye, 24 - 26 Nisan 2019

Cause Mining and Controller Synthesis with STL

Saglam I., AYDIN GÖL E.

58th IEEE Conference on Decision and Control (CDC), Nice, Fransa, 11 - 13 Aralık 2019, ss.4589-4594

An Efficient Formula Synthesis Method with Past Signal Temporal Logic

Ergurtuna M., AYDIN GÖL E.

5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), Belfast, Birleşik Krallık, 21 - 23 Ağustos 2019, cilt.52, ss.43-48

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

AYDIN GÖL E., GÜLDÜR ERKAL B., GÖL M.

IEEE PES Innovative Smart Grid Technologies Europe (IEEE ISGT-Europe), Bucharest, Romanya, 29 Eylül - 02 Ekim 2019

Formal Control of Traffic Systems via Network Decomposition

Bardakci K. C., Aydın Göl E.

American Control Conference, Wisconsin, Amerika Birleşik Devletleri, 27 - 29 Haziran 2018

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

Aydin S. K., Aydın Göl E.

2018 26th Signal Processing and Communications Applications Conference (SIU), İzmir, Türkiye, 2 - 05 Mayıs 2018

Efficient Online Monitoring and Formula Synthesis with Past STL

Aydın Göl E.

2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Thessaloniki, Yunanistan, 10 - 13 Nisan 2018

Trafik Aglarını Bölüntüleyerek Formel Kontrol Stratejilerinin Üretilmesi

Bardakci K. C., Aydın Göl E.

25. SİNYAL İŞLEME ve İLETİŞİM UYGULAMALARI KURULTAYI, Antalya, Türkiye, 15 - 18 Mayıs 2017

Synthesis of Formal Control Strategies for Traffic Networks via Partitioning

Bardakci K. C., AYDIN GÖL E.

25th Signal Processing and Communications Applications Conference (SIU), Antalya, Türkiye, 15 - 18 Mayıs 2017

Controlling a network of signalized intersections from temporal logical specifications

Coogan S., AYDIN GÖL E., Arcak M., Belta C.

2015 American Control Conference (ACC), Chicago, IL, USA, 1 - 03 Temmuz 2015

A formal methods approach to pattern synthesis in reaction diffusion systems

AYDIN GÖL E., Bartocci E., Belta C.

53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA, 15 - 17 Aralık 2014

An additive cost approach to optimal Temporal Logic control

AYDIN GÖL E., Belta C.

2014 American Control Conference, Portland, OR, USA, 4 - 06 Haziran 2014

Temporal logic inference for classification and prediction from data

Kong Z., Jones A., Medina A. A., AYDIN GÖL E., Belta C.

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14, Berlin, Germany, 15 - 17 Nisan 2014

Data driven verification of synthetic gene networks

AYDIN GÖL E., Densmore D., Belta C.

52nd IEEE Conference on Decision and Control, Firenze, 10 - 13 Aralık 2013

Temporal logic model predictive control for discrete time systems

AYDIN GÖL E., Lazar M.

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13, Philadelphia, Pennsylvania, USA, 8 - 11 Nisan 2013

Finite bisimulations for switched linear systems

AYDIN GÖL E., Ding X., Lazar M., Belta C.

2012 IEEE 51st IEEE Conference on Decision and Control (CDC), Maui, HI, USA, 10 - 13 Aralık 2012

A Plume Tracking Algorithm Based on Crosswind Formations

Lochmatter T., Goel E., Navarro I., Martinoli A.

10th International Symposium on Distributed Autonomous Robotic Systems, Lausanne, İsviçre, 1 - 03 Kasım 2010, cilt.83, ss.91-93

Language guided controller synthesis for discrete time linear systems

AYDIN GÖL E., Lazar M., Belta C.

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12, Beijing, China, 17 - 19 Nisan 2012, cilt.7, ss.320-322