Geodesic
Adaptive tests derivation for nondeterministic automata
Prikladnaâ diskretnaâ matematika, no. 4 (2009), pp. 90-101

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

The paper is devoted to the adaptive distinguishing experiments derivation for the following automata models: Labelled Transition Systems, nondeterministic, possibly partial, Finite State Machines and Timed Finite State Machines. The methods suggested here do not exploit “all weather condition” assumption and are based on the intersection of the corresponding automata. The experiments can be used for test derivation and diagnosis for discrete event systems.
Keywords: Labelled Transition Systems, nondeterministic Finite State Machine, Timed Finite State Machine, distinguishing experiment, compatibility, adaptive experiment. 
@article{PDM_2009_4_a8,
     author = {M. L. Gromov and N. V. Yevtushenko},
     title = {Adaptive tests derivation for nondeterministic automata},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {90--101},
     publisher = {mathdoc},
     number = {4},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_4_a8/}
}
TY  - JOUR
AU  - M. L. Gromov
AU  - N. V. Yevtushenko
TI  - Adaptive tests derivation for nondeterministic automata
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2009
SP  - 90
EP  - 101
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_4_a8/
LA  - ru
ID  - PDM_2009_4_a8
ER  - 
%0 Journal Article
%A M. L. Gromov
%A N. V. Yevtushenko
%T Adaptive tests derivation for nondeterministic automata
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 90-101
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_4_a8/
%G ru
%F PDM_2009_4_a8
M. L. Gromov; N. V. Yevtushenko. Adaptive tests derivation for nondeterministic automata. Prikladnaâ diskretnaâ matematika, no. 4 (2009), pp. 90-101. http://geodesic.mathdoc.fr/item/PDM_2009_4_a8/