Edit Profile (opens in new tab) Aydin Gol, Ebru Compute Distance To: Compute Author ID: aydin-gol.ebru Published as: Aydin Gol, Ebru; Gol, Ebru Aydin Homepage: http://user.ceng.metu.edu.tr/~ebru/wordpress/ External Links: ORCID · dblp Documents Indexed: 13 Publications since 2012, including 1 Book Co-Authors: 16 Co-Authors with 13 Joint Publications 303 Co-Co-Authors all top 5 Co-Authors 0 single-authored 9 Belta, Calin A. 5 Lazar, Mircea 2 Bendík, Jaroslav 2 Černá, Ivana 2 Sencan, Ahmet 1 Arcak, Murat 1 Bartocci, Ezio 1 Coogan, Samuel 1 Ding, Xuchu 1 Ergurtuna, Mert 1 Haghighi, Iman 1 Jones, Austin H. 1 Kong, Zhaodan 1 Medina Ayala, Ana 1 Yalcinkaya, Beyazit 1 Yordanov, Boyan all top 5 Serials 2 IEEE Transactions on Automatic Control 2 IEEE Transactions on Control of Network Systems 1 Acta Informatica 1 Automatica 1 Logical Methods in Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 Studies in Systems, Decision and Control all top 5 Fields 10 Computer science (68-XX) 7 Systems theory; control (93-XX) 4 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 Partial differential equations (35-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 55 times in 47 Documents Cited by ▼ Year ▼ Formal methods for discrete-time dynamical systems. Zbl 1409.93003Belta, Calin; Yordanov, Boyan; Aydin Gol, Ebru 19 2017 Temporal logic inference for classification and prediction from data. Zbl 1362.68266Kong, Zhaodan; Jones, Austin; Medina Ayala, Ana; Aydin Gol, Ebru; Belta, Calin 8 2014 Finite bisimulations for switched linear systems. Zbl 1360.93461Aydin Gol, Ebru; Ding, Xuchu; Lazar, Mircea; Belta, Calin 6 2014 Language-guided controller synthesis for linear systems. Zbl 1360.93424Gol, Ebru Aydin; Lazar, Mircea; Belta, Calin 6 2014 A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. Zbl 06995908Bartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin 5 2018 Language-guided controller synthesis for discrete-time linear systems. Zbl 1361.68114Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin 4 2012 Traffic network control from temporal logic specifications. Zbl 1370.68198Coogan, Samuel; Gol, Ebru Aydin; Arcak, Murat; Belta, Calin 3 2016 Temporal logic model predictive control. Zbl 1323.93031Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin 2 2015 Temporal logic model predictive control for discrete-time systems. Zbl 1362.93092Aydin Gol, Ebru; Lazar, Mircea 1 2013 An automated system repair framework with signal temporal logic. Zbl 07528109Ergurtuna, Mert; Yalcinkaya, Beyazit; Aydin Gol, Ebru 1 2022 An automated system repair framework with signal temporal logic. Zbl 07528109Ergurtuna, Mert; Yalcinkaya, Beyazit; Aydin Gol, Ebru 1 2022 A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. Zbl 06995908Bartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin 5 2018 Formal methods for discrete-time dynamical systems. Zbl 1409.93003Belta, Calin; Yordanov, Boyan; Aydin Gol, Ebru 19 2017 Traffic network control from temporal logic specifications. Zbl 1370.68198Coogan, Samuel; Gol, Ebru Aydin; Arcak, Murat; Belta, Calin 3 2016 Temporal logic model predictive control. Zbl 1323.93031Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin 2 2015 Temporal logic inference for classification and prediction from data. Zbl 1362.68266Kong, Zhaodan; Jones, Austin; Medina Ayala, Ana; Aydin Gol, Ebru; Belta, Calin 8 2014 Finite bisimulations for switched linear systems. Zbl 1360.93461Aydin Gol, Ebru; Ding, Xuchu; Lazar, Mircea; Belta, Calin 6 2014 Language-guided controller synthesis for linear systems. Zbl 1360.93424Gol, Ebru Aydin; Lazar, Mircea; Belta, Calin 6 2014 Temporal logic model predictive control for discrete-time systems. Zbl 1362.93092Aydin Gol, Ebru; Lazar, Mircea 1 2013 Language-guided controller synthesis for discrete-time linear systems. Zbl 1361.68114Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin 4 2012 all cited Publications top 5 cited Publications all top 5 Cited by 122 Authors 5 Bartocci, Ezio 5 Girard, Antoine 4 Aydin Gol, Ebru 4 Belta, Calin A. 4 Dimarogonas, Dimos V. 3 Bortolussi, Luca 3 Liu, Jun 3 Nenzi, Laura 3 Nickovic, Dejan 3 Ozay, Necmiye 2 Apaza-Perez, W. Alejandro 2 Boskos, Dimitris 2 Černá, Ivana 2 Chen, Zengqiang 2 Combastel, Christophe 2 Deshmukh, Jyotirmoy V. 2 Han, Xiaoguang 2 Loreti, Michele 2 Pola, Giordano 2 Raisch, Jörg 2 Saoud, Adnane 2 Seshia, Sanjit Arunkumar 2 Zolghadri, Ali 1 Abate, Alessandro 1 Adjé, Assalé 1 Ahrendt, Wolfgang 1 Aksaray, Derya 1 Aréchiga, Nikos 1 Basset, Nicolas 1 Baştuğ, Mert 1 Bendík, Jaroslav 1 Beneš, Nikola 1 Bianculli, Domenico 1 Bloem, Roderick 1 Borri, Alessandro 1 Brim, Luboš 1 Bushnell, Linda G. 1 Cassandras, Christos G. 1 Chatterjee, Krishnendu 1 Chmelík, Martin 1 Ciancia, Vincenzo 1 Colombo, Christian 1 Cowlagi, Raghvendra V. 1 Dang, Thao 1 DeCastro, Jonathan A. 1 Di Benedetto, Maria Domenica 1 Donzé, Alexandre 1 Eqtami, Alina 1 Ergurtuna, Mert 1 Falcone, Yliès 1 Fang, Jie 1 Francalanza, Adrian 1 Ghosh, Shromona 1 Gößler, Gregor 1 Hashimoto, Kazumune 1 Hsu, Kyle 1 Jha, Susmit 1 Jin, Xiaoqing 1 Juniwal, Garvit 1 Karagulle, Ruya 1 Katoen, Joost-Pieter 1 Křetínský, Jan 1 Krstić, Srđan 1 Lafortune, Stéphane 1 Lavaei, Abolfazl 1 Lazar, Mircea 1 Leth, John 1 Lourenço, João M. 1 Maderbacher, Benedikt 1 Majumdar, Rupak 1 Malik, Robi 1 Mallik, Kaushik 1 Mambakam, Akshay 1 Manjunath, Niveditha 1 Masciulli, Tommaso 1 Massink, Mieke 1 Mateis, Cristinel 1 Meng, Yiming 1 Mereacre, Alexandru 1 Meyer, Pierre-Jean 1 Mohajerani, Sahar 1 Moor, Thomas 1 Muscholl, Anca 1 Nenchev, Vladislav 1 Nesterini, Eleonora 1 Nilsson, Petter 1 Niu, Luyao 1 Pace, Gordon J. 1 Pastva, Samuel 1 Petreczky, Mihály 1 Poovendran, Radha 1 Qin, Xin 1 Ramasubramanian, Bhaskar 1 Requeno Jarabo, José Ignacio 1 Rufino, José 1 Šafránek, David 1 Sahai, Tuhin 1 Sánchez, César 1 Sanguinetti, Guido 1 Schmuck, Anne-Kathrin ...and 22 more Authors all top 5 Cited in 15 Serials 11 Automatica 5 Nonlinear Analysis. Hybrid Systems 3 Discrete Event Dynamic Systems 3 Formal Methods in System Design 3 Logical Methods in Computer Science 2 Acta Informatica 2 Theoretical Computer Science 2 Systems & Control Letters 2 Information and Computation 2 European Journal of Control 1 Journal of the Franklin Institute 1 Journal of Optimization Theory and Applications 1 SIAM Journal on Control and Optimization 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 International Journal of Applied Mathematics and Computer Science all top 5 Cited in 8 Fields 29 Systems theory; control (93-XX) 24 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 4 Operations research, mathematical programming (90-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Probability theory and stochastic processes (60-XX) 1 Biology and other natural sciences (92-XX) Citations by Year