Folgen
Ebru Aydin Gol
Titel
Zitiert von
Zitiert von
Jahr
Formal methods for discrete-time dynamical systems
C Belta, B Yordanov, EA Gol
Springer 89, 01, 2017
4312017
Temporal logic inference for classification and prediction from data
Z Kong, A Jones, A Medina Ayala, E Aydin Gol, C Belta
Proceedings of the 17th international conference on Hybrid systems …, 2014
1392014
Traffic network control from temporal logic specifications
S Coogan, EA Gol, M Arcak, C Belta
IEEE Transactions on Control of Network Systems 3 (2), 162-172, 2015
812015
A formal methods approach to pattern synthesis in reaction diffusion systems
EA Gol, E Bartocci, C Belta
53rd IEEE Conference on Decision and Control, 108-113, 2014
492014
Language-guided controller synthesis for linear systems
EA Gol, M Lazar, C Belta
IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013
492013
A formal methods approach to pattern recognition and synthesis in reaction diffusion networks
E Bartocci, EA Gol, I Haghighi, C Belta
IEEE Transactions on Control of Network Systems 5 (1), 308-320, 2016
442016
Language-guided controller synthesis for discrete-time linear systems
E Aydin Gol, M Lazar, C Belta
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
432012
Finite bisimulations for switched linear systems
EA Gol, X Ding, M Lazar, C Belta
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, 7632-7637, 2012
362012
A plume tracking algorithm based on crosswind formations
T Lochmatter, E Aydın Göl, I Navarro, A Martinoli
Distributed Autonomous Robotic Systems: The 10th International Symposium, 91-102, 2013
312013
Temporal logic model predictive control
EA Gol, M Lazar, C Belta
Automatica 56, 78-85, 2015
282015
Time-constrained temporal logic control of multi-affine systems
EA Gol, C Belta
Nonlinear Analysis: Hybrid Systems 10, 21-33, 2013
222013
Controlling a network of signalized intersections from temporal logical specifications
S Coogan, EA Gol, M Arcak, C Belta
2015 American Control Conference (ACC), 3919-3924, 2015
212015
Synthesis of monitoring rules via data mining
A Ketenci, EA Gol
2019 American Control Conference (ACC), 1684-1689, 2019
132019
Efficient online monitoring and formula synthesis with past stl
EA Gol
2018 5th International Conference on Control, Decision and Information …, 2018
122018
Synthesis of monitoring rules with STL
SK Aydin, EA Gol
Journal of Circuits, Systems and Computers 29 (11), 2050177, 2020
102020
An automated system repair framework with signal temporal logic
M Ergurtuna, B Yalcinkaya, E Aydin Gol
Acta Informatica 59 (2), 183-209, 2022
92022
A novel MDP based decision support framework to restore earthquake damaged distribution systems
EA Gol, BG Erkal, M Göl
2019 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe), 1-5, 2019
92019
An efficient formula synthesis method with past signal temporal logic
M Ergurtuna, EA Gol
IFAC-PapersOnLine 52 (11), 43-48, 2019
92019
An additive cost approach to optimal temporal logic control
EA Gol, C Belta
2014 American Control Conference, 1769-1774, 2014
82014
Traffic prediction on large scale traffic networks using ARIMA and K-means
F Acun, EA Gol
2021 29th Signal Processing and Communications Applications Conference (SIU …, 2021
72021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20