Ebru Aydin Gol

Orcid: 0000-0002-5813-9836

According to our database1, Ebru Aydin Gol authored at least 43 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Field teams coordination for earthquake-damaged distribution system energization.
Reliab. Eng. Syst. Saf., 2024

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba.
CoRR, 2024

2022
Timed Automata Robustness Analysis via Model Checking.
Log. Methods Comput. Sci., 2022

An automated system repair framework with signal temporal logic.
Acta Informatica, 2022

Traffic Prediction with Peak-Aware Temporal Graph Convolutional Networks.
Proceedings of the 30th Signal Processing and Communications Applications Conference, 2022

2021
Control synthesis for parametric timed automata under reachability.
Turkish J. Electr. Eng. Comput. Sci., May, 2021

Timed Automata Relaxation for Reachability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Traffic Prediction on Large Scale Traffic Networks Using ARIMA and K-Means.
Proceedings of the 29th Signal Processing and Communications Applications Conference, 2021

Control Synthesis for Parametric Timed Automata under Unavoidability Specifications.
Proceedings of the 2021 European Control Conference, 2021

Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
Synthesis of Monitoring Rules with STL.
J. Circuits Syst. Comput., 2020

Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas.
CoRR, 2020

Synthesis of Controllable ptSTL Formulas.
Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

Learning Parameters of ptSTL Formulas with Backpropagation.
Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

Classification of Time-Series Data using ptSTL.
Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

2019
MDP based Decision Support for Earthquake Damaged Distribution System Restoration.
CoRR, 2019

ATAC: A Tool for Automating Timed Automata Construction.
CoRR, 2019

An Efficient Formula Synthesis Method with Past Signal Temporal Logic.
CoRR, 2019

Optimizing Parameters of Signal Temporal Logic Formulas with Local Search.
Proceedings of the 27th Signal Processing and Communications Applications Conference, 2019

A Novel MDP Based Decision Support Framework to Restore Earthquake Damaged Distribution Systems.
Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019

Clock reduction in timed automata while preserving design parameters.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Cause Mining and Controller Synthesis with STL.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Synthesis of Monitoring Rules via Data Mining.
Proceedings of the 2019 American Control Conference, 2019

2018
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.
IEEE Trans. Control. Netw. Syst., 2018

On the use of genetic algorithms for synthesis of signal temporal logic formulas.
Proceedings of the 26th Signal Processing and Communications Applications Conference, 2018

Efficient Online Monitoring and Formula Synthesis with Past STL.
Proceedings of the 5th International Conference on Control, 2018

Formal Control of Traffic Systems via Network Decomposition.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Synthesis of formal control strategies for traffic networks via partitioning.
Proceedings of the 25th Signal Processing and Communications Applications Conference, 2017

2016
Traffic Network Control From Temporal Logic Specifications.
IEEE Trans. Control. Netw. Syst., 2016

2015
Temporal logic model predictive control.
Autom., 2015

Controlling a network of signalized intersections from temporal logical specifications.
Proceedings of the American Control Conference, 2015

2014
Language-Guided Controller Synthesis for Linear Systems.
IEEE Trans. Autom. Control., 2014

Finite Bisimulations for Switched Linear Systems.
IEEE Trans. Autom. Control., 2014

Temporal logic inference for classification and prediction from data.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

A formal methods approach to pattern synthesis in reaction diffusion systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

An additive cost approach to optimal Temporal Logic control.
Proceedings of the American Control Conference, 2014

2013
Temporal logic model predictive control for discrete-time systems.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Data-driven verification of synthetic gene networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Language-guided controller synthesis for discrete-time linear systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Experimentally driven verification of synthetic biological circuits.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Time-Constrained Temporal Logic Control of Multi-Affine Systems.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
Locomotion Gait Optimization For Modular Robots; Coevolving Morphology and Control.
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

2010
A Plume Tracking Algorithm Based on Crosswind Formations.
Proceedings of the Distributed Autonomous Robotic Systems, 2010


  Loading...