Ebru Aydin Gol
Cited by
Cited by
Formal methods for discrete-time dynamical systems
C Belta, B Yordanov, EA Gol
Springer 89, 01, 2017
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
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
Language-guided controller synthesis for linear systems
EA Gol, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013
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
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
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
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
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
Temporal logic model predictive control
EA Gol, M Lazar, C Belta
Automatica 56, 78-85, 2015
Time-constrained temporal logic control of multi-affine systems
EA Gol, C Belta
Nonlinear Analysis: Hybrid Systems 10, 21-33, 2013
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
Synthesis of monitoring rules via data mining
A Ketenci, EA Gol
2019 American Control Conference (ACC), 1684-1689, 2019
Efficient online monitoring and formula synthesis with past stl
EA Gol
2018 5th International Conference on Control, Decision and Information …, 2018
An automated system repair framework with signal temporal logic
M Ergurtuna, B Yalcinkaya, E Aydin Gol
Acta Informatica 59 (2), 183-209, 2022
Synthesis of monitoring rules with STL
SK Aydin, EA Gol
Journal of Circuits, Systems and Computers 29 (11), 2050177, 2020
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
An efficient formula synthesis method with past signal temporal logic
M Ergurtuna, EA Gol
IFAC-PapersOnLine 52 (11), 43-48, 2019
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
An additive cost approach to optimal temporal logic control
EA Gol, C Belta
2014 American Control Conference, 1769-1774, 2014
The system can't perform the operation now. Try again later.
Articles 1–20