Follow
Ebru Aydin Gol
Title
Cited by
Cited by
Year
Formal methods for discrete-time dynamical systems
C Belta, B Yordanov, EA Gol
Springer International Publishing, 2017
3462017
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
1232014
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
762015
Language-guided controller synthesis for linear systems
EA Gol, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013
482013
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
462014
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
442012
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
402016
Finite bisimulations for switched linear systems
EA Gol, X Ding, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (12), 3122-3134, 2014
362014
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
222013
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
192015
Efficient online monitoring and formula synthesis with past stl
EA Gol
2018 5th International Conference on Control, Decision and Information …, 2018
112018
An automated system repair framework with signal temporal logic
M Ergurtuna, B Yalcinkaya, E Aydin Gol
Acta Informatica 59 (2-3), 183-209, 2022
102022
Synthesis of monitoring rules via data mining
A Ketenci, EA Gol
2019 American Control Conference (ACC), 1684-1689, 2019
102019
Timed automata relaxation for reachability
J Bendík, A Sencan, EA Gol, I Černá
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
72021
An additive cost approach to optimal temporal logic control
EA Gol, C Belta
2014 American Control Conference, 1769-1774, 2014
72014
Experimentally driven verification of synthetic biological circuits
B Yordanov, E Appleton, R Ganguly, EA Gol, SB Carr, S Bhatia, ...
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 …, 2012
72012
Locomotion gait optimization for modular robots; coevolving morphology and control
S Pouya, E Aydin, R Möckel, AJ Ijspeert
Procedia Computer Science 7, 320-322, 2011
72011
The system can't perform the operation now. Try again later.
Articles 1–20