loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Natalia Kushik 1 ; 1 ; Nina Yevtushenko 2 ; 2 and Husnu Yenigun 3 ; 3

Affiliations: 1 Telecom SudParis and Tomsk State University, France ; 2 Tomsk State University, Russian Federation ; 3 Sabanci University, Turkey

ISBN: 978-989-758-166-3

Keyword(s): Nondeterministic Finite State Machines, Adaptive Sequences, Synchronizing Experiments.

Abstract: In this paper, we address the problem of setting a discrete system specified as a Finite State Machine (FSM) to a known initial state. As the system behavior can be nondeterministic, we discuss the complexity of problems related to deriving synchronizing sequences for nondeterministic FSMs and propose a way for decreasing such complexity. In fact, we suggest to use adaptive synchronizing sequences instead of preset ones, and prove that for non-initialized nondeterministic FSMs the problem of checking the existence of an adaptive synchronizing sequence is in P.

PDF ImageFull Text

Download
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.92.92.168

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:
Kushik, N.; Yevtushenko, N. and Yenigun, H. (2016). Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs.In Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 1: AMARETTO, (MODELSWARD 2016) ISBN 978-989-758-166-3, pages 83-90. DOI: 10.5220/0005854500830090

@conference{amaretto16,
author={Natalia Kushik. and Nina Yevtushenko. and Husnu Yenigun.},
title={Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs},
booktitle={Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 1: AMARETTO, (MODELSWARD 2016)},
year={2016},
pages={83-90},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005854500830090},
isbn={978-989-758-166-3},
}

TY - CONF

JO - Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 1: AMARETTO, (MODELSWARD 2016)
TI - Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs
SN - 978-989-758-166-3
AU - Kushik, N.
AU - Yevtushenko, N.
AU - Yenigun, H.
PY - 2016
SP - 83
EP - 90
DO - 10.5220/0005854500830090

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.