RT Journal Article ID 09cbd88c4abbdb07 A1 Letichevsky, Alexander A. T1 Algebraic Interaction Theory and Cyber-Physical Systems JF Journal of Automation and Information Sciences JO JAI(S) YR 2017 FD 2017-12-29 VO 49 IS 9 SP 1 OP 19 K1 new cyber-physical model K1 systems K1 algebraic interaction theory K1 hybrid and time automata K1 modeling K1 verification methods K1 overview AB 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. PB Begell House LK https://www.dl.begellhouse.com/journals/2b6239406278e43e,42f6a54d55a3ffda,09cbd88c4abbdb07.html