Geodesic
Deriving synchronizing and homing sequences for input/output automata
Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 6, pp. 730-742

Voir la notice de l'article provenant de la source Math-Net.Ru

In this paper, we study the problem of existence check and derivation of synchronizing and homing sequences for finite input/output automata. Corresponding sequences can be effectively used for the current state identification of a system under test/verification, after the input sequence is applied. In the model considered in the paper, the alphabet of actions is divided into disjoint sets of inputs and outputs; however, no sets of possible initial or final states are defined. We introduce the notions of homing and synchronizing sequences for a specific class of such machines for which at each state the transitions only under inputs or under outputs are defined, and the machine transition diagram does not contain cycles labeled by outputs, i.e. the language of the machine does not contain traces with infinite postfix of outputs. For such a class of input/output automata, we establish necessary and sufficient conditions for the existence of synchronizing and homing sequences and discuss the length of such sequences. We also define some subclasses of automata for which the worst-case upper bounds (normally, exponential) are not reachable.
Keywords: input/output automata, synchronizing sequence, homing sequence. 
@article{MAIS_2017_24_6_a5,
     author = {N. G. Kushik and N. V. Yevtushenko and I. B. Burdonov and A. S. Kossatchev},
     title = {Deriving synchronizing and homing sequences for input/output automata},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {730--742},
     publisher = {mathdoc},
     volume = {24},
     number = {6},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a5/}
}
TY  - JOUR
AU  - N. G. Kushik
AU  - N. V. Yevtushenko
AU  - I. B. Burdonov
AU  - A. S. Kossatchev
TI  - Deriving synchronizing and homing sequences for input/output automata
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2017
SP  - 730
EP  - 742
VL  - 24
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a5/
LA  - ru
ID  - MAIS_2017_24_6_a5
ER  - 
%0 Journal Article
%A N. G. Kushik
%A N. V. Yevtushenko
%A I. B. Burdonov
%A A. S. Kossatchev
%T Deriving synchronizing and homing sequences for input/output automata
%J Modelirovanie i analiz informacionnyh sistem
%D 2017
%P 730-742
%V 24
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a5/
%G ru
%F MAIS_2017_24_6_a5
N. G. Kushik; N. V. Yevtushenko; I. B. Burdonov; A. S. Kossatchev. Deriving synchronizing and homing sequences for input/output automata. Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 6, pp. 730-742. http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a5/