Ebru Aydin Gol

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cycle encoding-based parameter synthesis for timed automata safety Acta Informatica	2024-11-07	Paper
scientific article; zbMATH DE number 7577576 (Why is no real title available?) (available as arXiv preprint)	2022-08-30	Paper
scientific article; zbMATH DE number 7577576 (Why is no real title available?)	2022-08-30	Paper
An automated system repair framework with signal temporal logic Acta Informatica	2022-05-17	Paper
Timed automata relaxation for reachability	2021-08-04	Paper
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks IEEE Transactions on Control of Network Systems	2018-12-19	Paper
Traffic Network Control From Temporal Logic Specifications IEEE Transactions on Control of Network Systems	2017-09-21	Paper
Formal methods for discrete-time dynamical systems Studies in Systems, Decision and Control	2017-07-31	Paper
Finite Bisimulations for Switched Linear Systems IEEE Transactions on Automatic Control	2017-05-16	Paper
Language-guided controller synthesis for discrete-time linear systems Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control	2017-05-16	Paper
Language-Guided Controller Synthesis for Linear Systems IEEE Transactions on Automatic Control	2017-05-16	Paper
Temporal logic model predictive control for discrete-time systems Proceedings of the 16th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Temporal logic inference for classification and prediction from data Proceedings of the 17th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Temporal logic model predictive control Automatica	2015-11-05	Paper
Time-constrained temporal logic control of multi-affine systems Nonlinear Analysis. Hybrid Systems	2014-07-24	Paper

Research outcomes over time

This page was built for person: Ebru Aydin Gol