Peer-reviewed papers
Fatih Acun, Sinan Kalkan, Ebru Aydin Gol. Traffic Prediction with Peak-Aware Temporal Graph Convolutional Networks. SIU 2022.
Fatih Acun, Ebru Aydin Gol. Traffic Prediction on Large Scale Traffic Networks Using ARIMA and K-Means. SIU 2021.
Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol. An Automated System Repair Framework with Signal Temporal Logic. Acta Informatica. 2021. 10.1007/s00236-021-00403-z
Ebru Aydin Gol. Control Synthesis for Parametric Timed Automata under Unavoidability Specifications. ECC’21.
Ilker Isik, Onur Yigit Arpali, Ebru Aydin Gol. Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration. ADHS’21.
Timed Automata Relaxation for Reachability. TACAS’21.
Ebru Aydin Gol. Control Synthesis for Parametric Timed Automata under Reachability. T.J. Elec. Eng. Comp. Sci. 2021.
Mustafa Yavuz Kara, Ebru Aydin Gol. Adaptive Cruise Control with Timed Automata. 21st IFAC World Congress, Berlin, Germany. 2020.
Ahmet Ketenci, Ebru Aydin Gol. Learning Parameters of ptSTL Formulas with Backpropagation. 28th Signal Processing and Communications Applications Conference (SIU). Gaziantep, Turkey. 2020.
Irmak Saglam, Ebru Aydin Gol. Synthesis of Controllable ptSTL Formulas. 28th Signal Processing and Communications Applications Conference (SIU). Gaziantep, Turkey. 2020.
Mert Ergurtuna, Ebru Aydin Gol. Classification of Time-Series Data using ptSTL. 28th Signal Processing and Communications Applications Conference (SIU). Gaziantep, Turkey. 2020.
Onur Yigit Arpali, Ugur Can Yilmaz, Ebru Aydin Gol, Burcu Guldur Erkal, Murat Gol. MDP based Decision Support for Earthquake Damaged Distribution System Restoration, IEEE PES General Meeting. Montreal, Canada. 2020
Sertac Kagan, Aydin, Ebru Aydin Gol. Synthesis of Monitoring Rules with STL. Journal of Circuits, Systems, and Computers. 2020
Irmak Saglam, Ebru Aydin Gol. Cause Mining and Controller Synthesis with STL. IEEE Conference on Decision and Control (CDC), Nice, France, 2019.
Ebru Aydin Gol, Burcu Guldur Erkal, Murat Gol. A Novel MDP Based Decision Support Framework to Restore Earthquake Damaged Distribution Systems. IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe) 2019.
Mert Ergurtuna, Ebru Aydin Gol. An Efficient Formula Synthesis Method with Past Signal Temporal Logic. 5th IFAC International Conference on Intelligent Control and Automation Science, (ICONS). Belfast, Northern Ireland. 2019.
Sertac Kağan Aydin, Ebru Aydin Gol. Optimizing Parameters of Signal Temporal Logic Formulas with Local Search. 27th Signal Processing and Communications Applications Conference (SIU) 2019.
Beyazit Yalcinkaya, Ebru Aydin Gol. Clock Reduction in Timed Automata while Preserving Design Parameters. Formal Methods in Software Engineering (FormaliSE), Montreal, CA. 2019.
Ahmet Ketenci, Ebru Aydin Gol. Synthesis of Monitoring Rules via Data Mining. American Control Conference (ACC), Philadelphia, PA. 2019.
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
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, 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
Before 2015
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, 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, 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 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
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