RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2016, Volume 23, Number 6, Pages 715–728 (Mi mais535)  

This article is cited in 1 scientific paper (total in 1 paper)

Using BALM-II for deriving cascade parallel composition of timed finite state machines

M. L. Gromov, N. V. Shabaldina

Tomsk State University, 36 Lenin av., Tomsk 634050, Russia

Abstract: In this paper, we consider the problem of deriving a cascade parallel composition of timed finite state machines (TFSMs). In order to build such a composition we can derive the corresponding binary parallel compositions step-by-step. It is known that if each component of a binary parallel composition is TFSM with output delays that are natural numbers or zero, the result of the composition can be TFSM with output delays that are sets of linear functions. So, the problem of deriving a cascade composition of TFSMs with constant output delays is reduced to the problem of deriving several binary parallel compositions of TFSMs with output delays that are sets of constants or linear functions. In this work, we refine the definition of TFSM and pay special attention to the description of an output delay function. As a tool for deriving the composition we consider BALM-II, and in consequence we study the ways of constructing the corresponding automaton for TFSM with output delays as a set of linear functions. We suggest a new procedure for constructing such an automaton, and unlike the known procedure our procedure does not require further determinization of the derived automaton. Moreover, we describe step by step how to build the composition of the derived automaton by using BALM-II, and discuss a procedure of reverse transformation from the global automaton to TFSM in case when the components are TFSMs with output delays that are sets of linear functions. We use an application example in order to illustrate derivation of the cascade parallel composition of TFSMs.

Keywords: timed finite state machines, cascade parallel composition, BALM-II.

Funding Agency Grant Number
Russian Science Foundation 16-49-03012
This work is partially supported by the grant for the basic research № 16-49-03012 of Russian Scientific Fund.


DOI: https://doi.org/10.18255/1818-1015-2016-6-715-728

Full text: PDF file (722 kB)
References: PDF file   HTML file

Bibliographic databases:

UDC: 519.713
Received: 05.09.2016

Citation: M. L. Gromov, N. V. Shabaldina, “Using BALM-II for deriving cascade parallel composition of timed finite state machines”, Model. Anal. Inform. Sist., 23:6 (2016), 715–728

Citation in format AMSBIB
\Bibitem{GroSha16}
\by M.~L.~Gromov, N.~V.~Shabaldina
\paper Using BALM-II for deriving cascade parallel composition of timed finite state machines
\jour Model. Anal. Inform. Sist.
\yr 2016
\vol 23
\issue 6
\pages 715--728
\mathnet{http://mi.mathnet.ru/mais535}
\crossref{https://doi.org/10.18255/1818-1015-2016-6-715-728}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3596156}
\elib{http://elibrary.ru/item.asp?id=27517418}


Linking options:
  • http://mi.mathnet.ru/eng/mais535
  • http://mi.mathnet.ru/eng/mais/v23/i6/p715

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. A. P. Sotnikov, N. V. Shabaldina, M. L. Gromov, “Experiments on parallel composition of timed finite state machines”, Trudy ISP RAN, 29:3 (2017), 233–246  mathnet  crossref  elib
  • Моделирование и анализ информационных систем
    Number of views:
    This page:104
    Full text:48
    References:16

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020