Journal Papers
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, and Calin Belta, Traffic Network Control from Temporal Logic Specifications, IEEE Transactions on Control of Network Systems, vol. 3, no 3, 162-172, 2016 10.1109/TCNS.2015.2428471
Ebru Aydin Gol, Mircea Lazar, and Calin Belta, Temporal Logic Model Predictive Control, Automatica, vol. 56, pp. 78-85, 2015 10.1016/j.automatica.2015.03.029
Ebru Aydin Gol, Xuchu Ding, Mircea Lazar, and Calin Belta, Finite Bisimulations for Switched Linear Systems, IEEE Transactions on Automatic Control, vol. 59, no. 12, pp. 3122 – 3134, 2014 10.1109/TAC.2014.2351653
Ebru Aydin Gol, Mircea Lazar, Calin Belta, Language-Guided Controller Design for Linear Systems, IEEE Transactions on Automatic Control, vol. 59, no. 5, pp. 1163-1176, 2014 10.1109/TAC.2013.2295664
Ebru Aydin Gol and Calin Belta, Time-constrained temporal logic control of multi-affine systems, Nonlinear Analysis: Hybrid Systems (NAHS) vol. 10, November 2013, p. 21-33. 10.1016/j.nahs.2013.03.002
Conference Papers
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta, Controlling a Network of Signalized Intersections From Temporal Logical Specifications, American Control Conference (ACC) 2015 10.1109/ACC.2015.7171941
Ebru Aydin Gol, Ezio Bartocci, Calin Belta, A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems, 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA 2014 10.1109/CDC.2014.7039367
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol and Calin Belta ,Temporal Logic Inference for Classification and Prediction from Data, Hybrid Systems: Computation and Control (HSCC), Berlin, Germany, 2014 10.1145/2562059.2562146
Ebru Aydin Gol, Calin Belta, An Additive Cost Approach to Optimal Temporal Logic Control, American Control Conference (ACC), Portland, USA 2014 10.1109/ACC.2014.6859209
Ebru Aydin Gol, Douglas Densmore, Calin Belta, Data-driven Verification of Synthetic Gene Networks, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 10.1109/CDC.2013.6760513
Ebru Aydin Gol, Mircea Lazar and Calin Belta, Temporal Logic Model Predictive Control for Discrete-Time Systems, Hybrid Systems: Computation and Control (HSCC), Philadelphia, PA 2013 10.1145/2461328.2461379
Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, and Douglas Densmore,Experimentally driven verification of synthetic biological circuits, Design, Automation Test in Europe Conference Exhibition (DATE), 2012, pp. 236-241 10.1109/DATE.2012.6176468
Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta, Finite Bisimulations for Switched Linear Systems, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 10.1109/CDC.2012.6426654
Ebru Aydin Gol and Calin Belta, Time-Constrained Temporal Logic Control of Multi-Affine Systems, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012 10.3182/20120606-3-NL-3011.00054
Ebru Aydin Gol, Mircea Lazar, and Calin Belta, Language-Guided Controller Synthesis for Discrete-Time Linear Systems, Hybrid Systems Computation and Control (HSCC) 2012, Beijing, China 10.1145/2185632.2185649
Soha Pouya, Ebru Aydin, Rico Möckel, Auke Jan Ijspeert, Locomotion Gait Optimization For Modular Robots; Coevolving Morphology and Control, Procedia Computer Science, Volume 7, 2011, Pages 320-322, ISSN 1877-0509 10.1016/j.procs.2011.09.084
Thomas Lochmatter, Ebru Aydin, Inaki Navarro and Alcherio Martinoli, A plume tracking algorithm based on crosswind formations, Distributed Autonomous Robotic Systems (DARS) 2010, Lausanne, Switzerland, p. 91-102. 10.1007/978-3-642-32723-0_7