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
4482017
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
1412014
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
812015
Language-guided controller synthesis for linear systems
EA Gol, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013
502013
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
492014
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
452016
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
432012
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
362012
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
312013
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
212015
Synthesis of monitoring rules via data mining
A Ketenci, EA Gol
2019 American Control Conference (ACC), 1684-1689, 2019
132019
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
102022
Synthesis of monitoring rules with STL
SK Aydin, EA Gol
Journal of Circuits, Systems and Computers 29 (11), 2050177, 2020
102020
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
92019
An efficient formula synthesis method with past signal temporal logic
M Ergurtuna, EA Gol
IFAC-PapersOnLine 52 (11), 43-48, 2019
92019
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
82021
An additive cost approach to optimal temporal logic control
EA Gol, C Belta
2014 American Control Conference, 1769-1774, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–20