Ebru Aydin Gol

Acta Informatica, 2022

Traffic Prediction with Peak-Aware Temporal Graph Convolutional Networks.

[BibT_eX]

[DOI]

Fatih Acun

Sinan Kalkan

Proceedings of the 30th Signal Processing and Communications Applications Conference, 2022

2021

Control synthesis for parametric timed automata under reachability.

[BibT_eX]

[DOI]

Ebru Aydin Göl

Turkish J. Electr. Eng. Comput. Sci., May, 2021

Timed Automata Relaxation for Reachability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Fatih Acun

Proceedings of the 29th Signal Processing and Communications Applications Conference, 2021

Control Synthesis for Parametric Timed Automata under Unavoidability Specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ilker Isik

Onur Yigit Arpali

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Synthesis of Monitoring Rules with STL.

[BibT_eX]

[DOI]

Sertaç Kagan Aydin

J. Circuits Syst. Comput., 2020

Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas.

[BibT_eX]

[DOI]

Irmak Saglam

CoRR, 2020

Synthesis of Controllable ptSTL Formulas.

[BibT_eX]

[DOI]

Irmak Saglam

Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

Learning Parameters of ptSTL Formulas with Backpropagation.

[BibT_eX]

[DOI]

Ahmet Ketenci

Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

Classification of Time-Series Data using ptSTL.

[BibT_eX]

[DOI]

Mert Ergürtuna

Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

2019

MDP based Decision Support for Earthquake Damaged Distribution System Restoration.

[BibT_eX]

[DOI]

CoRR, 2019

ATAC: A Tool for Automating Timed Automata Construction.

[BibT_eX]

[DOI]

Beyazit Yalcinkaya

CoRR, 2019

An Efficient Formula Synthesis Method with Past Signal Temporal Logic.

[BibT_eX]

[DOI]

Mert Ergurtuna

CoRR, 2019

Optimizing Parameters of Signal Temporal Logic Formulas with Local Search.

[BibT_eX]

[DOI]

Sertaç Kagan Aydin

Ebru Aydin Göl

Proceedings of the 27th Signal Processing and Communications Applications Conference, 2019

A Novel MDP Based Decision Support Framework to Restore Earthquake Damaged Distribution Systems.

[BibT_eX]

[DOI]

Burcu Güldür Erkal

Murat Göl

Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019

Clock reduction in timed automata while preserving design parameters.

[BibT_eX]

[DOI]

Beyazit Yalcinkaya

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Cause Mining and Controller Synthesis with STL.

[BibT_eX]

[DOI]

Irmak Saglam

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Synthesis of Monitoring Rules via Data Mining.

[BibT_eX]

[DOI]

Ahmet Ketenci

Proceedings of the 2019 American Control Conference, 2019

2018

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

On the use of genetic algorithms for synthesis of signal temporal logic formulas.

[BibT_eX]

[DOI]

Sertaç Kagan Aydin

Proceedings of the 26th Signal Processing and Communications Applications Conference, 2018

Efficient Online Monitoring and Formula Synthesis with Past STL.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Control, 2018

Formal Control of Traffic Systems via Network Decomposition.

[BibT_eX]

[DOI]

Kemal Cagri Bardakci

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Synthesis of formal control strategies for traffic networks via partitioning.

[BibT_eX]

[DOI]

Kemal Cagri Bardakci

Proceedings of the 25th Signal Processing and Communications Applications Conference, 2017

2016

Traffic Network Control From Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2016

2015

Temporal logic model predictive control.

[BibT_eX]

[DOI]

Autom., 2015

Controlling a network of signalized intersections from temporal logical specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Language-Guided Controller Synthesis for Linear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Finite Bisimulations for Switched Linear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Temporal logic inference for classification and prediction from data.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ezio Bartocci

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

An additive cost approach to optimal Temporal Logic control.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Temporal logic model predictive control for discrete-time systems.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Data-driven verification of synthetic gene networks.

[BibT_eX]

[DOI]

Douglas Densmore

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Language-guided controller synthesis for discrete-time linear systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Experimentally driven verification of synthetic biological circuits.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Time-Constrained Temporal Logic Control of Multi-Affine Systems.

[BibT_eX]

[DOI]