loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Berk Cirisci ; Muhammed Kerem Kahraman ; Cagri Uluc Yildirimoglu ; Kamer Kaya and Husnu Yenigun

Affiliation: Sabanci University, Turkey

Keyword(s): Finite State Automata, Synchronizing Sequences, Strongly Connected Component.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Model-Based Testing and Validation ; Model-Driven Software Development ; Software Engineering

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.236.240.48

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MODELSWARD; ISBN 978-989-758-283-7; ISSN 2184-4348, SciTePress, pages 544-551. DOI: 10.5220/0006660805440551

@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 - MODELSWARD},
year={2018},
pages={544-551},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006660805440551},
isbn={978-989-758-283-7},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Using Structure of Automata for Faster Synchronizing Heuristics
SN - 978-989-758-283-7
IS - 2184-4348
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
PB - SciTePress