Cybernetics And Systems Analysis logo
Editorial Board Announcements Abstracts Authors Archive
Cybernetics And Systems Analysis
International Theoretical Science Journal
UDC 519.68
A.A. Letichevsky,1 O.O. Letychevskyi,2 V.G. Skobelev,3 V.A. Volkov4

CYBER-PHYSICAL SYSTEMS

Abstract. The authors perform retrospective analysis of cyber-physical systems theory and its state of the art and investigate some problems inherent in hybrid automata theory. A semigroup transition system is presented, which underlies the propagation of algebraic interaction theory for cyber-physical systems.

Keywords: cyber-physical systems, hybrid automata, verification.



FULL TEXT

1 V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine,
e-mail: aaletichevsky78@gmail.com.

2 V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine,
e-mail: lit@issukraine.com.

3 V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine,
e-mail: skobelevvg@gmail.com.

4 V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine,
e-mail: vlad@issukraine.com.

© 2017 Kibernetika.org. All rights reserved.