Improving the upper bound on the length of the shortest reset words

M Szykuła - arXiv preprint arXiv:1702.05455, 2017 - arxiv.org
We improve the best known upper bound on the length of the shortest reset words of
synchronizing automata. The new bound is slightly better than $114 n^ 3/685+ O (n^ 2) …

Algebraic synchronization criterion and computing reset words

MV Berlinkov, M Szykuła - Information Sciences, 2016 - Elsevier
We refine a uniform algebraic approach for deriving upper bounds on reset thresholds of
synchronizing automata. We express the condition that an automaton is synchronizing in …

Synchronization of finite automata

MV Volkov - 2022 - elar.urfu.ru
A survey of the state-of-the-art of the theory of synchronizing automata is given in its part
concerned with the case of complete deterministic automata. Algorithmic and complexity …

Primitive automata that are synchronizing

I Rystsov, M Szykuła - arXiv preprint arXiv:2307.01302, 2023 - arxiv.org
A deterministic finite (semi) automaton is primitive if its transition monoid (semigroup) acting
on the set of states has no non-trivial congruences. It is synchronizing if it contains a …

Lower bounds for synchronizing word lengths in partial automata

M De Bondt, H Don, H Zantema - International Journal of …, 2019 - World Scientific
It was conjectured by Černý in 1964, that a synchronizing DFA on n states always has a
synchronizing word of length at most (n− 1) 2, and he gave a sequence of DFAs for which …

A machine learning approach to synchronization of automata

I Podolak, A Roman, M Szykuła, B Zieliński - Expert Systems with …, 2018 - Elsevier
We present a novel method to predict the length of the shortest synchronizing words of a
finite automaton by applying the machine learning approach. We introduce several so-called …

Synchronizing billion-scale automata

MK Taş, K Kaya, H Yenigün - Information Sciences, 2021 - Elsevier
Synchronizing sequences for large-scale automata have gained popularity recently due to
their practical use cases especially to have a faster and better testing process. In many …

[PDF][PDF] Attainable values of reset thresholds

M Dzyga, R Ferens, VV Gusev… - … Foundations of Computer …, 2017 - drops.dagstuhl.de
An automaton is synchronizing if there exists a word that sends all states of the automaton to
a single state. The reset threshold is the length of the shortest such word. We study the set …

Model of Multiagent Cooperation for Behavioral Testing

O Martynyuk, O Drozd, H Stepova… - 2021 IEEE East …, 2021 - ieeexplore.ieee.org
Modern distributed information systems (DIS), based on the complex application of many
technologies, increasingly acquire the properties of multi-agent systems (MAS). Autonomy …

An extremal series of eulerian synchronizing automata

M Szykuła, V Vorel - … Conference on Developments in Language Theory, 2016 - Springer
We present an infinite series of n-state Eulerian automata whose reset words have length at
least (n^ 2-3)/2. This improves the current lower bound on the length of shortest reset words …