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

Yayın Ağı

Makaleler 15

1. 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, Scopus)

2. 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, Scopus)

3. 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, Scopus)

4. 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, Scopus)

5. 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, Scopus)

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

AYDIN GÖL E.

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

7. 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, Scopus, TRDizin)

8. 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, Scopus)

9. 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, Scopus)

10. 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)

11. 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, Scopus)

12. Temporal logic model predictive control

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

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

13. 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, Scopus)

14. 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, Scopus)

15. 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, Scopus)

Hakemli Bilimsel Toplantılarda Yayımlanmış Bildiriler 28

1. 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, (Tam Metin Bildiri)

2. 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, (Tam Metin Bildiri)

3. 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, (Tam Metin Bildiri)

4. Synthesis of Controllable ptSTL Formulas

Saglam I., Gol E.

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

5. 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, (Tam Metin Bildiri)

6. Synthesis of Monitoring Rules via Data Mining

ketenci a., AYDIN GÖL E.

American Control Conference, 10 - 12 Temmuz 2019, (Tam Metin Bildiri)

7. 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, (Tam Metin Bildiri)

8. 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, (Tam Metin Bildiri)

9. 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, (Tam Metin Bildiri)

10. 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, (Tam Metin Bildiri)

11. 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, (Tam Metin Bildiri)

12. 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, (Tam Metin Bildiri)

13. 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, (Tam Metin Bildiri)

14. 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, (Tam Metin Bildiri)

15. 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, (Tam Metin Bildiri)

16. 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, (Tam Metin Bildiri)

17. 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, (Tam Metin Bildiri)

18. 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, (Tam Metin Bildiri)

19. 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, (Tam Metin Bildiri)

20. 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, (Tam Metin Bildiri)

21. 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, (Tam Metin Bildiri)

22. 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, (Tam Metin Bildiri)

23. 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, (Tam Metin Bildiri)

24. 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, (Tam Metin Bildiri)

25. 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, (Tam Metin Bildiri)