Ebru Aydin Gol

Available identifiers

zbMath Open aydin-gol.ebruMaRDI QIDQ889005

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5101345	2022-08-30	Paper
An automated system repair framework with signal temporal logic	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	2018-12-19	Paper
Traffic Network Control From Temporal Logic Specifications	2017-09-21	Paper
Formal methods for discrete-time dynamical systems	2017-07-31	Paper
Finite Bisimulations for Switched Linear Systems	2017-05-16	Paper
Language-Guided Controller Synthesis for Linear Systems	2017-05-16	Paper
Language-guided controller synthesis for discrete-time linear systems	2017-05-16	Paper
Temporal logic model predictive control for discrete-time systems	2017-05-16	Paper
Temporal logic inference for classification and prediction from data	2017-05-16	Paper
Temporal logic model predictive control	2015-11-05	Paper
Time-constrained temporal logic control of multi-affine systems	2014-07-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ebru Aydin Gol