Yayınlar & Eserler

SCI, SSCI ve AHCI İndekslerine Giren Dergilerde Yayınlanan Makaleler

Synthesis of Monitoring Rules with STL

JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, cilt.29, 2020 (SCI İndekslerine Giren Dergi) identifier identifier

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

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, cilt.5, ss.308-320, 2018 (SCI İndekslerine Giren Dergi) identifier identifier

Formal Methods for Discrete-Time Dynamical Systems Background

FORMAL METHODS FOR DISCRETE-TIME DYNAMICAL SYSTEMS, cilt.89, ss.257-271, 2017 (SCI İndekslerine Giren Dergi) identifier

Traffic Network Control From Temporal Logic Specifications

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, cilt.3, ss.162-172, 2016 (SCI İndekslerine Giren Dergi) Creative Commons License identifier identifier

Temporal logic model predictive control

AUTOMATICA, cilt.56, ss.78-85, 2015 (SCI İndekslerine Giren Dergi) identifier identifier

Finite Bisimulations for Switched Linear Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, cilt.59, ss.3122-3134, 2014 (SCI İndekslerine Giren Dergi) Creative Commons License identifier identifier

Language-Guided Controller Synthesis for Linear Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, cilt.59, ss.1163-1176, 2014 (SCI İndekslerine Giren Dergi) Creative Commons License identifier identifier

Time-constrained temporal logic control of multi-affine systems

NONLINEAR ANALYSIS-HYBRID SYSTEMS, cilt.10, ss.21-33, 2013 (SCI İndekslerine Giren Dergi) Creative Commons License identifier identifier

Hakemli Kongre / Sempozyum Bildiri Kitaplarında Yer Alan Yayınlar

Synthesis of Monitoring Rules via Data Mining

American Control Conference, 10 - 12 Temmuz 2019 identifier

Clock Reduction in Timed Automata While Preserving Design Parameters

2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), Montreal, Kanada, 27 Mayıs 2019 identifier

An Efficient Formula Synthesis Method with Past Signal Temporal Logic

5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), Belfast, İngiltere, 21 - 23 Ağustos 2019, cilt.52, ss.43-48 identifier identifier

Cause Mining and Controller Synthesis with STL

58th IEEE Conference on Decision and Control (CDC), Nice, Fransa, 11 - 13 Aralık 2019, ss.4589-4594 identifier identifier

Optimizing Parameters of Signal Temporal Logic Formulas with Local Search

27th Signal Processing and Communications Applications Conference (SIU), Sivas, Türkiye, 24 - 26 Nisan 2019 identifier identifier

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

IEEE PES Innovative Smart Grid Technologies Europe (IEEE ISGT-Europe), Bucharest, Romanya, 29 Eylül - 02 Ekim 2019 identifier identifier

Formal Control of Traffic Systems via Network Decomposition

American Control Conference, Wisconsin, Amerika Birleşik Devletleri, 27 - 29 Haziran 2018 identifier

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

2018 26th Signal Processing and Communications Applications Conference (SIU), İzmir, Türkiye, 2 - 05 Mayıs 2018 identifier

Efficient Online Monitoring and Formula Synthesis with Past STL

2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Thessaloniki, Yunanistan, 10 - 13 Nisan 2018 identifier identifier

Trafik Aglarını Bölüntüleyerek Formel Kontrol Stratejilerinin Üretilmesi

25. SİNYAL İŞLEME ve İLETİŞİM UYGULAMALARI KURULTAYI, Antalya, Türkiye, 15 - 18 Mayıs 2017 identifier

A formal methods approach to pattern synthesis in reaction diffusion systems

53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA, 15 - 17 Aralık 2014 Creative Commons License identifier identifier

An additive cost approach to optimal Temporal Logic control

2014 American Control Conference, Portland, OR, USA, 4 - 06 Haziran 2014 Creative Commons License identifier

Temporal logic inference for classification and prediction from data

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14, Berlin, Germany, 15 - 17 Nisan 2014 identifier

Data driven verification of synthetic gene networks

52nd IEEE Conference on Decision and Control, Firenze, 10 - 13 Aralık 2013 identifier identifier

Temporal logic model predictive control for discrete time systems

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13, Philadelphia, Pennsylvania, USA, 8 - 11 Nisan 2013 identifier

Finite bisimulations for switched linear systems

2012 IEEE 51st IEEE Conference on Decision and Control (CDC), Maui, HI, USA, 10 - 13 Aralık 2012 Creative Commons License identifier identifier

Language guided controller synthesis for discrete time linear systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12, Beijing, China, 17 - 19 Nisan 2012, cilt.7, ss.320-322 identifier

Experimentally driven verification of synthetic biological circuits

2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, Almanya, 12 - 16 Mart 2012 Creative Commons License identifier

Time Constrained Temporal Logic Control of Multi Affine Systems

4th IFAC Conference on Analysis and Design of Hybrid Systems, 06 Haziran 2012, cilt.45, ss.102-107 Creative Commons License identifier

Kitap & Kitap Bölümleri

A Plume Tracking Algorithm Based on Crosswind Formations

Springer Tracts in Advanced Robotics, , Editör, Springer Berlin Heidelberg, ss.91-102, 2013