Атрибутные транзиционные системы со скрытыми переходами / Скобелев В. В. (2017)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000719119
  Кибернетика и системный анализ      А - 2019  /     Випуск (2017, Т. 53, № 4)

Скобелев В. В.
Атрибутные транзиционные системы со скрытыми переходами

Приведен теоретико-множественный анализ структуры атрибутных транзиционных систем со скрытыми переходами в предположении, что множество доопределяемых состояний зафиксировано и не изменяет структуры системы. Исследованы случаи, когда приоритеты скрытых и доступных действий совпадают либо приоритет скрытых действий выше, чем приоритет доступных действий. В терминах систем с выделенными начальными и финальными состояниями определены и охарактеризованы классы допустимых, безопасных и корректных систем. Построена алгебра таких систем.

 https://doi.org/10.1007/s10559-017-9954-2
 Scopus

Бібліографічний опис:
Скобелев В. В.  Атрибутные транзиционные системы со скрытыми переходами. Кибернетика и системный анализ. 2017. Т. 53, № 4. С. 37-49. doi: https://doi.org/10.1007/s10559-017-9954-2 URL: http://jnas.nbuv.gov.ua/article/UJRN-0000719119

English  Cybernetics and Systems Analysis   /     Issue (2017, 53 (4))

Skobelev V.V.
Attributed transition systems with hidden transitions

This paper conducts the set-theoretic analysis of the structure of attributed transition systems with hidden transitions on the assumption that the set of states for which the set of transitions can be extended is fixed and does not change the system structure. Cases are investigated when priorities of hidden and available actions coincide or the priority of hidden actions is higher than the priority of available actions. In terms of systems with singled out initial and final states, the classes of admissible, safe, and correct systems are defined and characterized. The algebra of such systems is constructed. © 2017, Springer Science+Business Media, LLC.

Keywords: admissibility, attributed transition system, hidden transition, safeness and correctness of systems, Cybernetics, admissibility, Attributed transition system, Final state, hidden transition, Set-theoretic analysis, System structures, Computer science

Cite:
Skobelev V.V. (2017). Attributed transition systems with hidden transitions. Cybernetics and Systems Analysis, 53 (4), 37-49. doi: https://doi.org/10.1007/s10559-017-9954-2 http://jnas.nbuv.gov.ua/article/UJRN-0000719119 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна