Follow
Ebru Aydin Gol
Title
Cited by
Cited by
Year
Formal methods for discrete-time dynamical systems
C Belta, B Yordanov, EA Gol
Springer 89, 01, 2017
4972017
Temporal logic inference for classification and prediction from data
Z Kong, A Jones, A Medina Ayala, E Aydin Gol, C Belta
Proceedings of the 17th international conference on Hybrid systems …, 2014
1482014
Traffic network control from temporal logic specifications
S Coogan, EA Gol, M Arcak, C Belta
IEEE Transactions on Control of Network Systems 3 (2), 162-172, 2015
862015
Language-guided controller synthesis for linear systems
EA Gol, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013
512013
A formal methods approach to pattern recognition and synthesis in reaction diffusion networks
E Bartocci, EA Gol, I Haghighi, C Belta
IEEE Transactions on Control of Network Systems 5 (1), 308-320, 2016
502016
A formal methods approach to pattern synthesis in reaction diffusion systems
EA Gol, E Bartocci, C Belta
53rd IEEE Conference on Decision and Control, 108-113, 2014
502014
Language-guided controller synthesis for discrete-time linear systems
E Aydin Gol, M Lazar, C Belta
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
452012
Finite bisimulations for switched linear systems
EA Gol, X Ding, M Lazar, C Belta
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, 7632-7637, 2012
382012
A plume tracking algorithm based on crosswind formations
T Lochmatter, E Aydın Göl, I Navarro, A Martinoli
Distributed Autonomous Robotic Systems: The 10th International Symposium, 91-102, 2013
332013
Temporal logic model predictive control
EA Gol, M Lazar, C Belta
Automatica 56, 78-85, 2015
282015
Time-constrained temporal logic control of multi-affine systems
EA Gol, C Belta
Nonlinear Analysis: Hybrid Systems 10, 21-33, 2013
242013
Controlling a network of signalized intersections from temporal logical specifications
S Coogan, EA Gol, M Arcak, C Belta
2015 American Control Conference (ACC), 3919-3924, 2015
222015
Temporal logic model predictive control for discrete-time systems
E Aydin Gol, M Lazar
Proceedings of the 16th international conference on Hybrid systems …, 2013
172013
Synthesis of monitoring rules via data mining
A Ketenci, EA Gol
2019 American Control Conference (ACC), 1684-1689, 2019
142019
A novel MDP based decision support framework to restore earthquake damaged distribution systems
EA Gol, BG Erkal, M Göl
2019 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe), 1-5, 2019
122019
Efficient online monitoring and formula synthesis with past stl
EA Gol
2018 5th International Conference on Control, Decision and Information …, 2018
122018
An automated system repair framework with signal temporal logic
M Ergurtuna, B Yalcinkaya, E Aydin Gol
Acta Informatica 59 (2), 183-209, 2022
112022
Traffic prediction on large scale traffic networks using ARIMA and K-means
F Acun, EA Gol
2021 29th Signal Processing and Communications Applications Conference (SIU …, 2021
112021
Synthesis of monitoring rules with STL
SK Aydin, EA Gol
Journal of Circuits, Systems and Computers 29 (11), 2050177, 2020
112020
An efficient formula synthesis method with past signal temporal logic
M Ergurtuna, EA Gol
IFAC-PapersOnLine 52 (11), 43-48, 2019
92019
The system can't perform the operation now. Try again later.
Articles 1–20