Formal methods for discrete-time dynamical systems C Belta, B Yordanov, EA Gol Springer International Publishing, 2017 | 346 | 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 | 123 | 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 | 76 | 2015 |
Language-guided controller synthesis for linear systems EA Gol, M Lazar, C Belta IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013 | 48 | 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 | 46 | 2014 |
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 | 44 | 2012 |
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 | 40 | 2016 |
Finite bisimulations for switched linear systems EA Gol, X Ding, M Lazar, C Belta IEEE Transactions on Automatic Control 59 (12), 3122-3134, 2014 | 36 | 2014 |
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 | 36 | 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 | 31 | 2013 |
Temporal logic model predictive control EA Gol, M Lazar, C Belta Automatica 56, 78-85, 2015 | 28 | 2015 |
Time-constrained temporal logic control of multi-affine systems EA Gol, C Belta Nonlinear Analysis: Hybrid Systems 10, 21-33, 2013 | 22 | 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 | 19 | 2015 |
Efficient online monitoring and formula synthesis with past stl EA Gol 2018 5th International Conference on Control, Decision and Information …, 2018 | 11 | 2018 |
An automated system repair framework with signal temporal logic M Ergurtuna, B Yalcinkaya, E Aydin Gol Acta Informatica 59 (2-3), 183-209, 2022 | 10 | 2022 |
Synthesis of monitoring rules via data mining A Ketenci, EA Gol 2019 American Control Conference (ACC), 1684-1689, 2019 | 10 | 2019 |
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 | 7 | 2021 |
An additive cost approach to optimal temporal logic control EA Gol, C Belta 2014 American Control Conference, 1769-1774, 2014 | 7 | 2014 |
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 | 7 | 2012 |
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 | 7 | 2011 |