Publications

Journal Papers

Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta, A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks, IEEE Transactions on Control of Network Systems, vol. 5, no. 1, pp. 308-320, 2018 10.1109/TCNS.2016.2609138

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

Sertac Kağan Aydin, Ebru Aydin Gol. On the use of genetic algorithms for synthesis of signal temporal logic formulas. 26th Signal Processing and Communications Applications Conference (SIU) 2018

Ebru Aydin Gol, Efficient Online Monitoring and Formula Synthesis with Past STL, 5th IEEE International Conference on Control, Decision and Information Technologies (Codit) 2018

Kemal Cagri Bardakci, Ebru Aydin Gol, Formal Control of Traffic Systems Via Network Decomposition, American Control Conference (ACC) 2018

Kemal Cagri Bardakci, Ebru Aydin Gol, Synthesis of formal control strategies for traffic networks via partitioning, 25th Signal Processing and Communications Applications Conference (SIU) 2017 10.1109/SIU.2017.7960601

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