Using Structure of Automata for Faster Synchronizing Heuristics

Berk Cirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Husnu Yenigun

Abstract

The problem of finding a synchronizing sequence for an automaton is an interesting problem studied widely in the literature. Finding a shortest synchronizing sequence is an NP-Hard problem. Therefore, there are heuristics to find short synchronizing sequences. Some heuristics work fast but produce long synchronizing sequences, whereas some heuristics work slow but produce relatively shorter synchronizing sequences. In this paper we propose a method for using these heuristics by considering the connectedness of automata. Applying the proposed approach of using these heuristics make the heuristics work faster than their original versions, without sacrificing the quality of the synchronizing sequences.

References

Download


Paper Citation


in Harvard Style

Cirisci B., Kahraman M., Yildirimoglu C., Kaya K. and Yenigun H. (2018). Using Structure of Automata for Faster Synchronizing Heuristics.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 544-551. DOI: 10.5220/0006660805440551


in Bibtex Style

@conference{modelsward18,
author={Berk Cirisci and Muhammed Kerem Kahraman and Cagri Uluc Yildirimoglu and Kamer Kaya and Husnu Yenigun},
title={Using Structure of Automata for Faster Synchronizing Heuristics},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={544-551},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006660805440551},
isbn={978-989-758-283-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Using Structure of Automata for Faster Synchronizing Heuristics
SN - 978-989-758-283-7
AU - Cirisci B.
AU - Kahraman M.
AU - Yildirimoglu C.
AU - Kaya K.
AU - Yenigun H.
PY - 2018
SP - 544
EP - 551
DO - 10.5220/0006660805440551