SCI, SSCI ve AHCI İndekslerine Giren Dergilerde Yayınlanan Makaleler
Field teams coordination for earthquake-damaged distribution system energization
Reliability Engineering and System Safety
, cilt.245, 2024 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 1
- Captures
- Readers: 4
MDP based real time restoration for earthquake damaged active distribution systems
Electric Power Systems Research
, cilt.218, 2023 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 3
- Captures
- Readers: 6
An automated system repair framework with signal temporal logic
Acta Informatica
, cilt.59, sa.2-3, ss.183-209, 2022 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 6
- Captures
- Readers: 4
TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING
LOGICAL METHODS IN COMPUTER SCIENCE
, cilt.18, sa.3, 2022 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 2
- Captures
- Readers: 2
Control synthesis for parametric timed automata under reachability
TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES
, cilt.29, sa.3, ss.1751-1764, 2021 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 1
- Usage
- Downloads: 73
- Abstract Views: 28
- Captures
- Readers: 3
Synthesis of Monitoring Rules with STL
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS
, cilt.29, sa.11, 2020 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 5
- Captures
- Readers: 2
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
, cilt.5, sa.1, ss.308-320, 2018 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 31
- Captures
- Readers: 14
Formal Methods for Discrete-Time Dynamical Systems Background
FORMAL METHODS FOR DISCRETE-TIME DYNAMICAL SYSTEMS
, cilt.89, ss.257-271, 2017 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 9
- Captures
- Readers: 1
- Social Media
- Shares, Likes & Comments: 44
Traffic Network Control From Temporal Logic Specifications
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
, cilt.3, sa.2, ss.162-172, 2016 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 54
- Captures
- Readers: 27
Temporal logic model predictive control
AUTOMATICA
, cilt.56, ss.78-85, 2015 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 17
- Captures
- Readers: 29
Finite Bisimulations for Switched Linear Systems
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
, cilt.59, sa.12, ss.3122-3134, 2014 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 17
- Captures
- Readers: 25
Language-Guided Controller Synthesis for Linear Systems
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
, cilt.59, sa.5, ss.1163-1176, 2014 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 35
- Captures
- Readers: 22
Time-constrained temporal logic control of multi-affine systems
NONLINEAR ANALYSIS-HYBRID SYSTEMS
, cilt.10, ss.21-33, 2013 (SCI-Expanded)
PlumX Metrics
- Citations
- Citation Indexes: 14
- Captures
- Readers: 13
Diğer Dergilerde Yayınlanan Makaleler
Hakemli Kongre / Sempozyum Bildiri Kitaplarında Yer Alan Yayınlar
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration
7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Brussels, Belçika, 7 - 09 Temmuz 2021, cilt.54, ss.271-276
PlumX Metrics
- Citations
- Citation Indexes: 1
- Captures
- Readers: 4
MDP based Decision Support for Earthquake Damaged Distribution System Restoration
IEEE-PES General Meeting, 2 - 06 Ağustos 2020
PlumX Metrics
- Citations
- Citation Indexes: 4
- Captures
- Readers: 11
Learning Parameters of ptSTL Formulas with Backpropagation
28th Signal Processing and Communications Applications Conference (SIU), ELECTR NETWORK, 5 - 07 Ekim 2020
PlumX Metrics
- Citations
- Citation Indexes: 1
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
PlumX Metrics
- Citations
- Citation Indexes: 1
- Captures
- Readers: 6
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
PlumX Metrics
- Captures
- Readers: 1
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
PlumX Metrics
- Citations
- Citation Indexes: 5
- Captures
- Readers: 11
An Efficient Formula Synthesis Method with Past Signal Temporal Logic
5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), Belfast, Birleşik Krallık, 21 - 23 Ağustos 2019, cilt.52, ss.43-48
PlumX Metrics
- Citations
- Citation Indexes: 5
- Captures
- Readers: 3
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
PlumX Metrics
- Citations
- Citation Indexes: 8
- Captures
- Readers: 11
Formal Control of Traffic Systems via Network Decomposition
American Control Conference, Wisconsin, Amerika Birleşik Devletleri, 27 - 29 Haziran 2018
PlumX Metrics
- Citations
- Citation Indexes: 3
- Captures
- Readers: 11
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
PlumX Metrics
- Citations
- Citation Indexes: 3
- Captures
- Readers: 2
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
PlumX Metrics
- Citations
- Citation Indexes: 6
- Captures
- Readers: 2
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
PlumX Metrics
- Captures
- Readers: 2
Synthesis of Formal Control Strategies for Traffic Networks via Partitioning
25th Signal Processing and Communications Applications Conference (SIU), Antalya, Türkiye, 15 - 18 Mayıs 2017
PlumX Metrics
- Captures
- Readers: 2
Controlling a network of signalized intersections from temporal logical specifications
2015 American Control Conference (ACC), Chicago, IL, USA, 1 - 03 Temmuz 2015
PlumX Metrics
- Citations
- Citation Indexes: 13
- Captures
- Readers: 19
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
PlumX Metrics
- Citations
- Citation Indexes: 33
- Captures
- Readers: 26
An additive cost approach to optimal Temporal Logic control
2014 American Control Conference, Portland, OR, USA, 4 - 06 Haziran 2014
PlumX Metrics
- Captures
- Readers: 8
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
PlumX Metrics
- Citations
- Citation Indexes: 95
- Captures
- Readers: 52
Data driven verification of synthetic gene networks
52nd IEEE Conference on Decision and Control, Firenze, 10 - 13 Aralık 2013
PlumX Metrics
- Citations
- Citation Indexes: 1
- Captures
- Readers: 10
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
PlumX Metrics
- Citations
- Citation Indexes: 8
- Captures
- Readers: 9
Finite bisimulations for switched linear systems
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), Maui, HI, USA, 10 - 13 Aralık 2012
PlumX Metrics
- Citations
- Citation Indexes: 11
- Captures
- Readers: 3
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
PlumX Metrics
- Citations
- Citation Indexes: 27
- Captures
- Readers: 16
Experimentally driven verification of synthetic biological circuits
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, Almanya, 12 - 16 Mart 2012
PlumX Metrics
- Citations
- Citation Indexes: 5
- Captures
- Readers: 14
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
PlumX Metrics
- Citations
- Citation Indexes: 2
Locomotion Gait Optimization For Modular Robots; Coevolving Morphology and Control
2nd European Future Technologies Conference and Exhibition (FET), Budapest, Macaristan, 4 - 06 Mayıs 2011, cilt.7, ss.320-322
PlumX Metrics
- Citations
- Citation Indexes: 4
- Captures
- Readers: 19
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