@inproceedings{e2cfd148ce064cd89cea9cc93d4bc3f1,
title = "Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs",
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.",
keywords = "Adaptive sequences, Nondeterministic finite state machines, Synchronizing experiments",
author = "Natalia Kushik and Nina Yevtushenko and Husnu Yenigun",
note = "Publisher Copyright: Copyright {\textcopyright} 2016 by SCITEPRESS - Science and Technology Publications.; 1st International Workshop on domAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn, AMARETTO 2016 ; Conference date: 19-02-2016 Through 21-02-2016",
year = "2016",
month = jan,
day = "1",
doi = "10.5220/0005854500830090",
language = "English",
series = "AMARETTO 2016 - Proceedings of the International Workshop on DomAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn",
publisher = "SciTePress",
pages = "83--91",
editor = "Antonello Calabro and Francesca Lonetti and Eda Marchetti",
booktitle = "AMARETTO 2016 - Proceedings of the International Workshop on DomAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn",
}