52 citations · 65 across the 11 of their papers we have counts for
15 papers
Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
İlker Işık, Ramazan Gokberk Cinbis, Ebru Aydin Gol
Language models lack the notion of interchangeable tokens: symbols that are semantically equivalent yet distinct, such as bound variables in formal logic. This limitation prevents…
Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
İlker Işık, Ebru Aydin Gol, Ramazan Gokberk Cinbis
Temporal logic is a framework for representing and reasoning about propositions that evolve over time. It is commonly used for specifying requirements in various domains, including…
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration
İlker Işık, Onur Yigit Arpali, Ebru Aydin Gol
Motivated by the post-disaster distribution system restoration problem, in this paper, we study the problem of synthesizing the optimal policy for a Markov Decision Process (MDP) f…
Field Teams Coordination for Earthquake-Damaged Distribution System Energization
İlker Işık, Ebru Aydin Gol
The re-energization of electrical distribution systems in a post-disaster scenario is of grave importance as most modern infrastructure systems rely heavily on the presence of elec…
Timed Automata Robustness Analysis via Model Checking
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol +1
Timed automata (TA) have been widely adopted as a suitable formalism to model time-critical systems. Furthermore, contemporary model-checking tools allow the designer to check whet…
Control Synthesis for Parametric Timed Automata under Unavoidability Specifications
Ebru Aydin Gol
Timed automata (TA) is used for modeling systems with timing aspects. A TA extends a finite automaton with a set of real valued variables called clocks, that measure the time and c…
Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas
Irmak Saglam, Ebru Aydin Gol
In this work, we develop an approach to anomaly detection and prevention problem using Signal Temporal Logic (STL). This approach consists of two steps: detection of the causes of…
A Novel MDP Based Decision Support Framework to Restore Earthquake Damaged Distribution Systems
Ebru Aydin Gol, Burcu Güldür Erkal, Murat Göl
Electric power network expanded rapidly in recent decades due of the excessive need of electricity in every aspect of life, including critical infrastructures such as medical servi…
ATAC: A Tool for Automating Timed Automata Construction
Beyazit Yalcinkaya, Ebru Aydin Gol
In this paper, we focus on the design and verification of timed automata (TA). We introduce a new method for assisting construction and verification of TA models along with a tool…
An Efficient Formula Synthesis Method with Past Signal Temporal Logic
Mert Ergurtuna, Ebru Aydin Gol
In this work, we propose a novel method to find temporal properties that lead to the unexpected behaviors from labeled dataset. We express these properties in past time Signal Temp…
Cause Mining and Controller Synthesis with STL
Irmak Saglam, Ebru Aydin Gol
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the forma…
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems
Ebru Aydin Gol, Ezio Bartocci, Calin Belta
We propose a technique to detect and generate patterns in a network of locally interacting dynamical systems. Central to our approach is a novel spatial superposition logic, whose…
Traffic Network Control from Temporal Logic Specifications
Samuel Coogan, Ebru Aydin Gol, Murat Arcak +1
We propose a framework for generating a signal control policy for a traffic network of signalized intersections to accomplish control objectives expressible using linear temporal l…
Finite Bisimulations for Switched Linear Systems
Ebru Aydin Gol, Xuchu Ding, Mircea Lazar +1
In this paper, we consider the problem of constructing a finite bisimulation quotient for a discrete-time switched linear system in a bounded subset of its state space. Given a set…
Time-Constrained Temporal Logic Control of Multi-Affine Systems
Ebru Aydin Gol, Calin Belta
In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-a…