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
2252017
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
992014
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
602015
Language-guided controller synthesis for linear systems
EA Gol, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013
442013
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
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
362014
Finite bisimulations for switched linear systems
EA Gol, X Ding, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (12), 3122-3134, 2014
352014
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
352012
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
342016
A plume tracking algorithm based on crosswind formations
T Lochmatter, EA Göl, I Navarro, A Martinoli
Distributed Autonomous Robotic Systems, 91-102, 2013
252013
Temporal logic model predictive control
EA Gol, M Lazar, C Belta
Automatica 56, 78-85, 2015
222015
Time-constrained temporal logic control of multi-affine systems
EA Gol, C Belta
Nonlinear Analysis: Hybrid Systems 10, 21-33, 2013
202013
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
162015
Temporal logic model predictive control for discrete-time systems
E Aydin Gol, M Lazar
Proceedings of the 16th international conference on Hybrid systems …, 2013
162013
Efficient online monitoring and formula synthesis with past stl
EA Gol
2018 5th International Conference on Control, Decision and Information …, 2018
92018
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
On the use of genetic algorithms for synthesis of signal temporal logic formulas
SK Aydin, EA Gol
2018 26th Signal Processing and Communications Applications Conference (SIU …, 2018
62018
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
62011
Synthesis of monitoring rules via data mining
A Ketenci, EA Gol
2019 American Control Conference (ACC), 1684-1689, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20