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.
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.