Ebru Aydin Gol
Title
Cited by
Cited by
Year
Formal methods for discrete-time dynamical systems
C Belta, B Yordanov, EA Gol
Springer, 2017
1792017
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
912014
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
542015
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
422012
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
352014
Language-guided controller synthesis for linear systems
EA Gol, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013
352013
Finite bisimulations for switched linear systems
EA Gol, X Ding, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (12), 3122-3134, 2014
342014
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
342012
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
272016
A plume tracking algorithm based on crosswind formations
T Lochmatter, EA Göl, I Navarro, A Martinoli
Distributed Autonomous Robotic Systems, 91-102, 2013
242013
Temporal logic model predictive control
EA Gol, M Lazar, C Belta
Automatica 56, 78-85, 2015
202015
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
82018
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
62011
Synthesis of monitoring rules via data mining
A Ketenci, EA Gol
2019 American Control Conference (ACC), 1684-1689, 2019
42019
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
32018
The system can't perform the operation now. Try again later.
Articles 1–20