web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000782696
Cybernetics and Systems Analysis   А - 2019 /  Issue (2017, Т. 53, № 6)
Летичевский А. А., Летичевский А. А., Скобелев В. Г., Волков В. А.
Кибер-физические системы Приведен ретроспективный анализ теории кибер-физических систем (КФС) и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, являющаяся основой распространения алгебраической теории взаимодействия размеченных транзиционных систем на КФС.
 https://doi.org/10.1007/s10559-017-9984-9
 Scopus
Бібліографічний опис:
Летичевский А. А., Летичевский А. А., Скобелев В. Г., Волков В. А. Кибер-физические системы. Кибернетика и системный анализ. 2017. Т. 53, № 6. С. 3-19. doi: https://doi.org/10.1007/s10559-017-9984-9 URL: http://jnas.nbuv.gov.ua/article/UJRN-0000782696 |
 Cybernetics and Systems Analysis / Issue (2017, 53 (6))
Letichevsky A.A.,
Letychevskyi O.O.,
Skobelev V.G.,
Volkov V.A.
Cyber-physical systems A retrospective analysis of cyber-physical systems theory is given, and its current state is characterized. A number of problems arising in the theory of hybrid automata is investigated. A semigroup transition system is considered, which underlies the extension of the algebraic theory of interaction of labeled transition systems to cyber-physical systems. © 2017, Springer Science+Business Media, LLC, part of Springer Nature. Keywords: cyber-physical systems, hybrid automata, verification, Automata theory, Cyber Physical System, Verification, Algebraic theories, Hybrid automatons, Labeled transition systems, Retrospective analysis, Semi-group, Transition system, Embedded systems
Cite:
Letichevsky A.A.,
Letychevskyi O.O.,
Skobelev V.G.,
Volkov V.A.
(2017). Cyber-physical systems. Cybernetics and Systems Analysis, 53 (6), 3-19. doi: https://doi.org/10.1007/s10559-017-9984-9 http://jnas.nbuv.gov.ua/article/UJRN-0000782696 [In Russian]. |
PDF