loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Berk Çirişci 1 ; M. Yu̧sa Emek 1 ; Ege Sorguç 2 ; Kamer Kaya 1 and Husnu Yenigun 1

Affiliations: 1 Computer Science and Engineering, Sabanci University, Istanbul and Turkey ; 2 Computer Engineering, Middle East Technical University, Ankara and Turkey

Keyword(s): Finite State Machines, Homing Sequences, Synchronizing Sequences.

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

Abstract: Computing a shortest synchronizing sequence of an automaton is an NP-Hard problem. There are well-known heuristics to find short synchronizing sequences. Finding a shortest homing sequence is also an NP-Hard problem. Unlike existing heuristics to find synchronizing sequences, homing heuristics are not widely studied. In this paper, we discover a relation between synchronizing and homing sequences by creating an automaton called homing automaton. By applying synchronizing heuristics on this automaton we get short homing sequences. Furthermore, we adapt some of the synchronizing heuristics to construct homing 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 44.222.90.25

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:
Çirişci, B.; Emek, M.; Sorguç, E.; Kaya, K. and Yenigun, H. (2019). Using Synchronizing Heuristics to Construct Homing Sequences. In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-358-2; ISSN 2184-4348, SciTePress, pages 364-371. DOI: 10.5220/0007403503640371

@conference{modelsward19,
author={Berk \c{C}irişci. and M. Yu̧sa Emek. and Ege Sorgu\c{C}. and Kamer Kaya. and Husnu Yenigun.},
title={Using Synchronizing Heuristics to Construct Homing Sequences},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2019},
pages={364-371},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007403503640371},
isbn={978-989-758-358-2},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Using Synchronizing Heuristics to Construct Homing Sequences
SN - 978-989-758-358-2
IS - 2184-4348
AU - Çirişci, B.
AU - Emek, M.
AU - Sorguç, E.
AU - Kaya, K.
AU - Yenigun, H.
PY - 2019
SP - 364
EP - 371
DO - 10.5220/0007403503640371
PB - SciTePress