%0 Journal Article %A Letichevsky, Alexander A. %D 2017 %I Begell House %K new cyber-physical model, systems, algebraic interaction theory, hybrid and time automata, modeling, verification methods, overview %N 9 %P 1-19 %R 10.1615/JAutomatInfScien.v49.i9.10 %T Algebraic Interaction Theory and Cyber-Physical Systems %U https://www.dl.begellhouse.com/journals/2b6239406278e43e,42f6a54d55a3ffda,09cbd88c4abbdb07.html %V 49 %X A new model of cyber-physical systems is considered. The model generalizes known models like hybrid and time automata. The application of modeling and verification methods accumulated in the field of programming to the development of cyber-physical systems is discussed. %8 2017-12-29