Skip to main content
SpringerLink
Log in

Deriving Synchronizing and Homing Sequences for Input/Output Automata

  • Published:
Automatic Control and Computer Sciences Aims and scope Submit manuscript

Abstract

The paper considers the problems of checking the existence and synthesis of synchronizing and homing sequences for finite input/output automata. The relevant sequences can be used when identifying the state of the system under consideration after applying the proper input sequence. In the model considered in the study, the actions are divided into inputs and outputs, however, there are no explicitly specified sets of initial and final states. The article defines the concepts of synchronizing and homing sequences and suggests methods for their synthesis for a special class of input/output automata, which have transitions in each state on either input or output actions; in addition, there are no cycles marked with output symbols in the corresponding transition graph. The necessary and sufficient conditions of existence of synchronizing and homing sequences are established, and the length of such sequences is estimated for the described class of input/output automata. The subclasses of automata are specified, for which the worst (mainly, exponential) complexity cases are not reachable.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1.
Fig. 2.
Fig. 3.

Similar content being viewed by others

Notes

  1. Thus, automata without non-observable actions and without specification of the sets of the initial and final states are considered in this article.

REFERENCES

  1. Martyugin, P.V., Lower bounds for the length of the shortest carefully synchronizing words for two- and three-letter partial automata, Diskretn. Anal. Issled. Oper., 2008, vol. 15, no. 4, pp. 44–56.

    MathSciNet  MATH  Google Scholar 

  2. Gill, A., State-identification experiments in finite automata, Inf. Control, 1961, vol. 4, pp. 132–154.

    Article  MathSciNet  MATH  Google Scholar 

  3. Martyugin, P., Computational complexity of certain problems related to carefully synchronizing words for partial automata and directing words for nondeterministic automata, Theory Comput. Syst., 2014, vol. 54, no. 2, pp. 293–304.

    Article  MathSciNet  MATH  Google Scholar 

  4. Hierons, R.M., Jourdan, G.V., Ural, H., and Yenigün, H., Using adaptive distinguishing sequences in checking sequence constructions, Proc. of the 2008 ACM symposium on Applied computing (SAC), 2008, pp. 682–687.

  5. Ito, M. and Shikishima-Tsuji, K., Some results on directable automata, in Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, Berlin, Heidelberg: Springer; Lect. Notes Comput. Sci., 2004, vol. 3113, pp. 125–133.

  6. Kohavi, Z., Switching and Finite Automata Theory, New York: McGraw-Hill, 1978.

    MATH  Google Scholar 

  7. Kushik, N., El-Fakih, K., Yevtushenko, N., and Cavalli, A.R., On adaptive experiments for non-deterministic finite state machines, Int. J. Software Tools Technol. Transfer, 2016, vol. 18, no. 3, pp. 251–264.

    Article  Google Scholar 

  8. Kushik, N., López, J., Cavalli, A.R., and Yevtushenko, N., Improving protocol passive testing through ‘gedanken’ experiments with finite state machines, Proc. 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2016, pp. 315–322.

  9. Kushik, N., El-Fakih, K., and Yevtushenko, N., Preset and adaptive homing experiments for nondeterministic finite state machines, Implementation and Application of Automata. CIAA 2011; Lect. Notes Comput. Sci., 2011, vol. 6807, pp. 215–224.

    Article  MATH  Google Scholar 

  10. Kushik, N. and Yevtushenko, N., On the length of homing sequences for nondeterministic finite state machines, Implementation and Application of Automata. CIAA 2013; Lect. Notes Comput. Sci., 2013, vol. 7982, pp. 220–231.

    Article  MATH  Google Scholar 

  11. Lee, D. and Yannakakis, M., Testing finite-state machines: State identification and verification, IEEE Trans. Comput., 1994, vol. 43, no. 3, pp. 306–320.

    Article  MathSciNet  MATH  Google Scholar 

  12. Moore, E.F., Gedanken-experiments on sequential machines, in Automata Studies (Annals of Mathematical Studies), Princeton University Press, 1956, pp. 129–153.

    Google Scholar 

  13. Sandberg, S., Homing and synchronizing sequences, in Model-Based Testing of Reactive Systems; Lect. Notes Comput. Sci., 2005, vol. 3472, pp. 5–33.

  14. Tretmans, J., Test generation with inputs, outputs and repetitive quiescence, Software—Concepts Tools, 1996, vol. 17, no. 3, pp. 103–120.

  15. Volkov, M.V., Synchronizing automata and the Černý conjecture, Language and Automata Theory and Applications. LATA, 2008; Lect. Notes Comput. Sci., 2008, vol. 5196, pp. 11–27.

    MATH  Google Scholar 

  16. Kushik, N.G., Yevtushenko, N.V., Burdonov, I.B., and Kossatchev, A., S, Synchronizing and homing experiments for input/output automata, Syst. Inf., 2017, no. 10, pp. 1–9.

  17. Yenigün, H., Yevtushenko, N., and Kushik, N., The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs, Inf. Process. Lett., 2017, vol. 127, pp. 49–53.

    Article  MathSciNet  MATH  Google Scholar 

Download references

ACKNOWLEDGMENTS

The work was partially supported by the Russian Science Foundation (RSF), project No. 16-49-03012 and by the Russian Foundation for Basic Research, project No.17-07-00682.

Author information

Authors and Affiliations

  1. SAMOVAR CNRS, Telecom SudParis, Paris-Saclay, 91000, Evry, France

    N. G. Kushik

  2. Institute for System Programming, Russian Academy of Sciences, 109004, Moscow, Russia

    N. V. Yevtushenko, I. B. Burdonov & A. S. Kossatchev

  3. Tomsk State University, 634050, Tomsk, Russia

    N. V. Yevtushenko

Authors
  1. N. G. Kushik
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. V. Yevtushenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. I. B. Burdonov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. S. Kossatchev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to N. G. Kushik, N. V. Yevtushenko, I. B. Burdonov or A. S. Kossatchev.

Additional information

Translated by Yu. Bezlepkina

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kushik, N.G., Yevtushenko, N.V., Burdonov, I.B. et al. Deriving Synchronizing and Homing Sequences for Input/Output Automata. Aut. Control Comp. Sci. 52, 589–595 (2018). https://doi.org/10.3103/S0146411618070167

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0146411618070167

Keywords:

Search

Navigation