Experiments on parallel composition of timed finite state machines

doi:10.15514/ISPRAS-2017-29(3)-13

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Эксперименты no построению параллельной композиции временных автоматов	978 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.15514/ISPRAS-2017-29(3)-13

#временные конечные автоматы

#параллельная композиция

Title: Experiments on parallel composition of timed finite state machines
Title: Эксперименты no построению параллельной композиции временных автоматов
Creator: Sotnikov A. P.
|
Shabaldina, Natalia V.
|
Gromov, Maxim L.
Date: 2017
DOI: 10.15514/ISPRAS-2017-29(3)-13
Description: In this paper, we continue our work that is devoted to the parallel composition of Timed Finite State Machines (TFSMs). We consider the composition of TFSMs with timeouts and output delays. We held experiments in order to estimate how often parallel composition of nondeterministic TFSMs (with and without timeouts) has infinite sets of output delays. To conduct these experiments we have created two tools: the first one for converting TFSMs into automata (this tool is integrated into BALM-II), the second one for converting the global automaton of the composition into TFSM. As it was suggested in earlier works, we describe the infinite sets of output delays by linear functions, and it is important to know how often these sets of linear functions appear to justify the importance of future investigations of the TFSM parallel compositions (especially for deriving cascade composition). Results of the experiments show significant amount (around 50 %) of TFSMs with infinite number of output delays. We also estimate the size of the global automaton and the composed TFSM. In the experiments, we do not consider global automata with the huge number of states (more then 10000).

Relationships: Show Relationship Browser for this Object
collection(s): Радиофизический факультет
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 3. С. 233-246
Language: eng

Created: 27-12-2017

1563 Visitors

1093 Hits

502 Downloads

Радиофизический факультет Experiments on parallel composition of timed finite state machines